Details
Presenter(s)
![Jacopo Sini Headshot](https://confcats-catavault.s3.amazonaws.com/CATAVault/ieeecass/master/files/styles/cc_user_photo/s3/user-pictures/61722.jpg?h=fbf7a813&itok=By8KchEz)
Display Name
Jacopo Sini
- Affiliation
- Country
Abstract
Many software-implemented control flow error detection techniques have been proposed over the years. However, applying these approaches can be difficult because their respective literature gives little guidance on the practical implementation different from the assembly. The current trend in the automotive industry is to adopt Model-Based Software Design, where models are translated to C/C++. This paper presents experimental data, compliant with the ISO26262 automotive functional safety standard, on the capabilities of Control Flow Checking (CFC) algorithms, implemented in the model and then automatically generated. The assessment was performed using a novel fault injection environment targeting a RISC-V (RV32I) microcontroller.