【摘 要】
:
针对安全关键领域中对可靠性的严格要求,研究并提出了一种基于分级多策略的嵌入式自适应实时软件容错方法,重点研究了检查点回卷恢复、自适应任务迁移等关键问题的解决方法
【机 构】
:
西北工业大学计算机学院,陕西西安710072陕西省嵌入式系统技术重点实验室,陕西西安710072
【出 处】
:
第二十届全国测试与故障诊断技术研讨会
论文部分内容阅读
针对安全关键领域中对可靠性的严格要求,研究并提出了一种基于分级多策略的嵌入式自适应实时软件容错方法,重点研究了检查点回卷恢复、自适应任务迁移等关键问题的解决方法,并给出了基于该方法的故障监测周期算法、检查点数量算法及检查点设置约束条件。试验结果表明,该方法可在不增加额外冗余硬件资源和保证系统实时性的前提下,有效提高嵌入式软件系统的可靠性。
其他文献
在博洛尼亚进程推动下,俄罗斯改革本国学位体系,重构人才培养标准,实施欧洲学分积累与转换系统,加强教育质量监测与保障,促进国际教育与合作,取得初步改革成效.但同时,俄罗斯
在外场环境下如果对串口进行带电热拔插操作会导致高电压冲击,当热插拔瞬间放电电流大于串口电路芯片所能够承受的最大电流时,通讯接口电路会被烧毁。并介绍了一种可在不对
以北京电子科技职业学院融入北京经济技术开发区党建的实践为切入点,以成果为导向,深入研讨新时代背景下“一二三”的高职院校融入区域化党建工作路径优势,总结高职院校在党
民族文化艺术往往会吸引着我们进入田野工作中,然而,正是在这些民族音乐、舞蹈艺术形式的背后,文化意识的传承显得更为珍贵.我国云南省永胜地区的他留人用民间歌舞的艺术表达
万舞分为文舞和武舞两种,在表演时具有很强的诱惑性,能够激发人的原始欲望,所以具有淫舞的性质.甲骨卜辞中有许多对万舞的记载,而“万”字是“卍”的借用.“卍”符号取象于鸟
卫星运行过程中,其各个分系统的遥测参数与卫星状态等信息之间存在着一定的相关性和偏相关性,这些相关性和偏相关性信息能够帮助地面运行管理人员减轻在轨卫星分析的复杂度
分析了指挥仪模拟器几种运动方式的输出波形及实现方法,给出了其正弦、等速、方波、等速+方波以及阶跃等信号的数学模型。对于正弦的计算,建立了正弦快速查表方法,并利用虚
文章对福建闽南民间舞剧以及小型节目进行分析研究,尝试探讨其在创作过程中对传统元素运用、地区题材选择、表现手法以及舞台形式中的“递延”现象,为研究福建闽南题材民间舞
赵明是军旅舞蹈编导,他的舞蹈生涯从其参与创编并亲自表演的独舞《囚歌》起步,尔后以舞者的视野创作了一系列优秀的舞蹈和舞剧作品.他的舞剧创作以“芭蕾”为主旨,呈现出多样
长期运行的在轨航天器主要是通过其大数据量遥测数据来反映其功能与性能变化的,运管人员通过对其分析,以准确掌握参数乃至卫星变化情况。本文结合常用的数据拟合方法,提出适