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

This paper surveys well-established/recent tools andtechniques developed for the design of rigorous embedded sys-tems. We will first survey U PPAAL and M ODEST, two toolscapable of dealing with both timed and stochastic aspects. Then,we will overview the BIP framework for modular design andcode generation. Finally, model-based testing will be discussed.