Abstract
| Original language | Undefined |
|---|---|
| Title of host publication | Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems |
| Place of Publication | Berlin |
| Publisher | Springer |
| Pages | 500-504 |
| Number of pages | 5 |
| DOIs | |
| Publication status | Published - 2007 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Verlag |
| Number | Supplement |
| Volume | 4424 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Keywords
- IR-62047
- METIS-245842
- EWI-11534
Cite this
}
Motor: The MoDeST Tool Environment. / Bohnenkamp, H.C.; Hermanns, H.; Katoen, Joost P.
Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Berlin : Springer, 2007. p. 500-504 10.1007/978-3-540-71209-1_38 (Lecture Notes in Computer Science; Vol. 4424, No. Supplement).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Motor: The MoDeST Tool Environment
AU - Bohnenkamp, H.C.
AU - Hermanns, H.
AU - Katoen, Joost P.
N1 - 10.1007/978-3-540-71209-1_38
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
KW - IR-62047
KW - METIS-245842
KW - EWI-11534
U2 - 10.1007/978-3-540-71209-1_38
DO - 10.1007/978-3-540-71209-1_38
M3 - Conference contribution
T3 - Lecture Notes in Computer Science
SP - 500
EP - 504
BT - Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems
PB - Springer
CY - Berlin
ER -