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

256
checked on Mar 25, 2024

Download(s)

194
checked on Mar 25, 2024

Google ScholarTM

Check





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