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

• 作者: 宁洪 明月伟 邓胜兰
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 单粒子效应 星载操作系统 软加固 控制流错误检测 函数级
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 计算机软件技术
• 页码范围: 1418-1422
• 页数: 5页
• 分类号: TP316.2
• 字数: 6174字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2014.05.1418

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邓胜兰	国防科学技术大学计算机学院	5	91	4.0	5.0
2	宁洪	国防科学技术大学计算机学院	26	221	7.0	14.0
3	明月伟	国防科学技术大学计算机学院	1	5	1.0	1.0