Abstract: A computer for an aircraft includes a dock part installed fixedly in the aircraft: configured so as to be connected to at least one avionics equipment by way of a bidirectional data bus, comprising a docking station, a server part installed removably on the docking station of the dock part, configured so as to exchange data and signals with the dock part through a connector, and configured so as to be connected to at least one non-avionics equipment through at least one communications link, the dock part being configured so as to implement a pairing mechanism with the server part in order to authorize or prevent the transmission of data between the server part and said at least one avionics equipment.

Abstract: A method for analyzing dysfunctions of an embedded system including a phase for modeling this system and an analysis phase, the modeling phase including defining a set of resources, a set of services, a set of statuses and at least one rule for the acquisition of a status by a resource or by a service, the analysis phase including configuring the analysis including marking a marked event and analyzing acquisition rules to determine a set of basic events and conditions for the appearance thereof, leading to the appearance of the marked basic event.

Abstract: A method and a device for measuring the performance of a diagnoser of a system under diagnosis, which comprises a knowledge base comprising a set of failures of the system, of effects observed and of relations between failures and effects observed, and an algorithmic core. The method comprises a step of calculating a specific detection rate and a specific location rate for the knowledge base, respectively referred to as expected detection rate and expected location rate. It also comprises a step of calculating a specific detection rate and a specific location rate for the set consisting of knowledge base and algorithmic core, respectively referred to as detection rate obtained and location rate obtained; and a step of calculating the performance of the diagnoser as a function of the expected and obtained detection rates and of the expected and obtained location rates.

Abstract: A method for analyzing dysfunctions of an embedded system including a phase for modeling this system and an analysis phase, the modeling phase including defining a set of resources, a set of services, a set of statuses and at least one rule for the acquisition of a status by a resource or by a service, the analysis phase including configuring the analysis including marking a marked event and analyzing acquisition rules to determine a set of basic events and conditions for the appearance thereof, leading to the appearance of the marked basic event.

Abstract: A method for determining diagnoses for a system having a plurality of pieces of equipment, the equipment being adapted to transmit signals indicating its operating state, includes the following steps: acquiring observations based on signals transmitted by the equipment of the system under diagnosis, and determining a global situation based on the acquired observations and predetermined failure trees associated with these observations, wherein a failure tree describes the relations between an observation and root causes, and a root cause indicates a failure in a piece of equipment; determining connected situations, a connected situation being a set of observations which, when considered in pairs, have at least one common root cause in their failure tree; determining partial diagnoses on the basis of each of the connected situations, the diagnoses including root causes associated with observations signalling a failure; and, displaying the diagnoses.