Modelling stochastic timed systems


D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) Modelling stochastic timed systems. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands (pp. pp. 31-36).

open access
Abstract:Real-time, performance and reliability aspects
are of vital importance in the entire system design
trajectory. Therefore, modelling techniques are
needed that cover quantitative system aspects. This paper
presents MoDeST, a modelling language that allows us
to specify soft real-time constraints (i.e., stochastic timing)
as well as hard real-time constraints. MoDeST combines
conventional programming constructs – such as iteration,
alternatives, atomic statements, and exception handling
– with means to describe complex systems in a compositional
manner. The language is influenced by popular
and user-friendly specification languages, and deals with
compositionality in a light-weight process-algebra style. In summary, MoDeST (i) covers a very broad spectrum of
modelling concepts, (ii) possesses a rigid, process-algebra
style semantics, and (iii) yet provides modern and flexible
specification constructs.
Item Type:Conference or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page