By the same authors

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

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

Full text download(s)

Published copy (DOI)



Publication details

Title of host publicationProceedings, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
DateAccepted/In press - 11 Apr 2022
DatePublished (current) - 5 Jul 2022
Number of pages23
Original languageEnglish


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.

Bibliographical note

© A. Burns and C.B. Jones


Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations