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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Audsley, N.C., Burns, A., Richardson, M., Tindell, K., Wellings, A.J.: Applying new scheduling theory to static priority preemptive scheduling. Software Engineering Journal 8(5), 284–292 (1993)
Audsley, N.C.: On Priority Assignment in Fixed Priority Scheduling. Information Processing Letters 79(1), 39–44 (2001)
Baruah, S.K., Vestal, S.: Schedulability analysis of sporadic tasks with multiple criticality specifications. In: ECRTS, pp. 147–155 (2008)
Bernat, G., Broster, I., Burns, A.: Rewriting history to exploit gain time. In: Proceedings Real-time Systems Symposium, Lisbon, Portugal, pp. 328–335. IEEE Computer Society, Los Alamitos (2004)
Bernat, G., Burns, A.: Multiple servers and capacity sharing for implementing flexible scheduling. Real-Time Systems Journal 22, 49–75 (2002)
Caccamo, M., Buttazzo, G., Sha, L.: Capacity sharing for overrun control. In: Proceedings 21th IEEE Real-Time Systems Symposium (2000)
de Niz, D., Lakshmanan, K., Rajkumar, R.: On the scheduling of mixed-criticality realtime task sets. In: Proceedings of the IEEE Real-Time Systems Symposium, pp. 291–300 (2009)
Dorin, F., Richard, P., Richard, M., Goossens, J.: Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities. Real-Time Journal (2010)
Joseph, M., Pandya, P.: Finding response times in a real-time system. BCS Computer Journal 29(5), 390–395 (1986)
Prasad, D., Burns, A., Atkin, M.: The measurement and usage of utility in adaptive realtime systems. Journal of Real-Time Systems 25(2/3), 277–296 (2003)
Tindell, K., Alonso, A.: A very simple protocol for mode changes in priority preemptive systems. Technical report, Universidad Politecnica de Madrid (1996)
Vestal, S.: Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: Proceedings of the IEEE Real-Time Systems Symposium, pp. 239–243 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baruah, S., Burns, A. (2011). Implementing Mixed Criticality Systems in Ada. In: Romanovsky, A., Vardanega, T. (eds) Reliable Software Technologies - Ada-Europe 2011. Ada-Europe 2011. Lecture Notes in Computer Science, vol 6652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21338-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-21338-0_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21337-3
Online ISBN: 978-3-642-21338-0
eBook Packages: Computer ScienceComputer Science (R0)