Abstract
Hard real-time systems have stringent deadline requirements, which can be guaranteed at system design time by restricting the computational model so that a careful analysis of execution-time budgets and response-time values can be performed. However, design-time guarantees are not enough in many high-integrity systems, in which some degree of run-time fault-tolerance has to be implemented as well. This paper deals with run-time mechanisms for temporal fault detection and recovery, based on some of the new features available in Ada 2005. Fault detection mechanisms are based on execution-time clocks and timers, and timing events. Fault recovery schemes are application-dependent, but some basic patterns are proposed that can be used to develop such kinds of mechanisms.
This work has been funded in part by the Spanish Ministry of Education, project no. TIC2005-08665-C03-01 (THREAD), and by the IST Programme of the European Commission under project IST-004033 (ASSERT).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Burns, A., Wellings, A.J.: Real-Time Systems and Programming Languages, 3rd edn. Addison-Wesley, Reading (2001)
Joseph, M., Pandya, P.: Finding response times in real-time systems. BCS Computer Journal 29, 390–395 (1986)
Klein, M.H., Ralya, T., Pollack, B., Obenza, R., González-Harbour, M.: A Practitioner’s Handbook for Real-Time Analysis. Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Boston (1993)
ISO/IEC: TR 15942:2000 — Guide for the use of the Ada programming language in high integrity systems (2000)
Burns, A., Dobbing, B., Romanski, G.: The Ravenscar tasking profile for high integrity real-time programs. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol. 1411, pp. 263–275. Springer, Heidelberg (1998)
ISO/IEC: TR 24718:2005 — Guide for the use of the Ada Ravenscar Profile in high integrity systems. (2005) Based on the University of York Technical Report YCS-2003-348 (2003)
Taft, S.T., Duff, R.A., Brukardt, R.L., Ploedereder, E., Leroy, P. (eds.): Ada 2005 Reference Manual. LNCS, vol. 4348. Springer, Heidelberg (2006)
Dobbing, B., Romanski, G.: The Ravenscar profile: Experience report. Ada Letters XIX, 28–32 (1999) Proceedings of the 9th International Real-Time Ada Workshop
Vardanega, T.: Reflections on the use of the Ravenscar profile. Ada Letters XXIII, 93–95 (2003) (Proceedings of the 12th International Ada Real-Time Workshop (IRTAW12)
Vardanega, T.: Development of on-board embedded real-time systems: An engineering approach. Technical Report ESA STR-260, European Space Agency (1999)
de la Puente, J.A., Zamorano, J.: Execution-time clocks and Ravenscar kernels. Ada Letters XXIII, 82–86 (2003) Proceedings of the 12th International Ada Real-Time Workshop (IRTAW12)
Zamorano, J., Alonso, A., Pulido, J.A., de la Puente, J.A.: Implementing execution-time clocks for the Ada Ravenscar profile. In: Llamosí, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol. 3063, Springer, Heidelberg (2004)
Davis, R.I., Tindell, K.W., Burns, A.: Scheduling slack time in fixed priority pre-emptive systems. In: IEEE Real-Time Systems Symposium, IEEE Computer Society Press, Los Alamitos (1993)
Alonso, A., de la Puente, J.A.: Implementation of mode changes with the Ravenscar profile. Ada Letters. In: Proceedings of the 11th International Real-Time Ada Workshop, vol. XXI (2001)
Lundqvist, K., Srinivasan, J., Gorelov, S.: Non-intrusive system level fault-tolerance. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol. 3555, pp. 156–166. Springer, Heidelberg (2005)
Pulido, J.A., Urueña, S., Zamorano, J., Vardanega, T., de la Puente, J.A.: Hierarchical scheduling with Ada 2005. In: Pinho, L.M., González Harbour, M. (eds.) Ada-Europe 2006. LNCS, vol. 4006, Springer, Heidelberg (2006)
Dissaux, P., Moretti, R., Barone, M.R., Puri, S., Cancila, D., Bordin, M., Prochazka, M., Najm, E., Hamid, I.: Experience in modelling a general PP problem. Technical report, ASSERT Consortium, D3.1.3-1 I2R0 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pulido, J.A., Urueña, S., Zamorano, J., de la Puente, J.A. (2007). Handling Temporal Faults in Ada 2005. In: Abdennadher, N., Kordon, F. (eds) Reliable Software Technologies – Ada Europe 2007. Ada-Europe 2007. Lecture Notes in Computer Science, vol 4498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73230-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-73230-3_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73229-7
Online ISBN: 978-3-540-73230-3
eBook Packages: Computer ScienceComputer Science (R0)