Authors
Paul Pop, Viacheslav Izosimov, Petru Eles, Zebo Peng
Publication date
2009/1/20
Journal
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Volume
17
Issue
3
Pages
389-402
Publisher
IEEE
Description
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.
Total citations
Scholar articles
P Pop, V Izosimov, P Eles, Z Peng - IEEE Transactions on Very Large Scale Integration …, 2009