ACM Transactions on Computer Systems (TOCS)
Petri nets: an introduction
Component software and the way ahead
Foundations of component-based systems
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Fundamentals of Performance Modeling
Fundamentals of Performance Modeling
Use of Petri Nets for Performance Evaluation
Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
Component technology: what, where, and how?
Proceedings of the 25th International Conference on Software Engineering
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering
Compatibility of Software Components - Modeling and Verification
DEPCOS-RELCOMEX '06 Proceedings of the International Conference on Dependability of Computer Systems
Verification of Component Behavioral Compatibility
DEPCOS-RELCOMEX '07 Proceedings of the 2nd International Conference on Dependability of Computer Systems
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
IEEE Transactions on Software Engineering
Compatibility of software components: modelling and verification
Compatibility of software components: modelling and verification
Hi-index | 0.00 |
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.