Toward an Efficient Generation of ISO 26262 Automotive Safety Analyses

Abraham Cherfi 1
1 LIX, Ecole Polytechnique
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Résumé : La complexité et la criticité des systèmes électroniques embarqués automobiles est en augmentation constante. Un nouveau standard concernant la sûreté de fonctionnement automobile (ISO 26262) permet d'établir un cadre et de définir des exigences sur les systèmes concernés afin de garantir leur sécurité. Un des moyens permettant de vérifier la sûreté de ces systèmes consiste à effectuer des analyses dites de sureté de fonctionnement. Au cours de ces analyses, les praticiens effectuent des analyses de type FTA et FMEDA afin d’évaluer robustesse et la sûreté de ces systèmes. Lors de ces analyses, les praticiens manipulent une masse de données de plus en plus conséquente ; Ce qui a créé le besoin d’avoir un moyen de générer une partie de ces données efficacement et de vérifier leur cohérence. Dans ce manuscrit, nous détaillons les travaux que nous avons effectués sur ce sujet, en nous concentrant principalement sur la formalisation des données manipulées durant les analyses de sûreté de fonctionnement afin de proposer une méthode efficace pour leur génération. Nous y présentons les différents travaux réalisés, de la proposition de modèles formels pour la représentation du comportement dysfonctionnel « d’élément lié à la sûreté » à la conception et mise en œuvre d'un processus pour la génération de FMEDA cohérentes à partir d’arbres de défaillances.
Type de document :
Thèse
Computer Science [cs]. Ecole Doctorale Polytechnique, 2015. English
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal-polytechnique.archives-ouvertes.fr/tel-01206016
Contributeur : Abraham Cherfi <>
Soumis le : lundi 28 septembre 2015 - 12:18:10
Dernière modification le : jeudi 10 mai 2018 - 02:06:17
Document(s) archivé(s) le : mardi 29 décembre 2015 - 10:25:07

Identifiants

  • HAL Id : tel-01206016, version 1

Citation

Abraham Cherfi. Toward an Efficient Generation of ISO 26262 Automotive Safety Analyses. Computer Science [cs]. Ecole Doctorale Polytechnique, 2015. English. 〈tel-01206016〉

Partager

Métriques

Consultations de la notice

543

Téléchargements de fichiers

2976