【摘 要】
：
针对航空电子系统结构综合化、硬件共享化、功能软件化引发软件规模、复杂度指数级上升的趋势,分析了软件开发、软件综合以及软件测试的困难和挑战,并从开发技术、测试验证技
【机 构】
：
中航工业西安航空计算技术研究所19室
【基金项目】
：
国家重大专项基金资助项目(2012ZX01041-006);航空支撑技术预研基金资助项目(619010604)
论文部分内容阅读
针对航空电子系统结构综合化、硬件共享化、功能软件化引发软件规模、复杂度指数级上升的趋势,分析了软件开发、软件综合以及软件测试的困难和挑战,并从开发技术、测试验证技术和项目管理3个维度,结合模型驱动开发、软件复用、虚拟仿真验证、DO-297规范、CMMI等技术和管理方法,为机载大规模复杂软件开发及验证提供了解决方案,提高软件的可靠性,缩短软件的研发周期。
其他文献
随枣走廊是两周时期南北文化交流之重要地区。该地区出土的两周青铜礼器涵盖西周早期到战国,且数量丰富、类型多样,能够全面表现出当地的文化变迁和社会结构。具体来看,两周
水是人类赖以生存和发展不可替代的自然资源,对人类的生存和发展起到十分重要的作用。当前随着我国社会经济的不断发展,对水资源的利用率越来越高,水资源的可持续发展也成为
近年来随着社会经济的不断发展,资源环境过度开采和人口爆炸式增长都给环境带来了巨大的破坏。城市中出现了“热岛效应”,空气中悬浮颗粒和有害物质浓度增加,严重影响了人类
理实一体化教学与传统教学方法是相互融合,相互弥补,不可分割的有机教学体。其鲜明特色是:多种教学方法的有机整合;教学内容按项目的有机整合;教学场地按教学需要的整合;教师
分析了健康的和患病的剑麻叶片样品以及相应的表土样品。分析结果表明,缺钾是剑麻“带枯病”的主要原因,而“叶尖紫色捲缩病”可能同缺锰有关。使剑麻健康生长的重要因素是;
中国经济近些年来发展迅速,茶企面临着不断改变需求的市场环境和瞬息万变的外部环境的双重压力。对茶企来讲,不断创新技术增加产品价值及增加市场份额,这些是至关重要的工作
随着人民群众文化需求的不断提高,乡镇综合文化站的建设普及力度逐渐加强。但当前文化站仍面临诸多问题。通过调研,发现秦岭河谷型乡镇综合文化站存在部分房间外租、未按时开
<正> 宋代文坛上有一种现象值得注意,那就是文人们对于文学各种体裁总是强调其异,但对于诗画这两种不同门类的艺术却强调其同,而且这两种倾向的出现都与苏轼有着直接的关系。
步入神威药业集团有限公司(下称“神威药业”)位于河北省石家庄市栾城区的总部园区,首先感受到的是整洁、宁静。在一栋栋高大的制药车间外穿行,除了偶尔从绿树草坪处传来的几
本文从以下几个方面探讨全面财务管理体系建设:一是企业财务管理体系的构成要素与构建原则,二是全面财务管理体系的构建,包括财务预算体系、财务控制体系、风险管理体系、财