Analyse de performances des systemes bases composants

L'industrie du logiciel et du matériel s'oriente de plus en plus vers la conception de systčmes sous la forme d'assemblage de composants. La vérification de la correction d'un tel systčme reste importante, du point de vue qualitatif que quantitatif. Dans cette optique, nous développons ici une méthode d'analyse qualitative et quantitative (performances) d'un systčme construit par assemblage de composants (CBS), concentrée sur les performances. L'intéręt de la méthode réside dans le fait de tirer parti de l'architecture compositionnelle de ces systčmes pour réduire la complexité d'analyse en termes de temps de calcul et d'occupation mémoire, et de permettre ainsi d'analyser des systčmes ŕ espace d'états important. Nous partons de l'architecture ŕ composants et nous modélisons systčmatiquement et adéquatement un CBS pour appliquer aprčs une méthode structurée pour l'analyse des performances du systčme global. Les composants sont modélisés en utilisant un modéle de haut niveau, les Réseaux de Petri Stochastiques bien formés (Stochastic Well-formed Net), largement utilisés pour l'évaluation de performances des systčmes complexes partiellement ou totalement symétriques.