State-of-the-art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems

Marius Bozga, Alexandre David, Arnd Hartmanns, Kim Guldstrand Larsen, Axel Legay, Jan Tretmans

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)

Abstrakt

This paper surveys well-established/recent tools and
techniques developed for the design of rigorous embedded sys-
tems. We will first survey U PPAAL and M ODEST, 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.
OriginalsprogEngelsk
TidsskriftA C M / I E E E Design Automation Conference. Proceedings
Sider (fra-til)370-375
ISSN0738-100X
DOI
StatusUdgivet - 2012
Begivenhed15th Conference on Design, Automation, and Test in Europe (DATE'12) - Dresden, Tyskland
Varighed: 12 mar. 201216 mar. 2012

Konference

Konference15th Conference on Design, Automation, and Test in Europe (DATE'12)
LandTyskland
ByDresden
Periode12/03/201216/03/2012

Fingeraftryk Dyk ned i forskningsemnerne om 'State-of-the-art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems'. Sammen danner de et unikt fingeraftryk.

  • Citationsformater