Enhanced compiler technology for software-based hardware fault detection

D Baroffio, F Reghenzani, W Fornaciari - ACM Transactions on Design …, 2024 - dl.acm.org
Software-Implemented Hardware Fault Tolerance (SIHFT) is a modern approach for tackling
random hardware faults of dependable systems employing solely software solutions. This …

Dependability in embedded systems: a survey of fault tolerance methods and software-based mitigation techniques

MA Solouki, S Angizi, M Violante - IEEE Access, 2024 - ieeexplore.ieee.org
Fault tolerance is a critical aspect of modern computing systems, ensuring correct
functionality in the presence of faults. This paper presents a comprehensive survey of fault …

Software countermeasures against the multiple instructions skip fault model

V Khuat, JM Dutertre, JL Danger - Microelectronics Reliability, 2024 - Elsevier
In this work, we proposed two software countermeasures (CMs) for the detection of multiple
instructions skips caused by Fault Injection (FI). The first CM is based on code duplication …

An experimental evaluation of control flow checking for automotive embedded applications compliant with iso 26262

MA Solouki, J Sini, M Violante - IEEE Access, 2023 - ieeexplore.ieee.org
Random hardware failures (RHFs) may result in data corruption and Control Flow Errors
(CFEs). Hardening strategies are employed to mitigate RHFs in embedded systems, either …

Compasec: a compiler-assisted security countermeasure to address instruction skip fault attacks on risc-v

J Geier, L Auer, D Mueller-Gritschneder… - Proceedings of the 28th …, 2023 - dl.acm.org
Fault-injection attacks are a risk for any computing system executing security-relevant tasks,
such as a secure boot process. While hardware-based countermeasures to these invasive …

[HTML][HTML] Implementation of control flow checking—a new perspective adopting model-based software design

M Amel Solouki, J Sini, M Violante - Electronics, 2022 - mdpi.com
A common requirement of embedded software in charge of safety tasks is to guarantee the
identification of random hardware failures (RHFs) that can affect digital components. RHFs …

Utilizing parity checking to optimize soft error detection through low-level reexecution

B De Blaere, J Vankeirsbilck… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
Higher component density, lower voltage levels, and higher transistor counts increase
programmable systems' susceptibility to transient faults. At the same time, the adoption of …

Repair: Control flow protection based on register pairing updates for sw-implemented hw fault tolerance

U Sharif, D Mueller-Gritschneder… - ACM Transactions on …, 2021 - dl.acm.org
Safety-critical embedded systems may either use specialized hardware or rely on Software-
Implemented Hardware Fault Tolerance (SIHFT) to meet soft error resilience requirements …

Hybrid technique for soft error detection in dependable embedded software: a first experiment

VB Thati, J Vankeirsbilck, D Pissoort… - 2019 IEEE XXVIII …, 2019 - ieeexplore.ieee.org
Embedded systems' hardware can be impacted by soft errors, which causes either a data
flow error or a control flow error in the systems' software. To counter such errors, numerous …

Novel control flow checking implementations for automotive software

F Cosimi, J Sini, A Arena… - 2023 19th International …, 2023 - ieeexplore.ieee.org
Safety-critical applications shall be implemented on highly dependable systems, and a part
of their reliability is based on checking if the software is executed correctly. Various …