In this paper we present an approach to the scheduling of fault-tolerant embedded systems for safety-critical applications. Processes and messages are statically scheduled, and we use process re-execution for recovering from multiple transient faults. If process recovery is performed such that the operation of other processes is not affected, we call it transparent recovery. Although transparent recovery has the advantages of fault containment, improved debugability and less memory needed to store the fault-tolerant schedules, it will introduce delays that can violate the timing constraints of the application. We propose a novel algorithm for the synthesis of fault-tolerant schedules that can handle the transparency/performance trade-offs imposed by the designer, and makes use of the fault-occurrence information to reduce the overhead due to fault tolerance. We model the application as a conditional process graph, where the fault occurrence information is represented as conditional edges and the transparent recovery is captured using synchronization nodes.
|Title of host publication||Design Automation and Test in Europe Conference|
|Publication status||Published - 2006|
|Event||2006 Design, Automation and Test in Europe - |
Duration: 1 Jan 2006 → …
|Conference||2006 Design, Automation and Test in Europe|
|Period||01/01/2006 → …|
Bibliographical noteCopyright note for papers published by the IEEE Computer Society: Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the IEEE.
Izosimov, V., Pop, P., Eles, P., & Peng, Z. (2006). Synthesis of Fault-Tolerant Schedules with Transparency/Performance Trade-offs for Distributed Embedded Systems. In Design Automation and Test in Europe Conference (Vol. 1, pp. 1-6) https://doi.org/10.1109/DATE.2006.244067