A least upper bound on the fault tolerance of real-time systems

This paper presents a method to deal with the reexecution of tasks in a hard real-time system subject to temporary faults. The set of tasks follows the Liu and Layland model: they are periodic, independent and preemptible. Time is considered to be slotted. The system is said to be k-schedulable if i...

Full description

Saved in:
Bibliographic Details
Published inThe Journal of systems and software Vol. 78; no. 1; p. 56
Main Authors Santos, Rodrigo M, Santos, Jorge, Orozco, Javier D
Format Journal Article
LanguageEnglish
Published New York Elsevier Sequoia S.A 01.10.2005
Subjects
Fault tolerance
Information systems
Real time
Scheduling
Simulation
Studies
Systems management
Online AccessGet full text

Cover

More Information
Summary:This paper presents a method to deal with the reexecution of tasks in a hard real-time system subject to temporary faults. The set of tasks follows the Liu and Layland model: they are periodic, independent and preemptible. Time is considered to be slotted. The system is said to be k-schedulable if it is schedulable in spite of the fact that in the interval between its release and its deadline, every task admits that k slots are devoted to uses other than its first execution. In this case, the k slots are used to reexecute tasks subject to temporary faults. Since the value of k can be easily determined, a least upper bound on all the possible combinations of faults that the system can tolerate while meeting the hard time-constraints, follows immediately. The method is bandwidth preserving and the expression of the bound is a diophantic inequality relating k, the execution time and the period of each task. The method is compared to methods proposed by other authors to solve the same problem and it is evaluated through extensive simulations performed on random generated sets of tasks. [PUBLICATION ABSTRACT]
ISSN:0164-1212
1873-1228