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

Alan Burns; Cliff Jones

doi:10.4230/LIPIcs.ECRTS.2022.12

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

Alan Burns, Cliff Jones

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	Proceedings, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Publisher	ACM
Number of pages	23
DOIs	https://doi.org/10.4230/LIPIcs.ECRTS.2022.12
Publication status	Published - 5 Jul 2022
Event	Euromicro Conference on Real-Time Systems - Duration: 5 Jul 2022 → 8 Jul 2022

Conference

Conference	Euromicro Conference on Real-Time Systems
Abbreviated title	ECRTS
Period	5/07/22 → 8/07/22

Bibliographical note

Access to Document

10.4230/LIPIcs.ECRTS.2022.12Licence: CC BY

ECRTS22
© A. Burns and C.B. Jones
Final published version, 570 KBLicence: CC BY

STRATA; Layers for Structuring Trustworthy Ambient Systems
Burns, A.
EPSRC
1/06/16 → 31/05/21
Project: Research project (funded) › Research

Cite this

@inproceedings{0dda32830ee0402888f67fea6cee8038,

title = "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-awarescheduler 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 robustand 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. ",

author = "Alan Burns and Cliff Jones",

note = "{\textcopyright} A. Burns and C.B. Jones; Euromicro Conference on Real-Time Systems, ECRTS ; Conference date: 05-07-2022 Through 08-07-2022",

year = "2022",

month = jul,

day = "5",

doi = "10.4230/LIPIcs.ECRTS.2022.12",

language = "English",

booktitle = "Proceedings, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)",

publisher = "ACM",

address = "United States",

}

TY - GEN

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

AU - Burns, Alan

AU - Jones, Cliff

PY - 2022/7/5

Y1 - 2022/7/5

N2 - This paper proposes a formal framework for describing the relationship between a criticality-awarescheduler 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 robustand 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.

AB - This paper proposes a formal framework for describing the relationship between a criticality-awarescheduler 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 robustand 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.

U2 - 10.4230/LIPIcs.ECRTS.2022.12

DO - 10.4230/LIPIcs.ECRTS.2022.12

M3 - Conference contribution

BT - Proceedings, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)

PB - ACM

T2 - Euromicro Conference on Real-Time Systems

Y2 - 5 July 2022 through 8 July 2022

ER -

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

Abstract

Conference

Bibliographical note

Access to Document

Projects

STRATA; Layers for Structuring Trustworthy Ambient Systems

Cite this