APPROACH TO REAL-TIME CONTROL FLOW CHECKING.

被引：0
|
作者：
Yau, S.S.
Chen, F.C.
Yau, K.H.
机构：
来源：
| 1978年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A real-time control flow checking scheme capable of detecting control flow errors resulted from software coding errors, hardware malfunctions or memory mutilation is presented. In this approach, a data base containing the feasible path information in the source program is derived from the detailed design, and the path actually traversed at run-time is recorded and then checked using the information in the data base. This approach is general and detects in real-time most discrepancies between a program's control flow and its design. The overhead of using this approach will not be large. This approach can be also used to check the control flow in the testing phase of program development.
引用
收藏
页码：163 / 168
相关论文
共 50 条
  • [1] Control-flow Checking for Intrusion Detection via a Real-Time Debug Interface
    Guo, Zonglin
    Bhakta, Ram
    Harris, Ian G.
    2014 INTERNATIONAL CONFERENCE ON SMART COMPUTING WORKSHOPS (SMARTCOMP WORKSHOPS), 2014, : 83 - 88
  • [2] Model Checking the Information Flow Security of Real-Time Systems
    Gerking, Christopher
    Schubert, David
    Bodden, Eric
    ENGINEERING SECURE SOFTWARE AND SYSTEMS, ESSOS 2018, 2018, 10953 : 27 - 43
  • [3] A parametric model checking approach for real-time systems design
    Sathawornwichit, C
    Katayama, T
    12th Asia-Pacific Software Engineering Conference, Proceedings, 2005, : 584 - 591
  • [4] Real-time optimization flow control
    Dalalah, Doraid
    COMPUTER NETWORKS, 2010, 54 (05) : 797 - 810
  • [5] PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems
    Sun, Jun
    Liu, Yang
    Song, Songzheng
    Dong, Jin Song
    Li, Xiaohong
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 147 - +
  • [6] Scenario and property checking of real-time systems using a synchronous approach
    André, C
    Peraldi-Frati, MA
    Rigault, JP
    FOURTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2001, : 438 - 444
  • [7] The maximum flow problem: a real-time approach
    Nagy, N
    Akl, SG
    PARALLEL COMPUTING, 2003, 29 (06) : 767 - 794
  • [8] Real-Time Checking of Linear Control Systems Using Analog Checksums
    Banerjee, Suvadeep
    Banerjee, Aritra
    Chatterjee, Abhijit
    Abraham, Jacob A.
    PROCEEDINGS OF THE 2013 IEEE 19TH INTERNATIONAL ON-LINE TESTING SYMPOSIUM (IOLTS), 2013, : 122 - 127
  • [9] Real-time virtual channel flow control
    Li, JP
    Mutka, MW
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1996, 32 (01) : 49 - 65
  • [10] A Real-Time Approach to Distillation Process Control
    不详
    CHEMICAL ENGINEERING PROGRESS, 2023, 119 (04) : 57 - 57
12345