MoDeST: From Theory to Industrial Experience

Katoen, J. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    The language MoDeST, a Modelling and Description language for Stochastic and Timed systems will be presented. MoDeST aims to support the modular description of reactive system's behaviour while covering both functional and non-functional system aspects (such as timing and quality-of-service constraints) in a single specification. It contains simple and structured data types, parallel composition and abstraction, atomicity control, and non-deterministic and random branching and timing. Timed, stochastic and simple probabilistic automata, and process algebras such as CSP and FSP form the basis of MoDeST.

    In the talk, we will treat the design rationales and formal semantics of MoDeST. Two industrial case studies that were carried out with MOTOR, the MoDeST tool environment, will be detailed: the modeling and analysis of a device-absence detecting protocol in plug-and-play networks (UPnP), and the synthesis and stochastic analysis of schedules for a lacquer production plant.
    Period4 Sep 2004
    Event title1st International Workshop on Practical Applications of Stochastic Modeling, PASM 2004: null
    Event typeWorkshop
    Conference number1
    LocationLondon, United Kingdom
    Degree of RecognitionInternational