Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076167568> ?p ?o ?g. }
- W2076167568 endingPage "43" @default.
- W2076167568 startingPage "1" @default.
- W2076167568 abstract "We 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." @default.
- W2076167568 created "2016-06-24" @default.
- W2076167568 creator A5020402638 @default.
- W2076167568 creator A5037942033 @default.
- W2076167568 creator A5039050781 @default.
- W2076167568 date "2008-07-01" @default.
- W2076167568 modified "2023-09-26" @default.
- W2076167568 title "Implementing fault-tolerance in real-time programs by automatic program transformations" @default.
- W2076167568 cites W1563826489 @default.
- W2076167568 cites W1595437973 @default.
- W2076167568 cites W1884441681 @default.
- W2076167568 cites W1887999040 @default.
- W2076167568 cites W1979349468 @default.
- W2076167568 cites W1996431954 @default.
- W2076167568 cites W2035362408 @default.
- W2076167568 cites W2042851811 @default.
- W2076167568 cites W2050622042 @default.
- W2076167568 cites W2097833816 @default.
- W2076167568 cites W2108534761 @default.
- W2076167568 cites W2109488193 @default.
- W2076167568 cites W2111206806 @default.
- W2076167568 cites W2116314988 @default.
- W2076167568 cites W2133943294 @default.
- W2076167568 cites W2145071552 @default.
- W2076167568 cites W2156289440 @default.
- W2076167568 cites W2162561614 @default.
- W2076167568 doi "https://doi.org/10.1145/1376804.1376813" @default.
- W2076167568 hasPublicationYear "2008" @default.
- W2076167568 type Work @default.
- W2076167568 sameAs 2076167568 @default.
- W2076167568 citedByCount "11" @default.
- W2076167568 countsByYear W20761675682012 @default.
- W2076167568 countsByYear W20761675682013 @default.
- W2076167568 countsByYear W20761675682016 @default.
- W2076167568 crossrefType "journal-article" @default.
- W2076167568 hasAuthorship W2076167568A5020402638 @default.
- W2076167568 hasAuthorship W2076167568A5037942033 @default.
- W2076167568 hasAuthorship W2076167568A5039050781 @default.
- W2076167568 hasBestOaLocation W20761675682 @default.
- W2076167568 hasConcept C11413529 @default.
- W2076167568 hasConcept C120314980 @default.
- W2076167568 hasConcept C127413603 @default.
- W2076167568 hasConcept C142362112 @default.
- W2076167568 hasConcept C144133560 @default.
- W2076167568 hasConcept C149635348 @default.
- W2076167568 hasConcept C153349607 @default.
- W2076167568 hasConcept C162853370 @default.
- W2076167568 hasConcept C174220543 @default.
- W2076167568 hasConcept C177264268 @default.
- W2076167568 hasConcept C194648553 @default.
- W2076167568 hasConcept C199360897 @default.
- W2076167568 hasConcept C200601418 @default.
- W2076167568 hasConcept C2777402240 @default.
- W2076167568 hasConcept C2779960059 @default.
- W2076167568 hasConcept C41008148 @default.
- W2076167568 hasConcept C50712370 @default.
- W2076167568 hasConcept C55439883 @default.
- W2076167568 hasConcept C63540848 @default.
- W2076167568 hasConcept C75949130 @default.
- W2076167568 hasConcept C79403827 @default.
- W2076167568 hasConceptScore W2076167568C11413529 @default.
- W2076167568 hasConceptScore W2076167568C120314980 @default.
- W2076167568 hasConceptScore W2076167568C127413603 @default.
- W2076167568 hasConceptScore W2076167568C142362112 @default.
- W2076167568 hasConceptScore W2076167568C144133560 @default.
- W2076167568 hasConceptScore W2076167568C149635348 @default.
- W2076167568 hasConceptScore W2076167568C153349607 @default.
- W2076167568 hasConceptScore W2076167568C162853370 @default.
- W2076167568 hasConceptScore W2076167568C174220543 @default.
- W2076167568 hasConceptScore W2076167568C177264268 @default.
- W2076167568 hasConceptScore W2076167568C194648553 @default.
- W2076167568 hasConceptScore W2076167568C199360897 @default.
- W2076167568 hasConceptScore W2076167568C200601418 @default.
- W2076167568 hasConceptScore W2076167568C2777402240 @default.
- W2076167568 hasConceptScore W2076167568C2779960059 @default.
- W2076167568 hasConceptScore W2076167568C41008148 @default.
- W2076167568 hasConceptScore W2076167568C50712370 @default.
- W2076167568 hasConceptScore W2076167568C55439883 @default.
- W2076167568 hasConceptScore W2076167568C63540848 @default.
- W2076167568 hasConceptScore W2076167568C75949130 @default.
- W2076167568 hasConceptScore W2076167568C79403827 @default.
- W2076167568 hasIssue "4" @default.
- W2076167568 hasLocation W20761675681 @default.
- W2076167568 hasLocation W20761675682 @default.
- W2076167568 hasOpenAccess W2076167568 @default.
- W2076167568 hasPrimaryLocation W20761675681 @default.
- W2076167568 hasRelatedWork W1512124083 @default.
- W2076167568 hasRelatedWork W1580237945 @default.
- W2076167568 hasRelatedWork W1974111325 @default.
- W2076167568 hasRelatedWork W2076167568 @default.
- W2076167568 hasRelatedWork W2118002986 @default.
- W2076167568 hasRelatedWork W2170821048 @default.
- W2076167568 hasRelatedWork W2343564556 @default.
- W2076167568 hasRelatedWork W2371571743 @default.
- W2076167568 hasRelatedWork W2391167130 @default.
- W2076167568 hasRelatedWork W4242263690 @default.
- W2076167568 hasVolume "7" @default.
- W2076167568 isParatext "false" @default.