Modular specification of real-time systems

Recep Inal

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

    382 Downloads (Pure)


    Duration Calculus, a real-time interval logic, has been embedded in the Z specification language to provide a notation for real-time systems that combines the modularisation and abstraction facilities of Z with a logic suitable for reasoning about real-time properties. In this article the notation is presented through a top-level specification of requirements for a simple air traffic monitoring system, and reasoning is illustrated by a refinement towards a design
    Original languageEnglish
    Title of host publicationProceedings of the Sixth Euromicro Workshop on Real-Time Systems
    Publication date1994
    ISBN (Print)08-18-66340-5
    Publication statusPublished - 1994
    Event6th Euromicro Workshop on Real-Time Systems - Vaesteraas, Sweden
    Duration: 15 Jun 199417 Jun 1994
    Conference number: 6


    Workshop6th Euromicro Workshop on Real-Time Systems
    Internet address

    Bibliographical note

    Copyright: 1994 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE

    Fingerprint Dive into the research topics of 'Modular specification of real-time systems'. Together they form a unique fingerprint.

    Cite this