A fault-tolerant scheduling algorithm for real-time periodic tasks with possible software faults

• Published in: IEEE transactions on computers Vol. 52; no. 3; pp. 362 - 372
• Main Authors: Ching-Chih Han, Shin, K.G., Jian Wu
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.03.2003; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Aircraft; Algorithms; Computer bugs; Computer programs; Fault tolerance; Fault tolerant systems; Job shop scheduling; Mathematical analysis; Processor scheduling; Real time; Real time systems; Scheduling; Scheduling algorithm; Software; Software quality; Studies; Tasks; Timing
• ISSN: 0018-9340; 1557-9956
• DOI: 10.1109/TC.2003.1183950

A hard real-time system is usually subject to stringent reliability and timing constraints. One way to avoid missing deadlines is to trade the quality of computation results for timeliness, and software fault tolerance is often achieved with the use of redundant programs. A deadline mechanism which combines these two methods is proposed to provide software fault tolerance in hard real-time periodic task systems. We consider the problem of scheduling a set of real-time periodic tasks each of which has two versions: primary and alternate. The primary version contains more functions and produces good quality results, but its correctness is more difficult to verify. The alternate version contains only the minimum required functions and produces less precise results and its correctness is easy to verify. We propose a scheduling algorithm which 1) guarantees either the primary or alternate version of each critical task to be completed in time and 2) attempts to complete as many primaries as possible. Our basic algorithm uses a fixed priority-driven preemptive scheduling scheme to preallocate time intervals to the alternates and, at runtime, attempts to execute primaries first. An alternate will be executed only if necessary because of time or bugs.