Probabilistic Guarantees for Fault-Tolerant Real-Time Systems

Abstract

Hard real-time systems are usually required to provide an absolute guarantee that all tasks will execute by their deadlines. In this paper we address fault tolerant hard realtime systems, and introduce the notion of a probabilistic guarantee. Schedulability analysis is used together with sensitivity analysis to establish the maximum fault frequency that a system can tolerate. The fault model is then used to derive a probability (likelihood) that, during the lifetime of the system, faults will not arrive faster than this maximum rate. The framework presented is a general one that can accommodate transient `software' faults, tolerated by recovery blocks or exception handling; or transient `hardware' faults dealt with by state restoration and re-execution. Key Words: Real-Time, Scheduling, Probabilistic Guarantees, Fault Model. 1 Introduction Scheduling work in hard real-time systems is traditionally dominated by the notion of absolute guarantee. Static analysis is used to determine that..