loading...
On Fault-Sensitive Feasibility Analysis of Real-Time Task Sets
Lisbon, Portugal December 05-December 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/REAL.2004.3625th IEEE International Real-Time Sys ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Hakan Aydin, George Mason University
In this paper, we consider the problem of checking the feasibility of a set of n aperiodic real-time tasks while provisioning for timely recovery from (at most) k transient faults. We extend the well-known Processor Demand Approach to take into account the extra overhead that may be induced by potential recovery operations under Earliest Deadline First scheduling. We develop a necessary and sufficient test using dynamic programming technique. An improvement upon the previous solutions is to address and efficiently solve the case where the recovery blocks associated with faults of a given task do not have necessarily the same execution time. Further, we provide an on-line version of our algorithm that does not require a priori knowledge of release times. The on-line algorithm runs in O(m? k²) time where m is the number of ready tasks. We also show how to quickly adjust the recovery-related parameters of the algorithm for the remaining part of the execution when a fault is detected.
Citation:
Hakan Aydin, "On Fault-Sensitive Feasibility Analysis of Real-Time Task Sets," rtss, pp.426-434, 25th IEEE International Real-Time Systems Symposium (RTSS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.