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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings 2nd PROGRESS Workshop on Embedded Systems |
| Subtitle of host publication | Utrecht, The Netherlands, October 18, 2001 |
| Editors | F. Karelse |
| Place of Publication | Utrecht |
| Publisher | STW |
| Pages | 31-36 |
| Number of pages | 6 |
| Publication status | Published - 2001 |
| Event | 2nd PROGRESS Workshop on Embedded Systems 2001 - Veldhoven, Netherlands Duration: 18 Oct 2001 → 18 Oct 2001 Conference number: 2 |
Workshop
| Workshop | 2nd PROGRESS Workshop on Embedded Systems 2001 |
|---|---|
| Abbreviated title | PROGRESS |
| Country/Territory | Netherlands |
| City | Veldhoven |
| Period | 18/10/01 → 18/10/01 |
Keywords
- FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
- FMT-PA: PROCESS ALGEBRAS
- FMT-PM: PROBABILISTIC METHODS