分享到:

基于虚拟寄存器的控制流错误检测算法

控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR(Control Flow Checking Based on Virtual Register,基于虚拟寄存器的控制流检测)对程序控制流  (本文共5页) 阅读全文>>

《计算机工程与应用》2007年25期
计算机工程与应用

一种基于控制流检测的低功耗基本块划分方法

星载嵌入式系统要求更小的功耗和必备的在空间辐射环境中运行的高可靠性,控制流检测技术是防止由于单粒子翻转事件而造成程序错误运行的有效手段之一。为了在低功耗模式下保证错误检测概率,...  (本文共3页) 阅读全文>>

《水泥》2015年05期
水泥

控制流均化库卸料程序的设计及优化

由于控制流均化库(TP-3)是平底库,便于土建施工,而且控制流在库内依靠充气和重力卸料,物料在库内实现轴向及径向混合均化,均化效果要优于多料流均化库(T...  (本文共3页) 阅读全文>>

权威出处: 《水泥》2015年05期
《计算机研究与发展》2009年02期
计算机研究与发展

一种软硬件结合的控制流检测与恢复方法

控制流检测可以有效地提高微处理器容错能力.针对传统软件实现的控制流检测时空开销大的缺点,提出了一种软硬件结合的控制流检测与恢复方法.该方法通过编译自动插入签名数据,由硬件在分支/跳转指令之后自动执行检测,并...  (本文共7页) 阅读全文>>

《微型电脑应用》1960年40期
微型电脑应用

管理控制流的三种途径

在自主开发的软件系统中管理好控制流是保证系统得以顺利运行的必要前提。本...  (本文共2页) 阅读全文>>

《航天返回与遥感》2007年03期
航天返回与遥感

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响,为避免容错算法存储开销和执行开销给系统带入过多的计算压力,提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷,这是星载软件可靠性设计的合理方向。设计了一种...  (本文共7页) 阅读全文>>