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 metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00650956
Contributor : Alain Griffault <>
Submitted on : Monday, December 12, 2011 - 3:21:51 PM
Last modification on : Sunday, March 15, 2020 - 10:08:03 AM
Document(s) archivé(s) le : Friday, November 16, 2012 - 3:15:29 PM

File

dx.pdf
Files produced by the author(s)

Identifiers

  • 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. DX 2011, Oct 2011, Murnau, Germany. pp.138-145. ⟨hal-00650956⟩

Share