Analyse de performances des systèmes basés composants - Salmi, Nabila
53,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

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…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Autorenporträt
Nabila Salmi est Maître de Conférences à l'Université desSciences et Technologie de Houari Boumediene (USTHB), à Alger,Algérie. Elle y exerce l'enseignement depuis 1999 et s'intéresseen parallèle à contribuer à la recherche scientifique dans ledomaine de l'évaluation des performances des systèmes, enparticulier les systèmes basés composant.