Automated Freedom from Interference Analysis for Automotive Software

Florian Leitner-Fischer (1) , Stefan Leue (2) , Sirui Liu (2)

1 ZF TRW
2 University of Konstanz

Freedom from Interference for automotive software systems developed according to the ISO 26262 standard means that a fault in a less safety critical software component will not lead to a fault in a more safety critical component. It is an important concern in the realm of functional safety for automotive systems. We present an automated method for the analysis of concurrency-related interferences based on the QuantUM approach and tool that we have previously developed. We illustrate the proposed analysis using the case study of an airbag system.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Florian Leitner-Fischer, Stefan Leue, Sirui Liu. Automated Freedom from Interference Analysis for Automotive Software. CARS 2016 - 4th International Workshop on Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden. ⟨hal-01375597⟩