Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2555
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAyav, Tolga-
dc.contributor.authorFradet, Pascal-
dc.contributor.authorGirault, Alain-
dc.date.accessioned2016-11-30T14:21:40Z
dc.date.available2016-11-30T14:21:40Z
dc.date.issued2006-05
dc.identifier.issn0249-6399
dc.identifier.issn0249-6399-
dc.identifier.urihttp://hdl.handle.net/11147/2555
dc.description.abstractWe 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.en_US
dc.language.isoenen_US
dc.publisherAssociation for Computing Machinery (ACM)en_US
dc.relation.ispartof6th ACM & IEEE International conference on Embedded software, EMSOFT 2006en_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectFault-toleranceen_US
dc.subjectHeartbeatingen_US
dc.subjectProgram transformationen_US
dc.subjectCheckpointingen_US
dc.subjectCorrectness proofsen_US
dc.titleImplementing fault-tolerance in real-time systems by automatic program transformationsen_US
dc.title.alternativeMise en oeuvre de la tolerance aux fautes par transformation de programmeen_US
dc.typeReporten_US
dc.authoridTR114453en_US
dc.institutionauthorAyav, Tolga-
dc.departmentIzmir Institute of Technology. Computer Engineeringen_US
dc.relation.publicationcategoryDiğeren_US
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeReport-
item.fulltextWith Fulltext-
item.cerifentitytypePublications-
item.grantfulltextopen-
item.languageiso639-1en-
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
Files in This Item:
File Description SizeFormat 
2555.pdfRapor936.62 kBAdobe PDFThumbnail
View/Open
Show simple item record

CORE Recommender

Page view(s)

124
checked on Nov 28, 2022

Download(s)

108
checked on Nov 28, 2022

Google ScholarTM

Check


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