• English
    • Türkçe
  • English 
    • English
    • Türkçe
  • Login
View Item 
  •   DSpace Home
  • 3. Mühendislik Fakültesi / Faculty of Engineering
  • Computer Engineering / Bilgisayar Mühendisliği
  • View Item
  •   DSpace Home
  • 3. Mühendislik Fakültesi / Faculty of Engineering
  • Computer Engineering / Bilgisayar Mühendisliği
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Realtime Access Map

Implementing fault-tolerance in real-time systems by automatic program transformations

Thumbnail
View/Open
Rapor (936.6Kb)
Date
2006-05
Author
Ayav, Tolga
Fradet, Pascal
Girault, Alain
Metadata
Show full item record
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
Collections
  • Computer Engineering / Bilgisayar Mühendisliği [191]
  • Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection [3276]


DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
Theme by 
@mire NV
 

 



| IZTECH OS Policy |
DSpace@IYTE Guide |

DSpace@IZTECH

by OpenAIRE
Advanced Search

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsTypeDepartmentPublisherCategoryLanguageAccess TypeIZTECH AuthorThis CollectionBy Issue DateAuthorsTitlesSubjectsTypeDepartmentPublisherCategoryLanguageAccess TypeIZTECH Author

My Account

LoginRegister

Statistics

View Usage Statistics

DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
Theme by 
@mire NV
 

 


|| IZTECH OS Policy || DSpace@IYTE Guide || Library || IYTE || OAI-PMH ||

IZTECH Library, Gülbahçe Kampüsü - 35430 - Urla, İzmir / TURKEY
If you find any errors in content, please contact: openaccess@iyte.edu.tr.

Creative Commons Lisansı
DSpace@IZTECH by IYTE Institutional repository is licensed under a Creative Commons Attribution-Gayriticari-NoDerivs 3.0 Unported License.

DSpace@IZTECH is member of: