机载大规模复杂软件开发及验证技术

›› 2016, Vol. 29 ›› Issue (3): 190-.

机载大规模复杂软件开发及验证技术

陈福,牟明,戴小氐,段海军,徐明

(中航工业西安航空计算技术研究所 19室,陕西西安 710065)

出版日期:2016-03-15 发布日期:2016-03-18
作者简介:陈福(1984—),男,工程师。研究方向:机载嵌入式软件研发和软件工程。
基金资助:
国家重大专项基金资助项目(2012ZX01041-006);航空支撑技术预研基金资助项目(619010604)

Development and Verification of Large-scale and Complex Airborne Software

CHEN Fu,MU Ming,DAI Xiaodi,DUAN Haijun,XU Ming

(Unit 19,AVIC Xi'an Aero Institute of Computing Technology,Xi'an 710065,China)

Online:2016-03-15 Published:2016-03-18

摘要/Abstract

摘要：

针对航空电子系统结构综合化、硬件共享化、功能软件化引发软件规模、复杂度指数级上升的趋势,分析了软件开发、软件综合以及软件测试的困难和挑战,并从开发技术、测试验证技术和项目管理3个维度,结合模型驱动开发、软件复用、虚拟仿真验证、DO-297规范、CMMI等技术和管理方法,为机载大规模复杂软件开发及验证提供了解决方案,提高软件的可靠性,缩短软件的研发周期。

关键词: 机载大规模, 模型开发, 软件复用, 虚拟仿真

Abstract:

The difficulties and challenges for software development due to the exponential growth of software size and complexity with the rapid development of integrated modular avionics systems are analyzed.The development,testing and verification techniques and project management are discussed.The techniques of MDA,software reuse,virtual simulation,DO-297,and CMMI are employed to provides a solution for the development and verification of large-scale and complex Airborne software in an attempt to improve the reliability and shorten the development cycle of software.

Key words: airborne;large scale;model development;software reuse;virtual simulation

中图分类号:

TP311.5

陈福,牟明,戴小氐,段海军,徐明. 机载大规模复杂软件开发及验证技术[J]. , 2016, 29(3): 190-.

CHEN Fu,MU Ming,DAI Xiaodi,DUAN Haijun,XU Ming. Development and Verification of Large-scale and Complex Airborne Software[J]. , 2016, 29(3): 190-.

[1]	郝嘉俊,王亚刚,马江涛. 基于LabVIEW的手术机器人虚拟仿真平台设计[J]. 电子科技, 2019, 32(2): 14-19.
[2]	顾荣军, 郭福成, 曾勇虎, 杨建斌. 软件复用技术在雷达模拟训练系统开发中的应用[J]. , 2010, 23(11): 8-10.