Synthesis of fault-tolerant embedded systems with checkpointing and replication

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-tr...

Full description

Saved in:
Bibliographic Details
Main Authors: Izosimov, V., Pop, P., Eles, P., Zebo Peng
Format: Conference Proceeding
Language:English
Subjects:
Application software
Checkpointing
Computer science
Conferences
Datavetenskap
Electronic equipment testing
Embedded computing
Embedded system
fault tolerance
fault tolerance policy assignment
Fault tolerant systems
Information science
Information technology
Informationsteknik
mapping
optimization
real-time systems
replication
scheduling
System testing
TECHNOLOGY
TEKNIKVETENSKAP
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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
DOI:10.1109/DELTA.2006.83