State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems

Bozga, Marius;David, Alexandre;Hartmanns, Arnd;Hermanns, Holger;Tretmans, Jan;et.al.
(2012) 2012 Design, Automation & Test in Europe Conference & Exhibition — Location: Dresden (12.March.2012)

Files

No attached file found for this publication.

Details

Authors
  • Bozga, Marius
    Author
  • David, Alexandre
    Author
  • Hartmanns, Arnd
    Author
  • Hermanns, Holger
    Author
  • Legay, AxelUCLouvain
    Author
  • Tretmans, Jan
    Author
Show more
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.

Citations

  • APA
  • Chicago
  • FWB

Bozga, M., David, A., Hartmanns, A., Hermanns, H., Larsen Kim, G., Legay, A., & Tretmans, J. (2012). State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE). 2012 Design, Automation & Test in Europe Conference & Exhibition, Dresden. https://doi.org/10.1109/DATE.2012.6176499