mctau: Bridging the Gap between Modest and UPPAAL [chapter]

Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns
2012 Lecture Notes in Computer Science  
Modest is a high-level compositional modelling language for stochastic timed systems with a formal semantics in terms of stochastic timed automata, an overarching formalism of which several well-studied models are special cases. The emphasis of Modest is to make use of existing analysis techniques and tools in a single-formalism, multiplesolution approach. In this paper, we focus on networks of timed automata as supported by Uppaal. We report on extensions made to Modest and Uppaal that allow
more » ... e transformation of a rich subset of Modest models to Uppaal timed automata and enable connections to further tools and formalisms. We present our Modest-to-Uppaal tool chain mctau, which allows both a fully automated analysis as well as model transformation, and we compare its performance with the existing mcpta tool.
doi:10.1007/978-3-642-31759-0_16 fatcat:cfg3gbt5zvdaxkd5ptagi266jm