Evaluation de performance et conception de logiciel

Dans le cadre de modélisation et de résolution mathématique en terme d'une chaîne de MARKOV, plusieurs formalismes haut niveau ont été développés pour répondre aux problèmes posés par la taille potentiellement très grande de cette chaîne. Dans cette thèse, nous nous intéressons au formalisme de réseaux d'automates stochastiques (SANs) qui aborde ce problème par une approche compositionelle. Un SAN représente un système où les délais des activités sont donnés par la moyenne d'une loi exponentielle possédant des propriétés mathématiques convenables à la théorie de MARKOV. Cependant, comme des nombreux phénomènes réels ne peuvent pas être exprimés par la distribution exponentielle, nous développons une nouvelle méthodologie pour l'utilisation des autres types de délais dans un SAN. En particulier, nous introduisons dans un SAN des distributions type-phase (PH), et des délais modélisés par des files d'attentes de différentes disciplines de service. Nous donnons une représentation tensorielle généralisée compacte du modèle avec ces nouveaux types de délai. Les performances recherchées concernent dans cette étude l'état stationnaire de la chaîne de MARKOV. Un algorithme de calcul de bornes stochastiques pour l'état stationnaire, développé précédemment pour les chaînes de MARKOV, peut être une alternative efficace. Nous présentons une procédure pour appliquer cet algorithme dans le cas d'un SAN.GRENOBLE1-BU Sciences (384212103) / SudocSudocFranceF