Survey of control flow checking using software

被引：0
|
作者：
School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China [1 ]
不详 [2 ]
机构：
来源：
Harbin Gongye Daxue Xuebao | 2008年 / 3卷 / 407-412+482期
关键词：
Computer software - Error detection - Fault detection - Radiation;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
To avoid the hardware-induced control flow faults of computer system operating due to the radiation in space environment, the low-cost and efficient software schemes are employed to achieve the control flow checking (CFC). The methods of CFC implemented through software itself are summarized and classified, and their principles are discussed as well. Furthermore, some existing problems and the foreground about CFC through software are put forward.
引用
收藏
相关论文
共 50 条
  • [31] Automatic software model checking using CLP
    Flanagan, C
    PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 189 - 203
  • [32] Graph-tree-based software control flow checking for COTS processors on pico-satellites
    Yang Mu
    Wang Hao
    Zheng Yangming
    Jin Zhonghe
    Chinese Journal of Aeronautics , 2013, (02) : 413 - 422
  • [33] Graph-tree-based software control flow checking for COTS processors on pico-satellites
    Yang Mu
    Wang Hao
    Zheng Yangming
    Jin Zhonghe
    CHINESE JOURNAL OF AERONAUTICS, 2013, 26 (02) : 413 - 422
  • [34] Implementation of Control Flow Checking-A New Perspective Adopting Model-Based Software Design
    Solouki, Mohammadreza Amel
    Sini, Jacopo
    Violante, Massimo
    ELECTRONICS, 2022, 11 (19)
  • [35] Graph-tree-based software control flow checking for COTS processors on pico-satellites
    Yang Mu
    Wang Hao
    Zheng Yangming
    Jin Zhonghe
    Chinese Journal of Aeronautics, 2013, 26 (02) : 413 - 422
  • [36] An improved CFCSS Control Flow Checking Algorithm
    Wu, Yan-Xia
    Gu, Guo-Chang
    Wang, Ke-Hui
    2007 INTERNATIONAL WORKSHOP ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION, 2007, : 284 - +
  • [37] Algebraic techniques for the optimisation of control flow checking
    Noubir, G
    Choueiry, BY
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 1996, : 128 - 137
  • [38] Masking Signature Data Errors of Software-Based Control Flow Checking Techniques Employing Redundancy Signature
    Liu, Liping
    Ci, Linlin
    Liu, Wei
    CLOUD COMPUTING AND SECURITY, PT II, 2017, 10603 : 823 - 828
  • [39] Optimal Model Checking of Safe Control Embedded Software Components
    Gharbi, Atef
    Khalgui, Mohamed
    Ben Ahmed, Samir
    2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
  • [40] Model-checking software using precise abstractions
    Chechik, Marsha
    Gurfinkel, Arie
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 347 - 353
12345