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

作     者：康晓军 王劲强 王芸 Kang Xiaojun;Wang Jinqiang;Wang Yun

作者机构：北京空间机电研究所北京100076 

出 版 物：《航天返回与遥感》 (Spacecraft Recovery & Remote Sensing)

年 卷 期：2007年第28卷第3期

页      码：33-39页

摘      要：空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响,为避免容错算法存储开销和执行开销给系统带入过多的计算压力,提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷,这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法:扩展块数字签名的控制流检测方法ESCFC(Extend block Signatures for Control Flow Checking)。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模,提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟,充分说明了将该方法运用于航天工程的可行性。

主 题 词：控制流检测 扩展块 容错 星载软件 可靠性 

学科分类：08[工学] 0825[工学-环境科学与工程类] 

D　O　I：10.3969/j.issn.1009-8518.2007.03.007

馆 藏 号：203102477...