Motor: The MoDeST Tool Environment

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

doi:10.1007/978-3-540-71209-1_38

Motor: The MoDeST Tool Environment

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

12 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 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	https://doi.org/10.1007/978-3-540-71209-1_38
Publication status	Published - 2007
Event	13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Braga, Protugal: Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems - Berlin Duration: 1 Jan 2007 → …

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Number	Supplement
Volume	4424
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Braga, Protugal
City	Berlin
Period	1/01/07 → …

Keywords

IR-62047
METIS-245842
EWI-11534

Access to Document

10.1007/978-3-540-71209-1_38

http://eprints.eemcs.utwente.nl/secure2/11534/01/fulltext.pdf

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). Springer. https://doi.org/10.1007/978-3-540-71209-1_38

@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 ; null ; Conference date: 01-01-2007",

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",

address = "Netherlands",

}

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, 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Braga, Protugal, Berlin, 1/01/07. 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 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

Y2 - 1 January 2007

ER -