A Timed Semantics for SDL

Simon Mørk, Jens Christian Godskesen, Michael Reichhardt Hansen, Robin Sharp

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    An alternative formal semantics for describing the temporal aspects for the ITU-T specification language SDL is proposed, based on the interval temporal logic Duration Calculus (DC). It is shown how DC can be used to give an SDL semantics with a precise treatment oftemporal phenomena. The semantics allows true concurrency. We show how it can be used to address issues such as the verification oftemporal properties, process scheduling, and the nature of viewed (shared) variables.
    Original languageEnglish
    Title of host publicationFormal Description Techniques IX, Theory, application and tools
    Place of PublicationLondon
    PublisherChapman & Hall
    Publication date1996
    Pages295-309
    Publication statusPublished - 1996
    EventFORTE, INternational Conference on Formal Description Techniques IX / PSTV Protocol Specification, Testing and Verification XVI - Kaiserslautern, Germany
    Duration: 1 Jan 1996 → …

    Conference

    ConferenceFORTE, INternational Conference on Formal Description Techniques IX / PSTV Protocol Specification, Testing and Verification XVI
    CityKaiserslautern, Germany
    Period01/01/1996 → …

    Fingerprint Dive into the research topics of 'A Timed Semantics for SDL'. Together they form a unique fingerprint.

    Cite this