DocumentCode
2271626
Title
Performance Analysis of Component-Based Systems
Author
Zuberek, W.M. ; Bluemke, I.
Author_Institution
Dept. of Comput. Sci., Memorial Univ. St.John´´s, St. John´´s, NL
fYear
2008
fDate
26-28 June 2008
Firstpage
293
Lastpage
300
Abstract
Dependability assessment 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.
Keywords
embedded systems; object-oriented programming; program verification; software performance evaluation; software reliability; component-based systems; embedded systems; labeled timed Petri nets; performance analysis; Computer science; Embedded system; Performance analysis; Petri nets; Production systems; Real time systems; Software architecture; Software engineering; Software performance; Stochastic processes; component composition; component-based systems; performance analysis; timed Petri nets;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependability of Computer Systems, 2008. DepCos-RELCOMEX '08. Third International Conference on
Conference_Location
Szklarska Poreba
Print_ISBN
978-0-7695-3179-3
Type
conf
DOI
10.1109/DepCoS-RELCOMEX.2008.37
Filename
4573069
Link To Document