Specification and Analysis of Soft Real-Time Systems: Quantity and Quality

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

    16 Citations (Scopus)
    49 Downloads (Pure)

    Abstract

    This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arbitrary probability distributions to express delays of activities. The semantics of this process algebra is given in terms of stochastic automata, a variant of timed automata where clocks are initialised randomly and run backwards. To analyse quantitative properties, an algorithm is presented for the on-the-fly generation of a discrete-event simulation model from a process algebra specification. On the qualitative side, a symbolic technique for classical reachability analysis of stochastic automata is presented. As a result a unifying framework for the specification and analysis of quantitative and qualitative properties is obtained. We discuss an implementation of both analytic methods and specify and analyse a fault-tolerant multi-processor system
    Original languageUndefined
    Title of host publicationReal-Time Systems Symposium, 1999. Proceedings. The 20th IEEE
    Place of PublicationLos Alamitos
    PublisherIEEE
    Pages104-114
    Number of pages11
    ISBN (Print)0-7695-0475-2
    DOIs
    Publication statusPublished - Jan 1999

    Publication series

    Name
    PublisherIEEE

    Keywords

    • EWI-6468
    • FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS
    • IR-19086
    • FMT-PA: PROCESS ALGEBRAS
    • METIS-119609
    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

    Cite this

    d' Argenio, P. R., Katoen, J. P., & Brinksma, H. (1999). Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. In Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE (pp. 104-114). Los Alamitos: IEEE. https://doi.org/10.1109/REAL.1999.818832