Title: Modelling and performance analysis of component-based systems
Authors: W.M. Zuberek, I. Bluemke, D.C. Craig
Addresses: Department of Computer Science, Memorial University, St. John's, A1B 3X5, Canada; Department of Applied Informatics, University of Life Sciences, Warsaw, 02-878, Poland. ' Institute of Computer Science, Warsaw University of Technology, Warsaw, 00-665, Poland. ' Faculty of Medicine, Memorial University, St. John's, A1B-3V6, Canada
Abstract: 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 labelled timed Petri nets as models of the behaviour 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.
Keywords: component-based systems; component models; component composition; timed Petri nets; performance analysis; event-driven simulation; dependability; reliability; embedded systems; real-time systems.
DOI: 10.1504/IJCCBS.2010.031714
International Journal of Critical Computer-Based Systems, 2010 Vol.1 No.1/2/3, pp.191 - 207
Published online: 21 Feb 2010 *
Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article