[发明专利]基于加权Merkle树实现的空间抗辐照故障检测方法

说明书

技术领域

本发明属于软件可靠性领域，具体地说，涉及一种基于加权Merkle树实现的空间抗辐照故障检测方法。

背景技术

宇宙辐射是航天器面临的重大威胁。太空空间中有许多高能粒子，这些粒子进入半导体后，通过库仑作用电离出大量电荷，从而引起半导体数字集成电路的逻辑翻转、锁定，甚至有可能烧毁器件，具体来说包括：单粒子翻转、单粒子闩锁和单粒子烧毁，可能会导致半导体电路中的逻辑状态发生翻转，即从逻辑1翻转到逻辑0或反之。单粒子效应所导致的卫星故障占空间辐射效应故障总数的80%。由于抗辐照器件的成本与功耗很大，而性能相对较低，因此，空间电子系统中普遍采用软硬件结合方式来完成单粒子翻转的错误检测与错误恢复技术，而高效可靠的单粒子翻转检测技术是抗辐照设计的关键。

检测辐射带来的程序变动成为航天器电子系统的基本功能。为了保护安全关键软件正确性，检测软件进入错误状态成为软件设计和运行的重要命题。在安全关键软件中，对关键代码的执行路径保护是一种有效的方法。Hash值是一个广泛应用的完整性验证技术。利用Hash技术可以按照需要检测程序代码是否发生变化，一旦发现不一致即发生错误，可以触发错误恢复机制，从而避免系统进入到错误状态。

在空间抗辐照应用中，传统Hash技术实现错误检测的方法通常会遇到如下问题：

1、空间单粒子翻转的故障是非永久性质的的，可以通过重写与刷新来恢复原有状态，因此校验出错是需要精确出错位置的，位置越精确，错误恢复的效率就越高；

2、对整个代码段、数据段逐个进行Hash校验开销过大，而且存在浪费，按照二八原则，20%的热点代码与热点数据经常被执行与访问，其数据完整性对于系统安全性的影响很大，而剩余部分则对系统安全性影响较小。

3、空间单粒子翻转的影响位置是随机的，问题可能出现在代码段任意位置，也可能出现在保存Hash表的位置中，单纯一个Hash表无法判断单点故障会出现在哪里。

发明内容

本发明要解决的技术问题是克服上述缺陷，提供一种基于加权Merkle树方式实现高效错误检测方法，通过为系统代码段建基于基本块Hash值的加权的Merkle树，从而可以避免Hash值被篡改带来的误报机制，并且可以细粒度、高效的进行错误检测，从而为细粒度、高效的数据恢复机制提供有力的支持。

为解决上述问题，本发明所采用的技术方案是：

一种基于加权Merkle树实现的空间抗辐照故障检测方法，其特征在于：步骤如下：利用编译器为关键代码段生成对应的加权Merkle Hash树；然后在操作系统支持下，任务空闲时基于Merkle Hash树进行细粒度、高效的错误检测，从而提供细粒度、高效的单点错误检测机制。

作为一种改进，所述加权Merkle Hash树的构建；

1）、在程序编译过程中，针对系统的代码段，按照基本块为单位进行划分；基本块是程序顺序执行的基本单元，基本块的第一条语句一旦被执行，那么基本块内部的语句也必然被执行一次；如果一个基本块过大，则将基本块拆分为若干大小均匀的基本块，从而全系统代码段被分为N个近似大小的基本块；在编译过程中，计算上述创建的每个基本块对应二进制代码的Hash值，得到N个Hash值；

2）、在编译过程中，使用profiler工具生成的调用图，获得系统的关键路径与热点；

3）、将基本块按照其执行热点值自高到低进行排列，分别赋予加权系数i为N、N-1、N-2、…、3、2、1；对于代码段的关键路径，按照其是否处于关键路径，对应基本块赋予加权系数j，分别为1.2（关键路径）、1.0（一般路径）、0.8（异常处理路径）；计算每个基本块的加权系数WP=i×j；

4）、将基本块按照加权系数WP进行排列，从而构建对应Merkle树，其中每个基本块的hash值是Merkle Hash树的叶子节点，中间结点的hash值是子节点值的hash预算结果：Hash(H)=hash(Hl|Hr)；

5）、将Merkle叶节点序号与基本块代码地址保存在一个稀疏矩阵中；

6）、将Merkle树保存在程序配置文件中；

作为一种改进，所述单粒子翻转检查的步骤如下：

1）、系统运行过程中，构建一致性巡检任务CircuitCheckTask，以及一致性预检任务PreCheckTask；

2）、巡检任务CircuitCheckTask将按照Merkle树，自左向右依次校验每个叶节点的Hash值与对应基本块计算的Hash值是否一致；