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.
ThriftBooks sells millions of used books at the lowest
everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We
deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15.
ThriftBooks.com. Read more. Spend less.