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

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

    16 Citations (Scopus)
    64 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
    Event20th IEEE Real-Time Systems Symposium, RTSS 1999 - Phoenix, AZ, USA, Phoenix, Arizona
    Duration: 1 Feb 19993 Feb 1999
    Conference number: 20

    Publication series

    Name
    PublisherIEEE

    Conference

    Conference20th IEEE Real-Time Systems Symposium, RTSS 1999
    Abbreviated titleRTSS
    CityPhoenix, Arizona
    Period1/02/993/02/99
    Other12/01/1999 - 12/03/1999

    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