Title :
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems
Author :
Bozga, Marius ; David, Alexandre ; Hartmanns, Arnd ; Hermanns, Holger ; Larsen, Kim G. ; Legay, Axel ; Tretmans, Jan
Abstract :
This paper surveys well-established/recent tools and techniques developed for the design of rigorous embedded systems. We will first survey UPPAAL and MODEST, two tools capable of dealing with both timed and stochastic aspects. Then, we will overview the BIP framework for modular design and code generation. Finally, model-based testing will be discussed.
Keywords :
embedded systems; program compilers; program testing; software tools; BIP framework; Modest; Uppaal; code generation; embedded systems; model-based testing; modular design; quantitative analysis; quantitative modeling; rigorous embedded systems; state-of-the-art techniques; state-of-the-art tools; stochastic aspects; timed aspects; Analytical models; Automata; Bridges; Embedded systems; Probabilistic logic; Semantics; Testing;
Conference_Titel :
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012
Conference_Location :
Dresden
Print_ISBN :
978-1-4577-2145-8
DOI :
10.1109/DATE.2012.6176499
