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 条
  • [1] Control-flow checking by software signatures
    Oh, N
    Shirvani, PP
    McCluskey, EJ
    IEEE TRANSACTIONS ON RELIABILITY, 2002, 51 (01) : 111 - 122
  • [2] A software control flow checking technique in multi-core processors
    Iman, Mohammad Reza Heidari
    Yaghmaie, Pejman
    INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2020, 13 (02) : 136 - 147
  • [3] IC3 Software Model Checking on Control Flow Automata
    Lange, Tim
    Neuhaeusser, Martin R.
    Noll, Thomas
    PROCEEDINGS OF THE 15TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2015), 2015, : 97 - 104
  • [4] Control-Flow Checking Using Branch Instructions
    Jafari-Nodoushan, Mostafa
    Miremadi, Seyed Ghassem
    Ejlali, Afireza
    EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 1, MAIN CONFERENCE, 2008, : 66 - 72
  • [5] Effectiveness of Control Flow Checking Algorithms Using a Model-Based Software Design Approach: An Empirical Study
    Solouki, Mohammadreza Amel
    Sini, Jacopo
    Violante, Massimo
    2022 29TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS (IEEE ICECS 2022), 2022,
  • [6] Control Software Model Checking Using Bisimulation Functions for Nonlinear Systems
    Kapinski, James
    Donze, Alexandre
    Lerda, Flavio
    Maka, Hitashyam
    Wagner, Silke
    Krogh, Bruce H.
    47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 4024 - 4029
  • [7] Work-in-Progress: Combining Control Flow Checking for Safety and Security in Embedded Software
    Gold, Robert
    2017 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2017,
  • [8] Software-Based Control Flow Checking Against Transient Faults in Industrial Environments
    Asghari, Seyyed Amir
    Taheri, Hassan
    Pedram, Hossein
    Kaynak, Okyay
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2014, 10 (01) : 481 - 490
  • [9] Eternal War in Software Security: A Survey of Control Flow Protection
    Tang, Bowen
    Ying, Huan
    Wang, Wei
    Tang, Huabin
    PROCEEDINGS OF THE 2016 7TH INTERNATIONAL CONFERENCE ON EDUCATION, MANAGEMENT, COMPUTER AND MEDICINE (EMCM 2016), 2017, 59 : 716 - 725
  • [10] Model Checking Control Flow Petri Nets Using PAT
    Ho, Dung T.
    Bui, Thang H.
    Quan, Tho T.
    PROCEEDINGS OF THE 2013 13TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA 2013), 2013, : 124 - 129
12345