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.

PDF
Restricted to UT campus only: Request a copy
356Kb

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
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/62047
Official URL:	http://dx.doi.org/10.1007/978-3-540-71209-1_38
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 245842