| 机载大规模复杂软件开发及验证技术 |
| |
| 引用本文： | 陈福,牟明,戴小氐,段海军,徐明.机载大规模复杂软件开发及验证技术[J].电子科技,2016,29(3):190. |
| |
| 作者姓名： | 陈福 牟明 戴小氐 段海军 徐明 |
| |
| 作者单位： | (中航工业西安航空计算技术研究所 19室,陕西 西安 710065) |
| |
| 基金项目： | 国家重大专项基金资助项目(2012ZX01041-006);航空支撑技术预研基金资助项目(619010604) |
| |
| 摘 要： | 针对航空电子系统结构综合化、硬件共享化、功能软件化引发软件规模、复杂度指数级上升的趋势,分析了软件开发、软件综合以及软件测试的困难和挑战,并从开发技术、测试验证技术和项目管理3个维度,结合模型驱动开发、软件复用、虚拟仿真验证、DO-297规范、CMMI等技术和管理方法,为机载大规模复杂软件开发及验证提供了解决方案,提高软件的可靠性,缩短软件的研发周期。
|
| 关 键 词： | 机载大规模 模型开发 软件复用 虚拟仿真 |
Development and Verification of Large-scale and Complex Airborne Software |
| |
| CHEN Fu,MU Ming,DAI Xiaodi,DUAN Haijun,XU Ming.Development and Verification of Large-scale and Complex Airborne Software[J].Electronic Science and Technology,2016,29(3):190. |
| |
| Authors: | CHEN Fu MU Ming DAI Xiaodi DUAN Haijun XU Ming |
| |
| Affiliation: | (Unit 19,AVIC Xi'an Aero Institute of Computing Technology,Xi'an 710065,China) |
| |
| 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. |
| |
| Keywords: | airborne large scale model development software reuse virtual simulation |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《电子科技》浏览原始摘要信息 |
|
点击此处可从《电子科技》下载全文 |
|
