Part of the book series:Lecture Notes in Computer Science ((LNPSE,volume 4498))
Included in the following conference series:
268Accesses
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
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
Universidad Politécnica de Madrid (UPM), E28040 Madrid, Spain
José A. Pulido, Santiago Urueña, Juan Zamorano & Juan A. de la Puente
- José A. Pulido
You can also search for this author inPubMed Google Scholar
- Santiago Urueña
You can also search for this author inPubMed Google Scholar
- Juan Zamorano
You can also search for this author inPubMed Google Scholar
- Juan A. de la Puente
You can also search for this author inPubMed Google Scholar
Editor information
Editors and Affiliations
HES.SO, École d’ingénieurs de Genéve, University of Applied Sciences Western Switzerland, Rue de la Prairie 4, 1201, Geneva, Switzerland
Nabil Abdennadher
Laboratoire d’Informatique de Paris 6, Université Pierre et Marie Curie, 104 Avenue du Président Kennedy, 75016, Paris, France
Fabrice Kordon
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
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)
Share this paper
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative