An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems

Alan Burns, Cliff Jones

Research output: Chapter in Book/Report/Conference proceedingConference contribution


This paper proposes a formal framework for describing the relationship between a criticality-aware
scheduler and a set of application tasks that are assigned different criticality levels.
The exposition employs a series of examples starting with scheduling simple jobs and then moving on to mixed-criticality robust
and resilient tasks.
The proposed formalism extends the rely-guarantee approach,
which facilitates formal reasoning about the functional behaviour of concurrent systems, to address real-time properties.
Original languageEnglish
Title of host publicationProceedings, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Number of pages23
Publication statusPublished - 5 Jul 2022
EventEuromicro Conference on Real-Time Systems -
Duration: 5 Jul 20228 Jul 2022


ConferenceEuromicro Conference on Real-Time Systems
Abbreviated titleECRTS

Bibliographical note

© A. Burns and C.B. Jones

Cite this