Structured Performance Analysis for Component Based Systems - Université Savoie Mont Blanc
Journal Articles International Journal of Critical Computer-Based Systems Year : 2012

Structured Performance Analysis for Component Based Systems

Abstract

The Component Based System (CBS) paradigm is now largely used to design software systems. In addition, performance and behavioural analysis remains a required step for the design and the construction of efficient systems. This is especially the case of CBS, which involve interconnected components running concurrent processes. % This paper proposes a compositional method for modeling and structured performance analysis of CBS. Modeling is based on Stochastic Well-formed Nets (SWN), a high level model of Stochastic Petri nets, widely used for dependability analysis of concurrent systems. Starting from the definition of the system given in a suitable Architecture Description Language, and from the definition of the elementary components, we build an SWN of the global system together with a set of SWNs modeling the components of the CBS and their connections. From these models, we derive performances of the system thanks to a structured analysis induced by the structure of the CBS. We describe the application of our method through an example designed in the framework of the CORBA Component Model.
Fichier principal
Vignette du fichier
paper_final.pdf (539.05 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00713520 , version 1 (01-07-2012)

Identifiers

Cite

N. Salmi, Patrice Moreaux, M. Ioualalen. Structured Performance Analysis for Component Based Systems. International Journal of Critical Computer-Based Systems, 2012, 3 (1-2), pp.96-131. ⟨10.1504/IJCCBS.2012.045078⟩. ⟨hal-00713520⟩
174 View
459 Download

Altmetric

Share

More