Motor: The MoDeST Tool Environment
Bohnenkamp, Henrik and Hermanns, Holger and Katoen, Joost-Pieter (2007) Motor: The MoDeST Tool Environment. In: 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2007, 24 March - 1 April 2007, Braga, Portugal.
Restricted to UT campus only: Request a copy
|Abstract:||The MoDeST Tool Environment (MOTOR) is a tool to facilitate the transformation, analysis and validation of modest models. modest is a modelling language to describe stochastic real-time systems. MOTOR implements the formal semantics of modest and is designed to transform and abstract modest specifications such that analysis can be carried out by third-party tools. For the time being, a fragment of MoDeST can be model-checked using CADP. The main analytical workhorse behind motor is discrete-event simulation, which is provided by the Möbius performance evaluation environment. We are experimenting with prototypical connections to the real-time model checker Uppaal.
|Item Type:||Conference or Workshop Item|
|Copyright:||© 2007 Springer|
Electrical Engineering, Mathematics and Computer Science (EEMCS)
|Link to this item:||http://purl.utwente.nl/publications/62047|
|Export this item as:||BibTeX|
Daily downloads in the past month
Monthly downloads in the past 12 months
Repository Staff Only: item control page
Metis ID: 245842