A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
The Ravenscar Tasking Profile—experience reporting
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
Implementation of mode changes with the Ravenscar profile
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Ravenscar design patterns?: reflections on use of the Ravenscar profile
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Execution-time clocks and Ravenscar kernels
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Hierarchical scheduling with ada 2005
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Non-intrusive system level fault-tolerance
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Ada 2005 code patterns for metamodel-based code generation
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Implementing the new Ada 2005 real-time features on a bare board kernel
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
A New Approach to Memory Partitioning in On-Board Spacecraft Software
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
| Hi-index | 0.00 |
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.