MoDeST: From Theory to Industrial Experience

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.

Period	4 Sep 2004
Event title	1st International Workshop on Practical Applications of Stochastic Modeling, PASM 2004
Event type	Workshop
Conference number	1
Location	London, United Kingdom
Degree of Recognition	International