Specification and verification of real-time systems using ACSR-VP

Sung Mook Lim, Jin Young Choi

    Research output: Contribution to conferencePaperpeer-review

    3 Citations (Scopus)

    Abstract

    The reliability of the design of a real-time system is important. For example, when there are errors in avionics control systems or nuclear reactor control systems, the loss of finance, time or even the loss of human lives could be enormous. Therefore when one designs a real-time system, methods to guarantee the correctness of the system are needed before the implementation of the system. We specify a scheduling algorithm of real-time systems called Priority Ceiling Protocol using ACSR-VP and perform schedulability analysis on real-time systems by checking for a bisimulation relation.

    Original languageEnglish
    Pages135-142
    Number of pages8
    Publication statusPublished - 1997
    EventProceedings of the 1997 4th International Workshop on Real-Time Computing Systems and Applications, RTCSA - Taipei, Taiwan
    Duration: 1997 Oct 271997 Oct 29

    Other

    OtherProceedings of the 1997 4th International Workshop on Real-Time Computing Systems and Applications, RTCSA
    CityTaipei, Taiwan
    Period97/10/2797/10/29

    ASJC Scopus subject areas

    • General Computer Science

    Fingerprint

    Dive into the research topics of 'Specification and verification of real-time systems using ACSR-VP'. Together they form a unique fingerprint.

    Cite this