Handling Temporal Faults in Ada 2005

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-timemechanismsfor 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 somebasic patterns are proposed that can be used to develop such kinds of mechanisms.

[1]  Alan Burns,et al.  Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.

[2]  Alfred Strohmeier,et al.  Reliable Software Technologies — Ada-Europe 2003 , 2003, Lecture Notes in Computer Science.

[3]  Tullio Vardanega.  Development of on-board embedded real-time systems: an engineering approach , 1998 .

[4]  Alfred Strohmeier,et al.  Reliable Software Technologies - Ada-Europe 2004 , 2004, Lecture Notes in Computer Science.

[5]  Alan Burns,et al.  Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition , 2009, International computer science series.

[6]  Alan Burns,et al.  The Ravenscar tasking profile for high integrity real-time programs , 1998 .

[7]  Juan Ángel Pastor Franco,et al.  A systematic approach to developing safe tele-operated robots , 2006 .

[8]  Mark Klein,et al.  A practitioner's handbook for real-time analysis - guide to rate monotonic analysis for real-time systems , 1993, The Kluwer international series in engineering and computer science.

[9]  Alan Burns,et al.  Real-Time Systems and Programming Languages , 2009 .

[10]  Francisco José Ortiz Zaragoza,et al.  A reference control architecture for service robots implemented on a climbing vehicle. , 2005 .

[11]  Tullio Vardanega,et al.  Hierarchical Scheduling with Ada 2005 , 2006, Ada-Europe.

[12]  Juan Antonio de la Puente,et al.  Implementation of mode changes with the Ravenscar profile , 2001 .

[13]  Alejandro Alonso,et al.  Implementing Execution-Time Clocks for the Ada Ravenscar Profile , 2004, Ada-Europe.

[14]  Brian Dobbing,et al.  The Ravenscar Tasking Profile—experience reporting , 1999 .

[15]  Alejandro Alonso,et al.  Implementation of mode changes with the Ravenscar profile , 2001, IRTAW '00.

[16]  Alan Burns,et al.  The Ravenscar tasking profile for high integrity real-time programs , 1998, SIGAda '98.

[17]  Tullio Vardanega.  Ravenscar design patterns?: reflections on use of the Ravenscar profile , 2003 .

[18]  Alan Burns,et al.  Report of session: generating new AIs , 2003 .

[19]  Juan Antonio de la Puente,et al.  Execution-time clocks and Ravenscar kernels , 2003 .

[20]  Kristina Lundqvist,et al.  Non-intrusive System Level Fault-Tolerance , 2005, Ada-Europe.

[21]  Alan Burns,et al.  Scheduling slack time in fixed priority pre-emptive systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[22]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..