Automated Freedom from Interference Analysis for Automotive Software - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Automated Freedom from Interference Analysis for Automotive Software

Florian Leitner-Fischer
  • Fonction : Auteur
  • PersonId : 989873
Stefan Leue
  • Fonction : Auteur
  • PersonId : 989874
Sirui Liu
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
CARS2016_paper_14.pdf (252.38 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01375597 , version 1 (03-10-2016)

Identifiants

  • HAL Id : hal-01375597 , version 1

Citer

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⟩

Collections

CARS2016
320 Consultations
2632 Téléchargements

Partager

More