Modeling and performance analysis of component-based systems

Zuberek, W.M., Bluemke, I., Craig, D.C.

Journal of Critical Computer-Based Systems, vol.1, no.1-3, pp.191-207, 2010.


Assessment of dependability of component-based systems must include verification of temporal and performance requirements as they can be of primary importance for many real-time and embedded systems. This paper uses labeled timed Petri nets as models of the behavior of components at their interfaces. These component models are systematically composed into an integrated model of the system which is used for verification of temporal characteristics and performance analysis.


Software components, component-based systems, performance analysis, Petri nets.


Available in pdf.