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

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

Aerospace Software Control-flow Fault-tolerate Evaluate Method Based on Extend Block

Transient Control flow faults introduced in an Aerospace software system by environmental effects may lead to unexpected consequences.In order to avoid the excess memory overhead and performance overhead bought in by fault tolerate arithmetic,this paper presents a reasonable way for Aero-space software reliability design.A new method-Extend block Signatures for Control Flow Checking is present which provides a flexible way to add fault tolerate codes.Using a model of the experimental result on orbit,a theory of the balance between arithmetic overload and reliability improvement is present in this paper.It is a reasonable useful method which can be used in space technology according to the analysis and simulation.