State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

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

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.

Dates and versions

hal-00878117 , version 1 (29-10-2013)

Identifiers

Cite

Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim Guldstrand Larsen, et al.. State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. 2012 Design, Automation & Test in Europe Conference & Exhibition, Mar 2012, Dresde, Germany. pp.370-375, ⟨10.1109/DATE.2012.6176499⟩. ⟨hal-00878117⟩
255 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More