Model-based diagnosis for avionics systems using minimal cuts - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

Model-based diagnosis for avionics systems using minimal cuts


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.


Fichier principal
Vignette du fichier
dx.pdf (168.77 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00650956 , version 1 (12-12-2011)


  • HAL Id : hal-00650956 , version 1


Fabien Kuntz, Stéphanie Gaudan, Christian Sannino, Éric Laurent, Alain Griffault, et al.. Model-based diagnosis for avionics systems using minimal cuts. DX 2011, Oct 2011, Murnau, Germany. pp.138-145. ⟨hal-00650956⟩


508 View
417 Download


Gmail Facebook Twitter LinkedIn More