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

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