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.

Preview

PDF
205Kb

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
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/66270
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page