TY - GEN
T1 - Implementing mixed criticality systems in Ada
AU - Baruah, Sanjoy
AU - Burns, Alan
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.
UR - https://www.scopus.com/pages/publications/79960243929
U2 - 10.1007/978-3-642-21338-0_13
DO - 10.1007/978-3-642-21338-0_13
M3 - Conference contribution
AN - SCOPUS:79960243929
SN - 9783642213373
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 174
EP - 188
BT - Reliable Software Technologies, Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Proceedings
T2 - 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011
Y2 - 20 June 2011 through 24 June 2011
ER -