Research On Layered Refinement Development And Verification Method And Application Of Airborne Software

Aim to the airworthiness standards the DO-331 and the DO-333,this paper prposes a hierarchical refinement development and verification method of airborne software and forms a complete set of software development and verification process.The software products in the development process of this method are divided into requirements,design model,and source code.In order to reduce the development difficulty and decompose complex software,the design model adopts the way of refined development.The final refined model is obtained by refining the initial design model.The source code is obtained by automatic code generation,which can effectively reduce the workload of airborne software staff.In the verification stage,the design model is converted to a formal timed automata model for model verification.Finally,this method is practiced through an automatic flight control software case,and the development and verification process is reviewed according to airworthiness standards,indicating the effectiveness of this method.