Programmable electronic computer in an avionics environment for implementing at least one critical function and associated electronic device, method and computer program

A programmable electronic computer embedded in avionics on board an aircraft, the electronic computer configured to implement at least one critical function, wherein the electronic computer is configured to deliver at least one output data item associated with each critical function, and wherein the electronic computer comprises:

• at least one control module, wherein each control module is configured to implement a respective critical function and is configured to deliver at least one output data item associated with the critical function;
• and
• at least one monitoring module of a control module of another electronic computer, wherein each monitoring module is configured to implement the same respective critical function as the one implemented by the monitored control module;
• wherein each control module is configured to receive, from an associated monitoring module of another electronic computer, the result of implementing the corresponding critical function, and is configured to inhibit the delivery of the at least one associated output data item in the event of detection of an inconsistency between the result of its implementation of the respective critical function and that received from the monitoring module of the other electronic computer,
• wherein each monitoring module is configured to receive, from an associated control module of another electronic computer, the result of implementing the corresponding critical function, and is configured to inhibit the delivery, by the control module, of the at least one associated output data item in the event of detection of an inconsistency between the result of its implementation of the respective critical function and that received from the control module of the other electronic computer.