Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2370
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAyav, Tolga-
dc.contributor.authorFradet, Pascal-
dc.contributor.authorGirault, Alain-
dc.date.accessioned2016-11-02T14:28:34Z
dc.date.available2016-11-02T14:28:34Z
dc.date.issued2008-07
dc.identifier.citationAyav, 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.1376813en_US
dc.identifier.issn1539-9087
dc.identifier.issn1539-9087-
dc.identifier.urihttp://doi.org/10.1145/1376804.1376813
dc.identifier.urihttp://hdl.handle.net/11147/2370
dc.description.abstractWe 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.en_US
dc.language.isoenen_US
dc.publisherAssociation for Computing Machinery (ACM)en_US
dc.relation.ispartofTransactions on Embedded Computing Systemsen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectQuality assuranceen_US
dc.subjectCheckpointingen_US
dc.subjectCorrectness proofsen_US
dc.subjectFault-toleranceen_US
dc.subjectHeartbeatingen_US
dc.subjectProgram transformationsen_US
dc.titleImplementing fault-tolerance in real-time programs by automatic program transformationsen_US
dc.typeArticleen_US
dc.authoridTR114453en_US
dc.institutionauthorAyav, Tolga-
dc.departmentİzmir Institute of Technology. Computer Engineeringen_US
dc.identifier.volume7en_US
dc.identifier.issue4en_US
dc.identifier.wosWOS:000259432400009en_US
dc.identifier.scopus2-s2.0-49449111374en_US
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1145/1376804.1376813-
dc.relation.doi10.1145/1376804.1376813en_US
dc.coverage.doi10.1145/1376804.1376813en_US
dc.identifier.wosqualityQ3-
dc.identifier.scopusqualityQ3-
item.grantfulltextopen-
item.openairetypeArticle-
item.languageiso639-1en-
item.cerifentitytypePublications-
item.fulltextWith Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
crisitem.author.dept03.04. Department of Computer Engineering-
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 simple item record



CORE Recommender

SCOPUSTM   
Citations

9
checked on Jul 13, 2024

WEB OF SCIENCETM
Citations

6
checked on Jun 29, 2024

Page view(s)

294
checked on Jul 15, 2024

Download(s)

146
checked on Jul 15, 2024

Google ScholarTM

Check




Altmetric


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