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

doi:10.11772/j.issn.1001-9081.2014.05.1418

计算机应用 ›› 2014, Vol. 34 ›› Issue (5): 1418-1422.DOI: 10.11772/j.issn.1001-9081.2014.05.1418

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

明月伟,宁洪,邓胜兰

国防科学技术大学计算机学院，长沙 410073

收稿日期:2013-10-08 修回日期:2013-12-02 出版日期:2014-05-01 发布日期:2014-05-30
通讯作者: 明月伟
作者简介:明月伟(1988-),男,山东邹平人,硕士研究生,CCF会员,主要研究方向:系统软件、软件容错;
宁洪(1961-),女,湖南衡阳人,教授,主要研究方向:数据集成与分析、星上计算;
邓胜兰(1961-),女,湖南衡阳人,研究员,硕士,主要研究方向:嵌入式操作系统。

Control flow checking method for on-board operating system

MING Yuewei,NING Hong,DENG SHENGlan

College of Computer, National University of Defense Technology, Changsha Hunan 410073, China

Received:2013-10-08 Revised:2013-12-02 Online:2014-05-01 Published:2014-05-30
Contact: MING Yuewei

摘要/Abstract

摘要：

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

Abstract:

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%.

中图分类号:

TP316.2

明月伟宁洪邓胜兰. 面向星载操作系统的控制流错误检测方法[J]. 计算机应用, 2014, 34(5): 1418-1422.

MING Yuewei NING Hong DENG SHENGlan. Control flow checking method for on-board operating system[J]. Journal of Computer Applications, 2014, 34(5): 1418-1422.

参考文献

［1］XU J, QIAO Q, XIONG M, et al. Software fault-tolerance techniques for transient faults [J]. Computer Engineering and Science, 2011, 33(11): 132-139. (徐建军,谭庆平,熊荫乔,等.面向瞬态故障的软件容错技术［J］.计算机工程与科学,2011,33(11):132-139.)
［2］OH N, SHIRVANI P P, McCLUSKEY E J. Control-flow checking by software signatures ［J］. IEEE Transactions on Reliability, 2002, 51(1): 111-122
［3］OH N, SHIRVANI P P, McCLUSKEY E J. Error detection by duplicated instructions in super-scalar processors ［J］. IEEE Transactions on Reliability, 2002, 51(1): 63-75.
［4］NICOLESCU B, IGNAT N, SAVARIA Y, et al. Analysis of real-time systems sensitivity to transient faults using microC kernel ［J］. IEEE Transactions on Nuclear Science, 2006, 53(4): 1902-1909.
［5］IGNAT N, NICOLESCU B, SAVARIA Y, et al. Soft-error classification and impact analysis on real-time operating systems ［C］// DATE 2006: Proceedings of the 2006 Conference on Design, Automation and Test in Europe. Piscataway: IEEE, 2006: 182-187.
［6］NEISHABURI M H, DANESHTALAB M, KAKOEE M R, et al. Improving robustness of Real-Time Operating Systems (RTOS) services related to soft-errors ［C］// AICCSA 2007: Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications. Piscataway: IEEE, 2007: 528-534.
［7］YANG M, WANG H, ZHANG Y, et al. Design of radiation-hardened real-time operating system for pico-satellites [J]. Journal of Zhejiang University: Engineering Science Edition, 2011, 45(6): 1021-1026. (杨牧,王昊,张钰,等.抗辐射加固的皮卫星用实时操作系统设计［J］.浙江大学学报:工学版,2011,45(6):1021-1026.)
［8］Texas Instruments. TI DSP/BIOS real-time operating system v6.x user's guide ［DB/OL］. [2013-06-02]. http://downloads.ti.com/dsps/dsps_public_sw/sdo_sb/targetcontent/sysbios/6_21_01_16/exports/docs/docs/Bios_User_Guide.pdf.
［9］HARI S K S, ADVE S V, NAEIMI H. Low-cost program-level detectors for reducing silent data corruptions ［C］// DSN 2012: Proceedings of the 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Piscataway: IEEE, 2012: 1-12.
［10］XU J, TAN Q, LI J, et al. An extendable control flow checking method based on formatted signatures [J]. Journal of Computer Research and Development, 2011, 54(4): 638-646. (徐建军,谭庆平,李建立,等.一种基于格式化标签的可扩展控制流检测方法［J］.计算机研究与发展,2011,54(4):638-646.)
［11］LI J, TAN Q, XU J. A software-implemented configurable control flow checking method ［C］// PAAP 2010: Proceedings of the 2010 Third International Symposium on Parallel Architectures, Algorithms and Programming. Piscataway: IEEE, 2010: 199-205.
［12］LI J, TAN Q, XU J. Reconstructing control flow graph for control flow checking ［C］// PIC 2010: Proceedings of the 2010 IEEE International Conference on Progress in Informatics and Computing. Piscataway: IEEE, 2010: 527-531.

[1]	夏军, 袁帅, 杨逸. 基于异构多核平台低能耗周期任务调度算法[J]. 计算机应用, 2019, 39(10): 2980-2984.
[2]	韩德志, 陈旭光, 雷雨馨, 戴永涛, 张肖. 基于Spark Streaming的实时数据分析系统及其应用[J]. 计算机应用, 2017, 37(5): 1263-1269.
[3]	陈泽玮, 杨茂林, 雷航, 廖勇, 谢玮. SET-MRTS：一种多处理器实时系统可调度性实验平台[J]. 计算机应用, 2017, 37(5): 1270-1275.
[4]	雷兵兵, 严华. 基于逻辑区间热度的NAND闪存垃圾回收算法[J]. 计算机应用, 2017, 37(4): 1149-1152.
[5]	邓腾, 戴紫彬, 张立朝, 吴雪涛. 基于反馈控制的嵌入式实时系统调度算法设计[J]. 计算机应用, 2015, 35(5): 1426-1429.
[6]	白露晏立. 多处理器固定优先级算法的可调度性分析[J]. 计算机应用, 2012, 32(03): 603-605.
[7]	石林勇晏立. 多处理器全局单调比率的可调度性分析[J]. 计算机应用, 2010, 30(10): 2735-2737.
[8]	董吉文张阳. 嵌入式实时操作系统任务调度算法的改进与应用[J]. 计算机应用, 2009, 29(09): 2516-2519.
[9]	蒋贵全张辉王国锋. 基于Linux的FPGA数据通信接口驱动设计与实现[J]. 计算机应用, 2009, 29(09): 2520-2522.
[10]	高富强秦昌硕游纪原邹恒. UC/OS-II内核扩充时间片轮转调度算法的设计[J]. 计算机应用, 2009, 29(4): 1128-1130.
[11]	占文静，张凯. uClinux在S698处理器上的移植研究与实现[J]. 计算机应用, 2005, 25(05): 1055-1057.
[12]	田红军张延蕾汪镭吴启迪. 基于RTAI和Linux的快速实时无线电SDR系统原型设计与实现[J]. , , (): 0-0.

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

Control flow checking method for on-board operating system

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 12

编辑推荐

Metrics