Analyse de performances des systèmes basés composants

par Nabila Salmi

Thèse de doctorat en Informatique

Sous la direction de Patrice Moreaux.

Soutenue en 2008

à l'Université Savoie Mont Blanc .


  • Résumé

    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. L'objectif de ce type de conception est de réduire le coût et le temps de développement par réutilisation des composants, et d'atteindre un haut degré de maintenabilité, d'extensibilité et de dynamicité. La vérification de la correction d'un tel système reste importante, tant du point de vue qualitatif que quantitatif. Dans cette optique, nous développons, dans cette thèse, 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. Deux types majeurs d'interaction entre composants sont considérés : la communication par invocation de service et la communication basée événements. Pour réduire la complexité d'analyse, l'analyse structuée d'un CBS est fondée sur une description tensorielle du générateur de la chaine de Markov agrégée sous-jacente. Des études de cas illustrent notre approche.

  • Titre traduit

    Performance analysis of component-based systems


  • Résumé

    Software and hardware industry is being more and more oriented to component based design of systems. The aim of such design is to reduce development cost and time by reuse of components, and to achieve high degree of maintainability, extensibility and dynamics. Ensuring correctness and analysis of these component based systems (CBS) seems to be an important matter, even qualitative or quantitative analysis. In this optic, we develop, in this thesis, a new method allowing to perform a qualitative and quantitative analysis of a CBS. The main benefit of our method is to exploit the compositional architecture of such systems in order to reduce the complexity of analysis (computation time and memory savings), and to allow thus the analysis of important state spaces. This approach starts from the definition of the component architecture of a CBS, and models systematically and adequately this CBS in order to apply a structured method for performance analysis of. The global system. The components are modeled with a high level model, the Stochastic Well-formed Net, widely used for performance evaluation of complex systems partially or totaly symmetrical. Two main kinds of interaction between components are considered : communication by service invocation and event based communication. In order to reduce analysis complexity, the structured analysis of a CBS is based on a tensorial descrition of the generato of the underlying Markov chain. Case studies illustrate our approach.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (272 p.)
  • Annexes : Bibliogr. p.243-257. Index

Où se trouve cette thèse ?

  • Bibliothèque : Université Savoie Mont Blanc (Le Bourget-du-Lac, Savoie). Service commun de la documentation et des bibliothèques universitaires. Section Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Université Savoie Mont Blanc (Le Bourget-du-Lac, Savoie). Service commun de la documentation et des bibliothèques universitaires. Section Sciences.
  • Non disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.