Study on Formal Methods Application in Airborne Electronic Hardware Design

To face the safety and certification challenges comparing the use of increasingly complex electronic hardware in the safety critical aircraft system, the authorities recognize the formal methods as an advanced verification method to minimize the design errors. This paper discusses the utilization of formal methods in verification of the airborne electronic hardware. It gives a general introduction of airworthiness requirements for airborne electronic hardware, and then takes an overview of formal methods. After that, this paper explains the application of formal methods in airborne electronic hardware though requirements definition process, verification process and Implementation process.