HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

Contributor : Alain Griffault Connect in order to contact the contributor
Submitted on : Monday, December 12, 2011 - 3:21:51 PM
Last modification on : Monday, December 20, 2021 - 4:50:11 PM
Long-term archiving on: : Friday, November 16, 2012 - 3:15:29 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads