Sciweavers

Share
DATE
2008
IEEE

Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques

12 years 4 months ago
Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques
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 extrafunctional, as well as correctness aspects.
Joost-Pieter Katoen
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where DATE
Authors Joost-Pieter Katoen
Comments (0)
books