Model-based diagnosis for avionics systems using minimal cuts

Abstract

International audienceIncreasing 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