Zuberek, W. M. and Bluemke, Ilona (2008) Performance Analysis of Component-Based Systems. In: 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, 26-28 June 2008, Szklarska Poreba, Poland.
![[img]](https://research.library.mun.ca/style/images/fileicons/application_pdf.png) |
[English]
PDF
- Submitted Version
Available under License Creative Commons Attribution Non-commercial. Download (196kB) |
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| URI: | http://research.library.mun.ca/id/eprint/14645 |
| Item ID: | 14645 |
| Department(s): | Science, Faculty of > Computer Science |
| Date: | June 2008 |
| Date Type: | Completion |
| Digital Object Identifier (DOI): | https://doi.org/10.1109/DepCoS-RELCOMEX.2008.37 |
| Related URLs: |
Actions (login required)
 |
View Item |
Download statistics
Download statistics