License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECRTS.2022.14
URN: urn:nbn:de:0030-drops-163315
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/16331/
Burns, A. ;
Jones, Cliff B.
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems
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.
BibTeX - Entry
@InProceedings{burns_et_al:LIPIcs.ECRTS.2022.14,
author = {Burns, A. and Jones, Cliff B.},
title = {{An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems}},
booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)},
pages = {14:1--14:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-239-6},
ISSN = {1868-8969},
year = {2022},
volume = {231},
editor = {Maggio, Martina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16331},
URN = {urn:nbn:de:0030-drops-163315},
doi = {10.4230/LIPIcs.ECRTS.2022.14},
annote = {Keywords: real-time, scheduling, mixed criticality, rely/guaranteed conditions}
}
|
Keywords: |
|
real-time, scheduling, mixed criticality, rely/guaranteed conditions |
|
Collection: |
|
34th Euromicro Conference on Real-Time Systems (ECRTS 2022) |
|
Issue Date: |
|
2022 |
|
Date of publication: |
|
28.06.2022 |
