DMCA
Synthesis of Fault-Tolerant Embedded Systems
| Citations: | 4 - 2 self |
BibTeX
@MISC{Eles_synthesisof,
author = {Petru Eles and Viacheslav Izosimov and Paul Pop and Zebo Peng},
title = {Synthesis of Fault-Tolerant Embedded Systems},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This work addresses the issue of design optimization for faulttolerant hard real-time systems. In particular, our focus is on the handling of transient faults using both checkpointing with rollback recovery and active replication. Fault tolerant schedules are generated based on a conditional process graph representation. The formulated system synthesis approaches decide 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, transparency requirements are considered, and the timing constraints of the application are satisfied. 1.
Keyphrases
fault-tolerant embedded system faulttolerant hard real-time system design optimization fault-tolerance policy rollback recovery optimal placement conditional process graph representation timing constraint transparency requirement fault tolerant schedule active replication transient fault formulated system synthesis approach multiple transient fault
