Modelling stochastic timed systems

Pedro R. d' Argenio, Holger Hermanns, Joost P. Katoen, Ric Klaren

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    47 Downloads (Pure)

    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 languageEnglish
    Title of host publicationProceedings 2nd PROGRESS Workshop on Embedded Systems
    Subtitle of host publicationUtrecht, The Netherlands, October 18, 2001
    EditorsF. Karelse
    Place of PublicationUtrecht
    PublisherSTW
    Pages31-36
    Number of pages6
    Publication statusPublished - 2001
    Event2nd PROGRESS Workshop on Embedded Systems 2001 - Veldhoven, Netherlands
    Duration: 18 Oct 200118 Oct 2001
    Conference number: 2

    Workshop

    Workshop2nd PROGRESS Workshop on Embedded Systems 2001
    Abbreviated titlePROGRESS
    Country/TerritoryNetherlands
    CityVeldhoven
    Period18/10/0118/10/01

    Keywords

    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
    • FMT-PA: PROCESS ALGEBRAS
    • FMT-PM: PROBABILISTIC METHODS

    Fingerprint

    Dive into the research topics of 'Modelling stochastic timed systems'. Together they form a unique fingerprint.

    Cite this