Journal article
Design Optimization of Time- and Cost-Constrained 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 and communications are statically scheduled. 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 multiple transient faults are tolerated and the timing constraints of the application are satisfied.
We present several design optimization approaches 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.
Language: | English |
---|---|
Publisher: | IEEE |
Year: | 2009 |
Pages: | 389-402 |
ISSN: | 15579999 and 10638210 |
Types: | Journal article |
DOI: | 10.1109/TVLSI.2008.2003166 |
ORCIDs: | Pop, Paul |
Checkpointing Design optimization Electromagnetic transients Embedded system Fault tolerance Fault tolerant systems Hardware Processor scheduling Real time systems Timing active replication checkpointing embedded systems fault tolerance fault tolerant computing microprocessor chips processor scheduling real time systems real-time systems redundancy rollback recovery transient faults