期刊文献+

机载大规模复杂软件开发及验证技术 被引量:3

Development and Verification of Large-scale and Complex Airborne Software
下载PDF
导出
摘要 针对航空电子系统结构综合化、硬件共享化、功能软件化引发软件规模、复杂度指数级上升的趋势,分析了软件开发、软件综合以及软件测试的困难和挑战,并从开发技术、测试验证技术和项目管理3个维度,结合模型驱动开发、软件复用、虚拟仿真验证、DO-297规范、CMMI等技术和管理方法,为机载大规模复杂软件开发及验证提供了解决方案,提高软件的可靠性,缩短软件的研发周期。 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.
出处 《电子科技》 2016年第3期190-193,共4页 Electronic Science and Technology
基金 国家重大专项基金资助项目(2012ZX01041-006) 航空支撑技术预研基金资助项目(619010604)
关键词 机载大规模 模型开发 软件复用 虚拟仿真 airborne large-scale model development software reuse virtual simulation
  • 相关文献

参考文献6

二级参考文献79

共引文献81

同被引文献25

引证文献3

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部