Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems with Checkpointing and Replication

Publication: Research - peer-reviewJournal article – Annual report year: 2009

Standard

Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems with Checkpointing and Replication. / Pop, Paul; Izosimov, Viacheslav; Eles, Petru; Peng, Zebo.

In: I E E E Transactions on Very Large Scale Integration Systems, Vol. 172, No. 3, 2009, p. 389-402.

Publication: Research - peer-reviewJournal article – Annual report year: 2009

Harvard

APA

CBE

MLA

Vancouver

Author

Pop, Paul; Izosimov, Viacheslav; Eles, Petru; Peng, Zebo / Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems with Checkpointing and Replication.

In: I E E E Transactions on Very Large Scale Integration Systems, Vol. 172, No. 3, 2009, p. 389-402.

Publication: Research - peer-reviewJournal article – Annual report year: 2009

Bibtex

@article{4f5dfc5ff7b34b2aa90b15f6be1d60b4,
title = "Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems with Checkpointing and Replication",
publisher = "I E E E",
author = "Paul Pop and Viacheslav Izosimov and Petru Eles and Zebo Peng",
note = "Copyright: 2009 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE",
year = "2009",
doi = "10.1109/TVLSI.2008.2003166",
volume = "172",
number = "3",
pages = "389--402",
journal = "I E E E Transactions on Very Large Scale Integration Systems",
issn = "1063-8210",

}

RIS

TY - JOUR

T1 - Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems with Checkpointing and Replication

A1 - Pop,Paul

A1 - Izosimov,Viacheslav

A1 - Eles,Petru

A1 - Peng,Zebo

AU - Pop,Paul

AU - Izosimov,Viacheslav

AU - Eles,Petru

AU - Peng,Zebo

PB - I E E E

PY - 2009

Y1 - 2009

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

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

U2 - 10.1109/TVLSI.2008.2003166

DO - 10.1109/TVLSI.2008.2003166

JO - I E E E Transactions on Very Large Scale Integration Systems

JF - I E E E Transactions on Very Large Scale Integration Systems

SN - 1063-8210

IS - 3

VL - 172

SP - 389

EP - 402

ER -