On specifying real-time systems in a causality-based setting

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    28 Citations (Scopus)
    30 Downloads (Pure)

    Abstract

    Event structures are a prominent noninterleaving model for concurrency. Real-time event structures associate a set of time instants to events, modelling absolute time constraints, and to causal dependencies, modelling relative delays between causally dependent events. We introduce this novel temporal model and show how it can be used to provide a denotational semantics to a real-time variant of a process algebra akin to LOTOS. This formalism includes a timed-action prefix which constrains the occurrence time of actions, a timeout and watchdog (i.e., timed interrupt) operator. An event-based operational semantics for this formalism is presented that is shown to be consistent with the denotational semantics. As an example we use an infinite buffer with time constraints on the message latency and the rates of accepting and producing data.
    Original languageEnglish
    Title of host publicationFormal Techniques in Real-Time and Fault-Tolerant Systems
    Subtitle of host publication4th International Symposium Uppsala, Sweden, September 9–13, 1996, Proceedings
    EditorsBengt Jonsson, Joachim Parrow
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages385-405
    Number of pages21
    ISBN (Electronic)978-3-540-70653-3
    ISBN (Print)978-3-540-61648-1
    DOIs
    Publication statusPublished - 1996
    Event4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1996 - Uppsala, Sweden
    Duration: 9 Sep 199613 Sep 1996
    Conference number: 4

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume1135
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1996
    Abbreviated titleFTRTFT
    CountrySweden
    CityUppsala
    Period9/09/9613/09/96

    Keywords

    • FMT-PA: PROCESS ALGEBRAS
    • FMT-NIM: NON-INTERLEAVING MODELS
    • Event structure
    • Operational semantics
    • Parallel composition
    • Process algebra
    • Denotational semantics

    Fingerprint Dive into the research topics of 'On specifying real-time systems in a causality-based setting'. Together they form a unique fingerprint.

    Cite this