机载大规模复杂系统软件开发技术研究
|
摘要
针对综合模块化航空电子系统中机载软件规模、复杂度大幅上升的趋势,对传统机载软件研制方法不能满足机载大规模复杂软件研制的问题进行了分析。针对机载综合化大规模软件,为解决软件的可信性、确定性、健壮性和连续性,提出"需求管理、模型开发、仿真验证、产品复用、工具支撑、过程管理"为核心的软件开发方法。经过国产机载嵌入式操作系统等机载大规模软件研制实践,可有效提高软件研制质量。该方法对同等软件的研制具有极强的参考价值。
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.
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.
引文
[1]刘畅.航空机载软件质量评价技术研究[R].北京:中国航空综合技术研究所,2012.LIU Chang. Research of airborne software quality evaluation method[R]. Beijing:China Aero-Polytechnology Establishment,2012.
[2]国科环宇.美军F-35项目软件研制与测试问题研究[R].北京:国科环宇,2014.UCAS. Research of F-35 plane software development and test problems[R]. Beijing:UCAS,2014.
[3]空军装备部研究院.空军航空武器装备软件计价办法研究[R].北京:空军装备部研究院,2013.Aeronatical Armaments Research Institute. Air force aeronatical armaments software price evaluation method research[R].Beijing:Aeronatical Armaments Research Institute,2013.
[4]李红军.先进飞机综合模块化航空电子系统研制质量监督研究[R].西安:中国人民解放军驻六三一所军事代表室,2014.LI Hongjun. Quality supervision research on integrated modular avionic systems development[R]. Xi’an:Military Representative Office of PLA Stationed in AVIC 631 Research Institute,2014.
[5]周耀荣.安全关键嵌入式系统设计面临的全面挑战[R].西安:中航工业计算所,2014.ZHOU Yaorong. Challenge of safety critical embedded system design[R]. Xi’an:AVIC Xi’an Aeronautic Computing Technique Research Institute,2014.
[6]牟明,邢亮.模型开发在型号软件研制中的应用研究[J].航空计算技术,2015,45(3):76-79.MU Ming,XING Liang. Research on application of modelbased method in airborne software development[J]. Journal of aeronautical computing technique,2015,45(3):76-79.
[7]田莉蓉,牟明.适航产品本地化开发过程研究[J].航空计算技术,2015,45(3):87-91.TIAN Lirong,MU Ming. Application of airworthiness standard in airborne product development procedure[J]. Journal of aeronautical computing technique,2015,45(3):87-91.
[2]国科环宇.美军F-35项目软件研制与测试问题研究[R].北京:国科环宇,2014.UCAS. Research of F-35 plane software development and test problems[R]. Beijing:UCAS,2014.
[3]空军装备部研究院.空军航空武器装备软件计价办法研究[R].北京:空军装备部研究院,2013.Aeronatical Armaments Research Institute. Air force aeronatical armaments software price evaluation method research[R].Beijing:Aeronatical Armaments Research Institute,2013.
[4]李红军.先进飞机综合模块化航空电子系统研制质量监督研究[R].西安:中国人民解放军驻六三一所军事代表室,2014.LI Hongjun. Quality supervision research on integrated modular avionic systems development[R]. Xi’an:Military Representative Office of PLA Stationed in AVIC 631 Research Institute,2014.
[5]周耀荣.安全关键嵌入式系统设计面临的全面挑战[R].西安:中航工业计算所,2014.ZHOU Yaorong. Challenge of safety critical embedded system design[R]. Xi’an:AVIC Xi’an Aeronautic Computing Technique Research Institute,2014.
[6]牟明,邢亮.模型开发在型号软件研制中的应用研究[J].航空计算技术,2015,45(3):76-79.MU Ming,XING Liang. Research on application of modelbased method in airborne software development[J]. Journal of aeronautical computing technique,2015,45(3):76-79.
[7]田莉蓉,牟明.适航产品本地化开发过程研究[J].航空计算技术,2015,45(3):87-91.TIAN Lirong,MU Ming. Application of airworthiness standard in airborne product development procedure[J]. Journal of aeronautical computing technique,2015,45(3):87-91.