The York Research Database
- » Research
- » York Research Database
- » Publications
- » An Approach to Formally Specifying the Behaviour of Mixed-Criticality ...
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Author(s)
Department/unit(s)
Publication details
| Title of host publication | Proceedings, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022) |
|---|---|
| Date | Accepted/In press - 11 Apr 2022 |
| Date | Published (current) - 5 Jul 2022 |
| Number of pages | 23 |
| Publisher | ACM |
| Original language | English |
Abstract
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.
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
Projects
STRATA; Layers for Structuring Trustworthy Ambient Systems
Project: Research project (funded) › Research
Discover related content
Find related publications, people, projects, datasets and more using interactive charts.