论文部分内容阅读
机载软件具有实时性、高可靠性、嵌入式的特点。软件的特殊性,给机载软件验证带来了严峻的挑战。本文首先研究了软件验证现状以及软件测试、评审方法,最后对目前软件适航验证的前沿技术进行了探索。它对于机载软件适航验证研究具有一定的借鉴意义。
机载软件适航验证技术现状及展望研究
【摘 要】
：
机载软件具有实时性、高可靠性、嵌入式的特点。软件的特殊性,给机载软件验证带来了严峻的挑战。本文首先研究了软件验证现状以及软件测试、评审方法,最后对目前软件适航验证
【机 构】
：
中国民航大学,石家庄铁道学院四方学院
【出 处】
：
今日科苑
【发表日期】
：
2010年6期
其他文献
本文对于西方美术作品欣赏的方法进行了探索,认为描述、分析、解释、评价美术作品的方法可以帮助我们正确评估美术作品的优劣性。在此过程中,美术评论和美术史彼此促进,又帮
以舰载ESM所面临的多种作战环境的挑战为依据,对舰载ESM应具备的作战能力和一些关键问题进行了分析探讨,也提出了一些相应的解决途径,为舰载ESM设备的作战需求分析及试验评估
通过对PPP治理结构与现代公司治理结构的分析，发现政府治理应从单边治理向共同治理和关系契约治理的结构转型。PPP作为一种混合所有制形式，治理结构应与产权结构匹配，实现收益共
<正>郭永强,曾荣获天津市新长征突击手,天津市普教系统第五届优秀青年教师,天津市教育系统优秀思想政治工作者,天津市"十五"立功先进个人,天津市"五一"劳动奖章,区第二届青年
背景:对于无HLA全相合同胞供者的患者,采用单倍体相合造血干细胞移植面临移植物抗宿主病重、移植相关死亡率高的风险,但通过不同的移植模式,将有可能获取相近的疗效。目的:观
1艾伦.图灵的遗产2012年6月23日是艾伦·麦席森·图灵（Alan Mathison Turing）诞辰100周年纪念日。多年以来,计算机行业的从业者总是对图灵怀有一种特殊的崇敬——不只
在二十一世纪的今天,教育水平已经成为衡量一个国家实力的重要依据,正如说教育乃国之根本,民族兴亡之根本。所以无论何时教育都是不可忽视的。中西教育方式不同,文化背景不同
目的:趋化因子是单链小分子蛋白质超家族,是一类使细胞发生趋化运动的细胞因子,趋化因子行使其功能由趋化因子受体介导。CXCL12属于趋化因子家族(过去又称SDF-1stromal cell-
空袭目标威胁评估是一个多属性决策问题.基于灰色关联决策理论,建立了空袭目标威胁评估模型与排序算法.该方法能充分利用主观信息和客观信息,避免求取属性权重估计值的计算,