Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2370
Title: Implementing fault-tolerance in real-time programs by automatic program transformations
Authors: Ayav, Tolga
Fradet, Pascal
Girault, Alain
Keywords: Quality assurance
Checkpointing
Correctness proofs
Fault-tolerance
Heartbeating
Program transformations
Issue Date: Jul-2008
Publisher: Association for Computing Machinery (ACM)
Source: Ayav, T., Fradet, P., and Girault, A. (2008). Implementing fault-tolerance in real-time programs by automatic program transformations. Transactions on Embedded Computing Systems, 7(4), doi:10.1145/1376804.1376813
Abstract: We present a formal approach to implement fault-tolerance in real-time embedded systems. The initial fault-intolerant system consists of a set of independent periodic tasks scheduled onto a set of fail-silent processors connected by a reliable communication network. We transform the tasks such that, assuming the availability of an additional spare processor, the system tolerates one failure at a time (transient or permanent). Failure detection is implemented using heartbeating, and failure masking using checkpointing and rollback. These techniques are described and implemented by automatic program transformations on the tasks' programs. The proposed formal approach to fault-tolerance by program transformations highlights the benefits of separation of concerns. It allows us to establish correctness properties and to compute optimal values of parameters to minimize fault-tolerance overhead. We also present an implementation of our method, to demonstrate its feasibility and its efficiency.
URI: http://doi.org/10.1145/1376804.1376813
http://hdl.handle.net/11147/2370
ISSN: 1539-9087
1539-9087
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection

Files in This Item:
File Description SizeFormat 
2370.pdfMakale1.11 MBAdobe PDFThumbnail
View/Open
Show full item record

CORE Recommender

SCOPUSTM   
Citations

9
checked on Sep 24, 2022

WEB OF SCIENCETM
Citations

6
checked on Sep 24, 2022

Page view(s)

122
checked on Sep 26, 2022

Download(s)

88
checked on Sep 26, 2022

Google ScholarTM

Check

Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.