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 条
  • [21] Checking JML specifications using an extensible software model checking framework
    Edwin Robby
    Matthew B. Rodríguez
    John Dwyer
    International Journal on Software Tools for Technology Transfer, 2006, 8 (3) : 280 - 299
  • [22] Checking strong specifications using an extensible software model checking framework
    Robby
    Rodríguez, E
    Dwyer, MB
    Hatcliff, J
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2004, 2988 : 404 - 420
  • [23] Nonlinear Codes for Control Flow Checking
    Di Natale, Giorgio
    Keren, Osnat
    2020 IEEE EUROPEAN TEST SYMPOSIUM (ETS 2020), 2020,
  • [24] Control flow checking in multitasking systems
    Technical Univ of Budapest, Budapest, Hungary
    Period Polytech Electr Eng, 1 (27-36):
  • [25] Control flow error checking with ISIS
    Rodríguez, R
    Serrano, JJ
    EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 659 - 670
  • [26] Control Flow Checking or Not? (for Soft Errors)
    Rhisheekesan, Abhishek
    Jeyapaul, Reiley
    Shrivastava, Aviral
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (01)
  • [27] Control Flow Checking at Virtual Edges
    Liu, LiPing
    Ci, LinLin
    Liu, Wei
    Yang, Hui
    KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2017, 11 (01): : 396 - 413
  • [28] AN APPROACH TO CONCURRENT CONTROL FLOW CHECKING
    YAU, SS
    CHEN, FC
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (02) : 126 - 137
  • [29] Software model checking using linear constraints
    Armando, A
    Castellini, C
    Mantovani, J
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 209 - 223
  • [30] Model Checking of Automotive Control Software: An Industrial Approach
    Matsubara, Masahiro
    Tsuchiya, Tatsuhiro
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2020, E103D (08): : 1794 - 1805
12345