State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems - Université de Rennes Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

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

Résumé

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 et versions

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

Identifiants

Citer

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⟩
254 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More