Model-based diagnosis for avionics systems using minimal cuts

Abstract : Increasing complexity of avionics systems leads to reconsider methods that are used today to diagnose system failures. In addition, the size of avionics systems is an important characteristic to consider and that narrows the possible methods we can use to diagnose our systems. Therefore we need to work both on the mastery of the avionics system size and on the improvement of actual diagnostic techniques. In parallel, problems of diagnosis and safety analysis for avionics context have a lot of common points. Here, we use safety analysis experience to set up a diagnostic method and try to get it close to methods used in safety analysis. This paper presents how we use model-based reasoning, rule-based reasoning and safety particular techniques to set up an automated diagnosis solution. It gives a feedback on the use of minimal cuts to diagnose large industrial systems.
keyword : AltaRica Diagnosis
Type de document :
Communication dans un congrès
Martin Sachenbacher and Oskar Dressler and Michael Hofbaur. DX 2011, Oct 2011, Murnau, Germany. pp.138-145, 2011
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00650956
Contributeur : Alain Griffault <>
Soumis le : lundi 12 décembre 2011 - 15:21:51
Dernière modification le : jeudi 11 janvier 2018 - 06:20:16
Document(s) archivé(s) le : vendredi 16 novembre 2012 - 15:15:29

Fichier

dx.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00650956, version 1

Collections

Citation

Fabien Kuntz, Stéphanie Gaudan, Christian Sannino, Éric Laurent, Alain Griffault, et al.. Model-based diagnosis for avionics systems using minimal cuts. Martin Sachenbacher and Oskar Dressler and Michael Hofbaur. DX 2011, Oct 2011, Murnau, Germany. pp.138-145, 2011. 〈hal-00650956〉

Partager

Métriques

Consultations de la notice

715

Téléchargements de fichiers

495