Abstract: The invention provides a system and a method for verifying the robustness of a model of a physical system, the method comprising the following steps: defining a first model of the physical system comprising a set of components and at least one input interface for inserting input values, said first model being defined in a formal language describing the behavior and the function of each of said components; defining in the formal language a determined property that must be satisfied by the model of the physical system; defining in the formal language a second model corresponding to the first model and enriched by a fault injection mechanism; and using formal proof means to search automatically for a combination of injected faults and/or input values that causes said determined property to fail.

Abstract: In order to enable the information contained in an identification connector to be read in a manner that is more reliable, faster, and without risk of damage, the invention provides a reader appliance for reading identification connectors for airplane engines, the connector comprising a plurality of contacts connected to a decoding circuit, each contact corresponding to a binary digit, one or more of the binary digits corresponding to information relating to characteristics of the engine. The reader appliance comprises connection means suitable for receiving at least one identification connector, the connection means being connected to processor means responding to control members in order to display on a display device the information contained in the connector.

Abstract: The invention provides a system and a method for verifying the robustness of a model of a physical system, the method comprising the following steps: defining a first model of the physical system comprising a set of components and at least one input interface for inserting input values, said first model being defined in a formal language describing the behavior and the function of each of said components; defining in the formal language a determined property that must be satisfied by the model of the physical system; defining in the formal language a second model corresponding to the first model and enriched by a fault injection mechanism; and using formal proof means to search automatically for a combination of injected faults and/or input values that causes said determined property to fail.

Abstract: In order to enable the information contained in an identification connector to be read in a manner that is more reliable, faster, and without risk of damage, the invention provides a reader appliance for reading identification connectors for airplane engines, the connector comprising a plurality of contacts connected to a decoding circuit, each contact corresponding to a binary digit, one or more of the binary digits corresponding to information relating to characteristics of the engine. The reader appliance comprises connection means suitable for receiving at least one identification connector, the connection means being connected to processor means responding to control members in order to display on a display device the information contained in the connector.