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.
|Title of host publication||Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems|
|Place of Publication||Berlin|
|Number of pages||5|
|Publication status||Published - 2007|
|Name||Lecture Notes in Computer Science|
Bohnenkamp, H. C., Hermanns, H., & Katoen, J. P. (2007). Motor: The MoDeST Tool Environment. In Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (pp. 500-504). [10.1007/978-3-540-71209-1_38] (Lecture Notes in Computer Science; Vol. 4424, No. Supplement). Berlin: Springer. https://doi.org/10.1007/978-3-540-71209-1_38