【摘 要】
：
现代嵌入系统软件复杂性逐渐增加,使发现和处理运行时软件错误的难度也随之增大,实际应用表明,仍有少数的软件运行时错误并不能通过常规测试方法发现。在嵌入系统软件设计中
【机 构】
：
中国航空工业集团公司洛阳电光设备研究所,中国人民解放军驻六一三所军事代表室
论文部分内容阅读
现代嵌入系统软件复杂性逐渐增加,使发现和处理运行时软件错误的难度也随之增大,实际应用表明,仍有少数的软件运行时错误并不能通过常规测试方法发现。在嵌入系统软件设计中引入了软件健康管理的方法,来增强嵌入系统软件的可靠性,该方法通过在嵌入系统软件中构建运行时故障监测、诊断和恢复模块来实现。为了验证该方法的有效性,以2005年马来西亚航空公司124航班机载ADIRU发生的软件故障为例,使用AADL语言为ADIRU建立软件模型,并通过该模型验证了软件健康管理方法的有效性。
其他文献
为掌握动态测试系统的误差特性及传输特性,在全系统动态精度理论的基础上,提出了一种基于EMD和误差匹配相结合的方法。该方法首先采用EMD对动态测试系统的输出误差进行分解,
[摘 要] 美国社区学院虽然位于美国高等教育的金字塔底层，但是长期以来扮演着非常重要的角色。在当前全球经济衰退的大背景下，社区学院呈现出新的特征以应对来自于经费削减的挑战。它在办学模式的探索和突破被再一次寄予厚望。 [关键词]社区学院；远程教育；国际化；终身教育 美国的高等教育机构基本由各州政府和地方政府自行管理。美国大学按照学术水平分为：研究性大学、综合性大学、文理学院；社区学院以及职业
数学课程不仅要考虑到数学自身的特点,更应遵循学生学习数学的心理规律,强调从学生已有的生活经验出发.在日常的教学中,教师的教学活动必须建立在学生的认知发展水平和已有的
[摘要]科学的思维主要包括形象思维和逻辑思维两大方面。就历史学科而言，逻辑思维就是运用抽象的历史概念和理论，通过分析与综合、归纳与演绎、比较与分类等方法去认识和把握历史事物的规律和本质。 [关键词]逻辑思维；培养；发展 归纳、比较和概括历史知识，初步运用辩证唯物主义和历史唯物主义的基本观点分析历史和历史事物，揭示其本质，阐述历史发展规律等，是对学生逻辑思维能力的要求。在历史教学中，逻辑思维能力
前不久的“人机大战”引起社会各界高度关注，科技又一次展示了爆炸性的发展速度和力量。无论是学习能力、记忆能力、分析能力、运用能力，还是我们曾引以为傲的战略、博弈、决策
以舰载机为研究对象,建立了舰载机的动力学模型,设计了基于H2全信息预见控制器的舰载机自动着舰控制系统,实现了舰尾流干扰的抑制和下滑道的跟踪。以某舰载机为受控对象,进行
分析了基于IEC安全火花试验装置的简单电容电路短路放电特性,将其放电过程分为一次放电、电压维持及二次放电三个阶段。建立了基于场致发射的放电数学模型,得出了放电电流和
提高思想品德课教学的实效,使学生全面发展,关键在于充分用好课本上的活动内容,让思品课“活”起来.其途径有三:利用活动,激发学生的学习兴趣；利用活动,营造民主和谐的课堂气
音乐是心灵与时间的艺术,是情感与素养的艺术,对美化生活,陶冶性情,端正生活态度都有重要作用.高中音乐教师可以通过与义务教育阶段音乐教学的衔接、音乐课与其他学科的渗透
[摘要]在小学语文教学中，低年级的写话指导一直是个难题。在对学生进行写话训练时，教师应寻趣于相应课文中，帮学生打好写作基础，进行写话训练；寻趣于名著佳文中，培养学生鉴赏能力，提高写话水平；寻趣于多样写话形式中，锻炼学生写话能力，实现轻松写话。 [关键词]小学语文；低年级；写话指导；训练 小学低年级写话指导，一直是语文教学中的一个难题。因为这是小学生习作的开始阶段，这一阶段的学生年龄较小，对于新