Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication
2006 (English)In: 3rd IEEE Intl. Workshop on Electronic Design, Test Applications DELTA,2006, Kuala Lumpur, Malaysia: IEEE Computer Society Press , 2006, 440- p.Conference paper (Refereed)
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replication for tolerating transient faults. Processes are statically scheduled and communications are performed using the time-triggered protocol. Our synthesis approach decides the assignment of fault-tolerance policies to processes, the optimal placement of checkpoints and the mapping of processes to processors such that transient faults are tolerated and the timing constraints of the application are satisfied. We present several synthesis algorithms which are able to find fault-tolerant implementations given a limited amount of resources. The developed algorithms are evaluated using extensive experiments, including a real-life example.
Place, publisher, year, edition, pages
Kuala Lumpur, Malaysia: IEEE Computer Society Press , 2006. 440- p.
real-time systems, fault tolerance, checkpointing, replication, optimization, scheduling, mapping, fault tolerance policy assignment
IdentifiersURN: urn:nbn:se:liu:diva-29656DOI: 10.1109/DELTA.2006.83Local ID: 15037ISBN: 0-7695-2500-8OAI: oai:DiVA.org:liu-29656DiVA: diva2:250473
3rd IEEE Intl. Workshop on Electronic Design, Test Applications DELTA,2006