Implementing Mixed Criticality Systems in Ada

S. Baruah; A. Burns

Implementing Mixed Criticality Systems in Ada

Computer Science

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

Abstract

Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject to certification; the rest of the functionality is non safety-critical and does not need to be certified, or is certified to a lower level. The resulting mixed criticality system offers challenges both for static schedulability analysis and run-time monitoring. This paper considers both of these issues and indicates how mixed criticality applications can be implemented in Ada. In particular, code is produced to illustrate how the necessary run-time mode changes can be supported. This support makes use of a number of the new features introduced into Ada 2005.

Original language	Undefined/Unknown
Title of host publication	Proceedings of Reliable Software Technology - Ada Europe 2011
Editors	A. Romanovsky, T. Vardanega
Publisher	Springer
Pages	174-188
Number of pages	15
Volume	LNCS 6652
Publication status	Published - 2011

Cite this

@inproceedings{b7f2fcb4944f40b6b39c03596f6c87cc,

title = "Implementing Mixed Criticality Systems in Ada",

abstract = "Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject to certification; the rest of the functionality is non safety-critical and does not need to be certified, or is certified to a lower level. The resulting mixed criticality system offers challenges both for static schedulability analysis and run-time monitoring. This paper considers both of these issues and indicates how mixed criticality applications can be implemented in Ada. In particular, code is produced to illustrate how the necessary run-time mode changes can be supported. This support makes use of a number of the new features introduced into Ada 2005.",

author = "S. Baruah and A. Burns",

year = "2011",

language = "Undefined/Unknown",

volume = "LNCS 6652",

pages = "174--188",

editor = "A. Romanovsky and T. Vardanega",

booktitle = "Proceedings of Reliable Software Technology - Ada Europe 2011",

publisher = "Springer",

address = "Germany",

}

TY - GEN

T1 - Implementing Mixed Criticality Systems in Ada

AU - Baruah, S.

AU - Burns, A.

PY - 2011

Y1 - 2011

N2 - Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject to certification; the rest of the functionality is non safety-critical and does not need to be certified, or is certified to a lower level. The resulting mixed criticality system offers challenges both for static schedulability analysis and run-time monitoring. This paper considers both of these issues and indicates how mixed criticality applications can be implemented in Ada. In particular, code is produced to illustrate how the necessary run-time mode changes can be supported. This support makes use of a number of the new features introduced into Ada 2005.

AB - Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject to certification; the rest of the functionality is non safety-critical and does not need to be certified, or is certified to a lower level. The resulting mixed criticality system offers challenges both for static schedulability analysis and run-time monitoring. This paper considers both of these issues and indicates how mixed criticality applications can be implemented in Ada. In particular, code is produced to illustrate how the necessary run-time mode changes can be supported. This support makes use of a number of the new features introduced into Ada 2005.

M3 - Conference contribution

VL - LNCS 6652

SP - 174

EP - 188

BT - Proceedings of Reliable Software Technology - Ada Europe 2011

A2 - Romanovsky, A.

A2 - Vardanega, T.

PB - Springer

ER -