The MoDeST modeling tool and its implementation

Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Rick Klaren

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

    18 Citations (Scopus)
    105 Downloads (Pure)

    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
    EditorsPeter Kemper, William H. 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 Sept 2003
    Event13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation 2003 - Urbana, United States
    Duration: 2 Sept 20035 Sept 2003
    Conference number: 13

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    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
    Country/TerritoryUnited States
    CityUrbana
    Period2/09/035/09/03

    Keywords

    • 2023 OA procedure

    Fingerprint

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

    Cite this