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 条
  • [41] Using SPIN model checking for flight software verification
    Glück, PR
    Holzmann, GJ
    2002 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-7, 2002, : 105 - 113
  • [42] Scalable software model checking using design for verification
    Bultan, Tevfik
    Betin-Can, Aysu
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 337 - 346
  • [43] Software Model Checking Using Languages of Nested Trees
    Alur, Rajeev
    Chaudhuri, Swarat
    Madhusudan, P.
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 33 (05):
  • [44] Erosion-control software - A survey of software options
    Sipes, JL
    LANDSCAPE ARCHITECTURE, 1999, 89 (07): : 40 - +
  • [45] Medical Software Runtime checking Using Petri-nets & Software Agents
    Majma, Negar
    Babamir, Seyed Morteza
    2014 4TH INTERNATIONAL CONFERENCE ON COMPUTER AND KNOWLEDGE ENGINEERING (ICCKE), 2014, : 449 - 454
  • [46] CONTROL-FLOW CHECKING USING WATCHDOG ASSISTS AND EXTENDED-PRECISION CHECKSUMS
    SAXENA, NR
    MCCLUSKEY, EJ
    IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (04) : 554 - 559
  • [47] Avoidance of state explosion using dependency analysis in model checking control flow model
    Park, Sachoun
    Kwon, Gihwon
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2006, PT 5, 2006, 3984 : 905 - 911
  • [48] Seis. A program control flow graph encoding algorithm for control flow checking
    Majzik, I.
    Technical Report: Ser. Electrical Engineering, 1994, (EE14): : 1 - 66
  • [49] Software Model Checking
    Jhala, Ranjit
    Majumdar, Rupak
    ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [50] SOFTWARE FOR PROCESS-CONTROL - SURVEY
    GERTLER, J
    SEDLAK, J
    AUTOMATICA, 1975, 11 (06) : 613 - 625
12345