Motor: The MoDeST Tool Environment

H.C. Bohnenkamp, H. Hermanns, Joost P. Katoen

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)

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.
Original languageUndefined
Title of host publicationProceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Place of PublicationBerlin
PublisherSpringer
Pages500-504
Number of pages5
DOIs
Publication statusPublished - 2007

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
NumberSupplement
Volume4424
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • IR-62047
  • METIS-245842
  • EWI-11534

Cite this

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
Bohnenkamp, H.C. ; Hermanns, H. ; Katoen, Joost P. / Motor: The MoDeST Tool Environment. Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Berlin : Springer, 2007. pp. 500-504 (Lecture Notes in Computer Science; Supplement).
@inproceedings{7bf340238d23465cb22f8c862013979c,
title = "Motor: The MoDeST Tool Environment",
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{\"o}bius performance evaluation environment. We are experimenting with prototypical connections to the real-time model checker Uppaal.",
keywords = "IR-62047, METIS-245842, EWI-11534",
author = "H.C. Bohnenkamp and H. Hermanns and Katoen, {Joost P.}",
note = "10.1007/978-3-540-71209-1_38",
year = "2007",
doi = "10.1007/978-3-540-71209-1_38",
language = "Undefined",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "Supplement",
pages = "500--504",
booktitle = "Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems",

}

Bohnenkamp, HC, Hermanns, H & Katoen, JP 2007, Motor: The MoDeST Tool Environment. in Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems., 10.1007/978-3-540-71209-1_38, Lecture Notes in Computer Science, no. Supplement, vol. 4424, Springer, Berlin, pp. 500-504. https://doi.org/10.1007/978-3-540-71209-1_38

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 proceedingConference contributionAcademicpeer-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 -

Bohnenkamp HC, Hermanns H, Katoen JP. Motor: The MoDeST Tool Environment. In 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; Supplement). https://doi.org/10.1007/978-3-540-71209-1_38