Structured performance analysis for component-based systems

  • Authors:

  • N. Salmi;Patrice Moreaux;Malika Ioualalen

  • Affiliations:

  • LSI, Faculty of Computer Science and Electronics, USTHB, BP 32, El-Alia, Bab-Ezzouar, 16111, Alger, Algerie.;LISTIC, Université de Savoie, BP 80449, 74944, Annecy le Vieux, France.;LSI, Faculty of Computer Science and Electronics, USTHB, BP 32, El-Alia, Bab-Ezzouar, 16111, Alger, Algerie

  • Venue:
  • International Journal of Critical Computer-Based Systems
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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 modelling and structured performance analysis of CBS. Modelling is based on stochastic well-formed nets (SWNs), 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 modelling 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.