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