The MoDeST modeling tool and its implementation

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

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

    15 Citations (Scopus)

    Abstract

    This paper is about the tool-suite Motor that supports the modeling and analysis of Modest specifications. In particular, we discuss its tool architecture, and the implementation details of the tool components that do already exist, in particular, the parser, the SOS implementation, an interactive simulator, and a state-space generator. As the expressiveness of Modest goes beyond existing notations for real-time as well as probabilistic systems, the implementation of these tool components has a non-trivial intrinsic complexity.
    Original languageEnglish
    Title of host publicationComputer performance evaluations. modelling techniques and tools
    Subtitle of host publication13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings
    EditorsP. Kemper, W. Sanders
    Place of PublicationBerlin
    PublisherSpringer
    Pages116-133
    ISBN (Electronic)978-3-540-45232-4
    ISBN (Print)978-3-540-40814-7
    DOIs
    Publication statusPublished - 2 Sep 2003
    Event13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation 2003 - Urbana, United States
    Duration: 2 Sep 20035 Sep 2003
    Conference number: 13

    Publication series

    NameLecture notes in computer science
    Volume2794
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation 2003
    Abbreviated titleTOOLS 2003
    CountryUnited States
    CityUrbana
    Period2/09/035/09/03

    Keywords

    • METIS-217631

    Fingerprint Dive into the research topics of 'The MoDeST modeling tool and its implementation'. Together they form a unique fingerprint.

  • Cite this

    Bohnenkamp, H. C., Hermanns, H., Katoen, J. P., & Klaren, J. (2003). The MoDeST modeling tool and its implementation. In P. Kemper, & W. Sanders (Eds.), Computer performance evaluations. modelling techniques and tools: 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings (pp. 116-133). (Lecture notes in computer science; Vol. 2794). Berlin: Springer. https://doi.org/10.1007/978-3-540-45232-4_8