Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness

Schuster S, Ulbrich P, Stilkerich I, Dietrich C, Schröder-Preikschat W (2017)

Publication Language: English

Publication Type: Journal article, Original article

Publication year: 2017

Journal

ACM Transactions on Embedded Computing Systems Association for Computing Machinery (ACM)

Publisher: ACM

Edited Volumes: Issue 5s

Series: ACM Transactions on Embedded Computing Systems (TECS)

City/Town: New York, NY, USA

Book Volume: 16

Pages Range: 180:1-180:19

Article Number: 180

Journal Issue: 5s

URI: http://doi.acm.org/10.1145/3126503

DOI: 10.1145/3126503

Abstract

Soft errors are a challenging and urging problem in the domain of safety-critical embedded systems. For decades, checking schemes have been investigated and improved to mitigate soft-error effects for the class of control-flow faults, with current industrial standards strongly recommending their use. However, reality looks different: Taking a systems perspective, we implemented four representative Control-Flow Checking (CFC) schemes and put them through their paces in 396 fault-injection campaigns. In contrast to previous work, which typically relied on probability-based vulnerability metrics, we accounted for the influence of memory and time overheads on the fault-space dimensions and applied those in full-scan fault injections. This change in procedure alone severely degraded the perceived effectiveness of CFC. In addition, we expanded the perspective to data-flow faults and their influence on the overall susceptibility, an aspect that so far has been largely ignored. Our results suggest that, without accompanying measures, any improvement regarding control-flow faults is dominated by the increase in data faults caused by the increased attack surface in terms of memory and runtime overhead. Moreover, CFC performance less depended on the detection capabilities than on general aspects of the concrete binary compilation and execution. In conclusion, incorporating CFC is not as straightforward as often assumed and the vulnerability of systems with hardened control-flow may in many cases even be increased by the schemes themselves.

Authors with CRIS profile

Peter Ulbrich Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Wolfgang Schröder-Preikschat Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

Related research project(s)

Invasive Run-Time Support System (iRTSS) (C01) (SFB/TRR 89 InvasIC (C01)) DFG SFB/Transregio 89 "Invasive Computing" (TRR 89) July 1, 2010 - June 30, 2022 Aspect-Oriented Real-Time Architectures (Phase 2) (AORTA) Aug. 1, 2017 - Sept. 30, 2020 Adaptive Responsive Embedded Systems (ESI 2) (ARES) ESI-Anwendungszentrum für die digitale Automatisierung, den digitalen Sport und die Automobilsensorik der Zukunft Jan. 1, 2010 - Dec. 31, 2018

Involved external institutions

Schaeffler Technologies AG & Co. KG DE Germany (DE) Gottfried Wilhelm Leibniz Universität Hannover DE Germany (DE)

How to cite

APA:

Schuster, S., Ulbrich, P., Stilkerich, I., Dietrich, C., & Schröder-Preikschat, W. (2017). Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness. ACM Transactions on Embedded Computing Systems, 16(5s), 180:1-180:19. https://dx.doi.org/10.1145/3126503

MLA:

Schuster, Simon, et al. "Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness." ACM Transactions on Embedded Computing Systems 16.5s (2017): 180:1-180:19.

BibTeX: Download