A New Approach to Selectively Control Flow Checking Methods Compliant with ISO 26262

This paper presents an approach to selectively implementing Software-Based Hardware Fault Tolerance techniques, focusing on control flow error detection. Selecting the most suited Control Flow Checking (CFC) algorithms can be challenging: the literature gives little guidance on the practical implementation in high-level programming languages. Instead, they propose implementations in low-level programming languages, e.g., Assembly. We implemented manually two established CFC algorithms in applications written in C programming language, automatically generated by the Model-Based Software Design approach, as usually done in the automotive industry. The purpose of this paper is to verify their effectiveness in such scenario, thanks to experimental results compliant with the ISO26262 automotive functional safety standard.