DescriptionThe 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.
|Period||4 Sept 2004|
|Event title||1st International Workshop on Practical Applications of Stochastic Modeling, PASM 2004|
|Location||London, United Kingdom|
|Degree of Recognition||International|