Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2555
Title: Implementing fault-tolerance in real-time systems by automatic program transformations
Other Titles: Mise en oeuvre de la tolerance aux fautes par transformation de programme
Authors: Ayav, Tolga
Fradet, Pascal
Girault, Alain
Keywords: Fault-tolerance
Heartbeating
Program transformation
Checkpointing
Correctness proofs
Issue Date: May-2006
Publisher: Association for Computing Machinery (ACM)
Abstract: We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The fault-intolerant initial system consists of a set of independent periodic tasks scheduled onto a set of fail-silent processors. 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 roll-back. These techniques are described and implemented by automatic program transformations on the tasks' programs. The proposed formal approach to fault-tolerance by program transformation highlights the benefits of separation of concerns and allows us to establish correctness properties.
URI: http://hdl.handle.net/11147/2555
ISSN: 0249-6399
0249-6399
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

Files in This Item:
File Description SizeFormat 
2555.pdfRapor936.62 kBAdobe PDFThumbnail
View/Open
Show full item record

CORE Recommender

Page view(s)

102
checked on Sep 26, 2022

Download(s)

90
checked on Sep 26, 2022

Google ScholarTM

Check


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