DECO: Optimizing Software-based Soft-Error Detector Configurations

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Abstract

Soft errors are a threat to all kinds of software-controlled electronic devices and can cause silent data corruptions (SDCs). Software-based error detectors are a well-studied class of countermeasures, for example in the form of executable assertions that check application-specific invariants at runtime. These detectors must be – manually or automatically – placed at strategic positions in the software stack and trigger a transition to a safe system state, e.g. by rebooting. Although detectors can significantly reduce the occurrence of SDCs in the checked program state, they also increase the runtime of the program – and thus the figurative “attack surface” of the remaining program state, making more SDCs possible there. In light of this tradeoff, the SDC rate is minimal for a specific detector configuration enabling a subset of all detectors.In this paper, we investigate this tradeoff also for scenarios where enumerating and evaluating all detector configurations is infeasible. Exploiting compositionality properties of fault-injection results of program partitions, we propose a method to calculate SDC counts for unknown configurations. Based on this method, we formulate an integer-linear program that allows quickly finding an optimal solution. An evaluation with pre-existing executable assertions in FreeRTOS and eCos demonstrates applicability and accuracy in real-world use-case scenarios.

Details

OriginalspracheEnglisch
TitelProceedings - 2022 18th European Dependable Computing Conference, EDCC 2022
Herausgeber (Verlag)IEEE Xplore
Seiten73-80
Seitenumfang8
ISBN (elektronisch)9781665474023
ISBN (Print)978-1-6654-7403-0
PublikationsstatusVeröffentlicht - 15 Sept. 2022
Peer-Review-StatusJa

Konferenz

Titel2022 18th European Dependable Computing Conference
KurztitelEDCC 2022
Veranstaltungsnummer18
Dauer12 - 15 September 2022
Webseite
OrtUniversity of Zaragoza
StadtZaragoza
LandSpanien

Externe IDs

Scopus 85142538953
ORCID /0000-0002-1427-9343/work/142254573

Schlagworte

Schlagwörter

  • Runtime, Full stack, Europe, Detectors, Electronic countermeasures