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

Paul Pop; Viacheslav Izosimov; Petru Eles; Zebo Peng

doi:10.1109/TVLSI.2008.2003166

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

Paul Pop, Viacheslav Izosimov, Petru Eles, Zebo Peng

Linköping University

Research output: Contribution to journal › Journal article › Research › peer-review

722 Downloads (Orbit)

Abstract

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.

Original language	English
Journal	I E E E Transactions on Very Large Scale Integration Systems
Volume	172
Issue number	3
Pages (from-to)	389-402
ISSN	1063-8210
DOIs	https://doi.org/10.1109/TVLSI.2008.2003166
Publication status	Published - 2009

Bibliographical 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

Access to Document

10.1109/TVLSI.2008.2003166

Pop vlsi08Final published version, 1.31 MB

OpenUrl availability

Full text

Cite this

@article{4f5dfc5ff7b34b2aa90b15f6be1d60b4,

title = "Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems with Checkpointing and Replication",

abstract = "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.",

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",

language = "English",

volume = "172",

pages = "389--402",

journal = "I E E E Transactions on Very Large Scale Integration Systems",

issn = "1063-8210",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "3",

}

TY - JOUR

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

AU - Pop, Paul

AU - Izosimov, Viacheslav

AU - Eles, Petru

AU - Peng, Zebo

N1 - 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

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

M3 - Journal article

SN - 1063-8210

VL - 172

SP - 389

EP - 402

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

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

IS - 3

ER -

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

Abstract

Bibliographical note

Access to Document

OpenUrl availability

Fingerprint

Cite this