Saturday 4th September 2004
Royal Society, London
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.
If you would like to register for PASM then please use the CONCUR registration pages. Registration is £100.00 or £85.00 for students.
Email: pasm2004@doc.ic.ac.uk
Tel: +44 20 7594 8349
Fax: +44 20 7581 8024