z-logo
open-access-imgOpen Access
Structured performance analysis for component-based systems
Author(s) -
Nabila Salmi,
Patrice Moreaux,
Malika Ioualalen
Publication year - 2012
Publication title -
international journal of critical computer-based systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.146
H-Index - 10
eISSN - 1757-8787
pISSN - 1757-8779
DOI - 10.1504/ijccbs.2012.045078
Subject(s) - computer science , dependability , component (thermodynamics) , petri net , stochastic petri net , set (abstract data type) , common object request broker architecture , component based software engineering , distributed computing , complex system , software system , software , programming language , software engineering , artificial intelligence , physics , thermodynamics
International audienceThe 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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom