Précédent : Avionique Modulaire Remonter : Actions industrielles Suivant : Contrôle-commande dans une centrale nucléaire

Avionique Temps Réel Tolérante aux Fautes

Participants : Emmanuelle Anceaume, Gérard Le Lann, Pascale Minet Dans le cadre du programme GENIE (MENESR, Dassault Aviation) nous avons analysé les propriétés de tolérance aux fautes du système atterrisseur du RAFALE. Cette analyse a été conduite selon la méthode TRDF. Notre travail a consisté tout d'abord à énoncer de façon non ambiguë le problème applicatif posé, lequel est caractérisé par des propriétés de fiabilité et de disponibilité et des hypothèses sous lesquelles on doit obtenir ces propriétés. Le problème informatique posé étant connu, nous avons examiné deux solutions proposées par Dassault Aviation. Une solution, en Génie Système, est une spécification d'architecture et d'algorithmes qui déterminent le comportement de l'architecture. Il a été montré qu'une des solutions n'est pas acceptable. L'étude (Génie phase 1) devrait être poursuivie afin de conclure à propos de l'autre solution.