Skip to main content
Video s3
    Details
    Presenter(s)
    Jacopo Sini Headshot
    Display Name
    Jacopo Sini
    Affiliation
    Country
    Author(s)
    Affiliation
    Affiliation
    Politecnico di Torino
    Display Name
    Jacopo Sini
    Affiliation
    Display Name
    Massimo Violante
    Affiliation
    Affiliation
    Politecnico di Torino
    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.

    Slides
    • Effectiveness of Control Flow Checking Algorithms Using a Model-Based Software Design Approach: an Empirical Study (application/pdf)