Title: Structured performance analysis for component-based systems

 

Author: N. Salmi; Patrice Moreaux; Malika Ioualalen

 

Addresses:
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

 

Journal: Int. J. of Critical Computer-Based Systems, 2012 Vol.3, No.1/2, pp.96 - 131

 

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.

 

Keywords: component-based systems; CBS; interconnected components; stochastic well-formed nets; SWNs; structured performance analysis; composition; synchronous interconnection; asynchronous interconnection; method invocation; event-based interaction; software design; stochastic Petri nets; modelling.

 

DOI: http://dx.doi.org/10.1504/IJCCBS.2012.045078

 

Available online 24 Jan 2012

 

 

Editors Full Text AccessAccess for SubscribersPurchase this articleComment on this article