面向星载操作系统的控制流错误检测方法

空间高能粒子辐射严重影响航天计算的可靠性，必须采取有效措施对其进行加固。相比使用抗辐射器件，使用软加固的商用器件具有性能高、成本低、开发速度快等优势。然而，目前的软加固研究主要适用于应用程序，对操作系统软加固方法的研究还较少。鉴于此，提出了一种面向星载操作系统的控制流错误检测方法。该方法结合星载操作系统自身特点，着眼于线程执行，将每个线程视为一个函数调用序列，通过在函数入口和出口处插入检测语句，监测各线程的执行，实现控制流错误检测。实验结果表明，该方法能将星载操作系统的控制流错误覆盖率提高约25%。

Control flow checking method for on-board operating system

The space high-energy particle radiation has a serious influence on the reliability of the space computation. Effective radiation hardening measures must be taken to overcome this problem. Compared with the use of radiation hardening devices, using the soft reinforcement commercial devices can enjoy the advantages of high performance, low cost, fast development and so on. However, the present research on soft reinforcement is mainly suitable for the application level, while there is very little research on soft reinforcement methods for the operating system. A control flow checking method for the on-board operating system was proposed to solve this problem. Taking account of the characteristics of the on-board operating system, the proposed method regarded each thread as a sequence of function calls and monitored the thread execution through inserting test statements in the entry and exit of a function to achieve the control flow error detection. The experimental results indicate that the proposed method can increase the control flow fault coverage of the on-board operating system by 25%.