Quantitative evaluation in embedded system design: Trends in modeling and analysis techniques

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2008, Pages 86-87

  Katoen, Joost Pieter ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ENERGY POLICY; INDUSTRIAL ENGINEERING; INTEGRATED CIRCUITS; TESTING;

EMBEDDED-SYSTEM DESIGNS; ENERGY CONSUMPTION; FUNCTIONAL PROPERTIES; MODELING AND ANALYSIS; QUANTITATIVE EVALUATION;

EMBEDDED SYSTEMS;

EID: 49749093029     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2008.4484665     Document Type: Conference Paper

References (5)

1. C. Baier, B. R. Haverkort, H. Hermanns, and J.-P. Katoen. Model checking meets performance evaluation. ACM Perf. Ev. Review, 32(4):10-15, 2005.
2. H. Boudali, P. Crouzen, and M. Stoelinga. A compositional semantics for dynamic fault trees in terms of interactive Markov chains. In ATVA. Springer Verlag, 2007.
3. M. Bravetti, H. Hermanns, and J.-P. Katoen. Ymca: - why Markov chain algebra? ENTCS, 2(162):107-112, 2006.
4. H. Hermanns and J.-P. Katoen. Automated compositional Markov chain generation for a plain-old telephone system. Sci. of Comp. Progr., 36(1):97-127, 2000.
5. R. Segala and N. A. Lynch. Probabilistic simulations for probabilistic processes. Nord. JC"omput., 2(2):250-273, 1995.