The veriifcation of aeronautic air-borne software mainly relies on the hardware-in-loop (HIL) real time simulation platform, which has disadvantages of long development cycle and high cost. In this case, in order to verify the software in a fast and low-cost way dur-ing the early stage of airborne software design, a software veriifcation solution based on full digital simulation is pre-sented and the aeroengine bleed air control system is used as an example to valid the effectiveness of this solution. The practical simulation results illustrate that this solution can configure test cases easily and observe the simula-tion results visually, which provides an efifcient means to verify the aeronautic airborne software in an iterative way.%航空机载软件一般依靠硬件在环实时仿真平台进行软件验证，存在周期长、成本高等缺点。为了在设计初期快速、低成本地验证软件的正确性，提出了一种基于全数字仿真的软件验证方案，并以航空发动机引气控制系统为例验证这种方案的有效性。实际验证表明，该方案的测试用例配置方便且测试结果形象直观，为航空机载软件迭代验证提供了一种快捷的手段。
展开▼
