Patent ID: 8457811

Claim:
A device for system diagnosis of an aircraft comprising equipment, said device comprising: means for the monitoring of the equipment and means for emitting messages of observations (O 1 , O 2 , . . . , O n ) on a basis of effects produced by equipment of the system; means for the determination of a set of observations (E obs ) on a basis of the messages of observations (O 1 , O 2 , . . . , O n ) arising from the means for the monitoring, of a log of the messages of observations (O 1 , O 2 , . . . , O n ) and of a model representing a current state of the system, said means for the determination of a set of observations (E obs ) implementing temporal logic; means for the determination of indictments on a basis of observations (O′ 1 , O′ 2 , . . . , O′ k ) of the set of observations (E obs ) and of a behavioural model of the system, the indictments being logical relations between operating modes of equipment having produced effects; means for the determination of maintenance operations on the basis of the indictments; and a model explorer for computing logical relations (LR 1 , LR 2 , . . . , LR k ) associated with the observations (O′ 1 , O′ 2 , . . . O′ k ) on a basis of the behavioural model of the system, the means for the determination of the indictments comprising means for the con'unction of the logical relations (LR 1 , LR 2 , . . . , LR k ), wherein the con'unction of the logical relations (LR 1 , LR 2 , . . . , LR k ) is carried out by means of a binary decision diagram and comprises: determination of a first binary decision diagram (BBD 1 , BBD 2 , . . . , BBDk) for each observation (O′ 1 , O′ 2 , . . . , O′k) of the set of observations (E obs ); computation of a second binary decision diagram (BDD′) by a conjunction operation on the first binary decision diagrams (BBD 1 , BBD 2 , . . . , BBDk); and computation of an indictment binary decision diagram by the development of the second binary decision diagram (BDD′).