Scheduling and Optimization of Fault-Tolerant Embedded Systems
2006 (English)Licentiate thesis, monograph (Other academic)
Safety-critical applications have to function correctly even in presence of faults. This thesis deals with techniques for tolerating effects of transient and intermittent faults. Reexecution, software replication, and rollback recovery with checkpointing are used to provide the required level of fault tolerance. These techniques are considered in the context of distributed real-time systems with non-preemptive static cyclic scheduling.
Safety-critical applications have strict time and cost constrains, which means that not only faults have to be tolerated but also the constraints should be satisfied. Hence, efficient system design approaches with consideration of fault tolerance are required.
The thesis proposes several design optimization strategies and scheduling techniques that take fault tolerance into account. The design optimization tasks addressed include, among others, process mapping, fault tolerance policy assignment, and checkpoint distribution.
Dedicated scheduling techniques and mapping optimization strategies are also proposed to handle customized transparency requirements associated with processes and messages. By providing fault containment, transparency can, potentially, improve testability and debugability of fault-tolerant applications.
The efficiency of the proposed scheduling techniques and design optimization strategies is evaluated with extensive experiments conducted on a number of synthetic applications and a real-life example. The experimental results show that considering fault tolerance during system-level design optimization is essential when designing cost-effective fault-tolerant embedded systems.
Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2006. , 147 p.
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1277
Embedded systems, Real-Time systems, Design optimization, Fault tolerance, Transient faults, Soft errors
IdentifiersURN: urn:nbn:se:liu:diva-7654Local ID: LiU-Tek-Lic-2006:58ISBN: 91-85643-72-6OAI: oai:DiVA.org:liu-7654DiVA: diva2:22640
2006-11-15, Alan Turing, Hus E, Campus Valla, Linköpings universitet, Linköping, 13:15 (English)
Cervin, Anton, Dr.
Peng, Zebo, ProfessorEles, Petru, Professor