机载大规模复杂系统软件开发技术研究  

Research on software development technology for large-scale complex airborne system

作　　者：李红军[1] 牟明[2] 崔西宁[2] LI Hongjun;MU Ming;CUI Xining(Military Representative Office of PLA Stationed in AVIC 631 Research Institute,Xi’an 710065,China;AVIC Xi’an Aeronautic Computing Technique Research Institute,Xi’an 710065,China)

机构地区：[1]中国人民解放军驻六三一所军事代表室,陕西西安710065 [2]中航工业西安航空计算技术研究所,陕西西安710065

出　　处：《现代电子技术》2019年第5期111-114,共4页Modern Electronics Technique

基　　金：国家重大专项基金(2012ZX01041-006);国家航空科学基金资助项目(2013ZC31003)资助~~

摘　　要：针对综合模块化航空电子系统中机载软件规模、复杂度大幅上升的趋势,对传统机载软件研制方法不能满足机载大规模复杂软件研制的问题进行了分析。针对机载综合化大规模软件,为解决软件的可信性、确定性、健壮性和连续性,提出"需求管理、模型开发、仿真验证、产品复用、工具支撑、过程管理"为核心的软件开发方法。经过国产机载嵌入式操作系统等机载大规模软件研制实践,可有效提高软件研制质量。该方法对同等软件的研制具有极强的参考价值。The problem that the traditional airborne software development method can′t satisfy the large.scale complex airborne software development due to the upward tendency of airborne software scale and complexity of integrated modular avionics system.The software development method taking demand management,module development,simulation verification,product reuse,tool support and process management as the cores is proposed to solve the credibility,certainty,robustness and continuity of the integrated large.scale airborne software.The development practice of the large-scale airborne software such as domestic airborne embedded operation system can improve the development quality of software.The method has high reference value for the similar software development.

关 键 词：软件开发 模型开发 软件复用 仿真验证 机载软件 航空电子系统 

分 类 号：TN99.34[电子电信—信号与信息处理]