Automated compositional Markov chain generation for a plain-old telephone system
Science of Computer Programming
Probabilistic simulations for probabilistic processes
Nordic Journal of Computing
Model checking meets performance evaluation
ACM SIGMETRICS Performance Evaluation Review
A compositional semantics for dynamic fault trees in terms of interactive Markov chains
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
The reliability estimation, prediction and measuring of component-based software
Journal of Systems and Software
Hi-index | 0.00 |
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timing of events, is getting more and more important. What are the models and approaches to analyze such properties in a reliable way? We survey some main developments and trends in the modeling, and the analysis of these aspects and stress the importance of approaches that tackle both extra-functional, as well as correctness aspects.