DocumentCode
1651569
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
fYear
2012
Firstpage
370
Lastpage
375
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012
Conference_Location
Dresden
ISSN
1530-1591
Print_ISBN
978-1-4577-2145-8
Type
conf
DOI
10.1109/DATE.2012.6176499
Filename
6176499
Link To Document