Linköping University: Students Alumni Trade and Industry/Society Internal Search
petel_date08

Synthesis of Fault-Tolerant Embedded Systems

Petru Eles Author homepage
 
Viacheslav Izosimov
Paul Pop
 
Zebo Peng Author homepage

Design, Automation, and Test in Europe (DATE 2008), Munich, Germany, March 10-14, 2008, pp. 1117-1122.

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.


Related files:
petel_date08.PDF


[EIPP08] Petru Eles, Viacheslav Izosimov, Paul Pop, Zebo Peng, "Synthesis of Fault-Tolerant Embedded Systems", Design, Automation, and Test in Europe (DATE 2008), Munich, Germany, March 10-14, 2008, pp. 1117-1122.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)