FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1956927923> ?p ?o ?g. }

• W1956927923 endingPage "1729" @default.
• W1956927923 startingPage "1718" @default.
• W1956927923 abstract "Safety-relevant systems in the automotive domain often implement features such as lockstep execution for error detection, and reset and re-execution for error correction. Light-lockstep has already been adopted in some such systems due to its relatively low-implementation cost given that it does not require deep changes into nonlockstep hardware. Instead, as only off-core activities (i.e., data/addresses sent) need to be compared across different cores, light-lockstep designs are lowly intrusive. This approach has been proven sufficient to guarantee functional correctness of the system in the presence of errors in the cores, in particular in relation with certification against safety standards such as ISO26262 in the automotive domain. However, error detection in light-lockstep systems may occur long after the error actually occurs, thus jeopardizing timing guarantees, which are as critical as functional ones in hard real-time systems. In this paper, we analyze the timing behavior of errors due to transient and permanent faults in light-lockstep systems. Our results show that the time elapsed until an error is detected can be inordinately large, especially for permanent faults. Based on this observation and building upon the specific characteristics of light-lockstep systems, we propose lightly verbose (LiVe), a new mechanism to enforce the early detection of errors, due to both transient and permanent faults, thus enabling the computation of tight error detection timing bounds. We also analyze how existing mechanisms for error recovery in multicore systems increase their effectiveness when light-lockstep operates in LiVe mode in the context of mixed-criticality workloads." @default.
• W1956927923 created "2016-06-24" @default.
• W1956927923 creator A5020861175 @default.
• W1956927923 creator A5047492364 @default.
• W1956927923 date "2015-11-01" @default.
• W1956927923 modified "2023-09-29" @default.
• W1956927923 title "Timely Error Detection for Effective Recovery in Light-Lockstep Automotive Systems" @default.
• W1956927923 cites W1579215414 @default.
• W1956927923 cites W1595228467 @default.
• W1956927923 cites W1864485850 @default.
• W1956927923 cites W1935947664 @default.
• W1956927923 cites W1976924039 @default.
• W1956927923 cites W2025474944 @default.
• W1956927923 cites W2067452186 @default.
• W1956927923 cites W2089564137 @default.
• W1956927923 cites W2096847101 @default.
• W1956927923 cites W2117172651 @default.
• W1956927923 cites W2120185818 @default.
• W1956927923 cites W2145071552 @default.
• W1956927923 cites W2146763352 @default.
• W1956927923 cites W2146949636 @default.
• W1956927923 cites W2147206786 @default.
• W1956927923 cites W2153588082 @default.
• W1956927923 cites W2166987606 @default.
• W1956927923 cites W2543171663 @default.
• W1956927923 cites W29248510 @default.
• W1956927923 doi "https://doi.org/10.1109/tcad.2015.2434958" @default.
• W1956927923 hasPublicationYear "2015" @default.
• W1956927923 type Work @default.
• W1956927923 sameAs 1956927923 @default.
• W1956927923 citedByCount "22" @default.
• W1956927923 countsByYear W19569279232016 @default.
• W1956927923 countsByYear W19569279232017 @default.
• W1956927923 countsByYear W19569279232018 @default.
• W1956927923 countsByYear W19569279232019 @default.
• W1956927923 countsByYear W19569279232020 @default.
• W1956927923 countsByYear W19569279232021 @default.
• W1956927923 countsByYear W19569279232022 @default.
• W1956927923 countsByYear W19569279232023 @default.
• W1956927923 crossrefType "journal-article" @default.
• W1956927923 hasAuthorship W1956927923A5020861175 @default.
• W1956927923 hasAuthorship W1956927923A5047492364 @default.
• W1956927923 hasBestOaLocation W19569279232 @default.
• W1956927923 hasConcept C103088060 @default.
• W1956927923 hasConcept C106159729 @default.
• W1956927923 hasConcept C111919701 @default.
• W1956927923 hasConcept C11413529 @default.
• W1956927923 hasConcept C127413603 @default.
• W1956927923 hasConcept C146978453 @default.
• W1956927923 hasConcept C149635348 @default.
• W1956927923 hasConcept C151730666 @default.
• W1956927923 hasConcept C162324750 @default.
• W1956927923 hasConcept C173608175 @default.
• W1956927923 hasConcept C2779343474 @default.
• W1956927923 hasConcept C2779795794 @default.
• W1956927923 hasConcept C2780799671 @default.
• W1956927923 hasConcept C41008148 @default.
• W1956927923 hasConcept C526921623 @default.
• W1956927923 hasConcept C55439883 @default.
• W1956927923 hasConcept C78766204 @default.
• W1956927923 hasConcept C79403827 @default.
• W1956927923 hasConcept C86803240 @default.
• W1956927923 hasConceptScore W1956927923C103088060 @default.
• W1956927923 hasConceptScore W1956927923C106159729 @default.
• W1956927923 hasConceptScore W1956927923C111919701 @default.
• W1956927923 hasConceptScore W1956927923C11413529 @default.
• W1956927923 hasConceptScore W1956927923C127413603 @default.
• W1956927923 hasConceptScore W1956927923C146978453 @default.
• W1956927923 hasConceptScore W1956927923C149635348 @default.
• W1956927923 hasConceptScore W1956927923C151730666 @default.
• W1956927923 hasConceptScore W1956927923C162324750 @default.
• W1956927923 hasConceptScore W1956927923C173608175 @default.
• W1956927923 hasConceptScore W1956927923C2779343474 @default.
• W1956927923 hasConceptScore W1956927923C2779795794 @default.
• W1956927923 hasConceptScore W1956927923C2780799671 @default.
• W1956927923 hasConceptScore W1956927923C41008148 @default.
• W1956927923 hasConceptScore W1956927923C526921623 @default.
• W1956927923 hasConceptScore W1956927923C55439883 @default.
• W1956927923 hasConceptScore W1956927923C78766204 @default.
• W1956927923 hasConceptScore W1956927923C79403827 @default.
• W1956927923 hasConceptScore W1956927923C86803240 @default.
• W1956927923 hasIssue "11" @default.
• W1956927923 hasLocation W19569279231 @default.
• W1956927923 hasLocation W19569279232 @default.
• W1956927923 hasOpenAccess W1956927923 @default.
• W1956927923 hasPrimaryLocation W19569279231 @default.
• W1956927923 hasRelatedWork W1517743118 @default.
• W1956927923 hasRelatedWork W2015197026 @default.
• W1956927923 hasRelatedWork W2024218563 @default.
• W1956927923 hasRelatedWork W2072806201 @default.
• W1956927923 hasRelatedWork W2136568261 @default.
• W1956927923 hasRelatedWork W2281090687 @default.
• W1956927923 hasRelatedWork W2504945220 @default.
• W1956927923 hasRelatedWork W2748876531 @default.
• W1956927923 hasRelatedWork W2965845133 @default.
• W1956927923 hasRelatedWork W1670831115 @default.
• W1956927923 hasVolume "34" @default.
• W1956927923 isParatext "false" @default.

• next