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 条
  • [31] Effective admission control for real-time anycast flow
    Jia, WJ
    Jiao, JL
    Zhang, CL
    PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, PROCEEDINGS, 2003, 2745 : 228 - 238
  • [32] Real-Time Material Flow and Production Control.
    Toni, Timo
    Drahtwelt Wurzburg, 1986, 72 (03): : 54 - 56
  • [33] WCET-Aware Partial Control-Flow Checking for Resource-Constrained Real-Time Embedded Systems
    Gu, Zonghua
    Wang, Chao
    Zhang, Ming
    Wu, Zhaohui
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2014, 61 (10) : 5652 - 5661
  • [34] AN APPROACH TO CONCURRENT CONTROL FLOW CHECKING
    YAU, SS
    CHEN, FC
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (02) : 126 - 137
  • [35] A Codesign Approach to Real-time High Precision Control
    Y. C. HO
    K. F. Man
    K. S. Tang
    S. Kwong
    Real-Time Systems, 2000, 19 : 41 - 60
  • [36] A REAL-TIME APPROACH TO QUALITY-CONTROL IN WELDING
    BLACKMON, DR
    KEARNEY, FW
    WELDING JOURNAL, 1983, 62 (08) : 37 - 39
  • [37] A game approach to the parametric control of real-time systems
    Jovanovic, Aleksandra
    Lime, Didier
    Roux, Olivier H.
    INTERNATIONAL JOURNAL OF CONTROL, 2019, 92 (09) : 2025 - 2036
  • [38] Fuzzy Logic Approach in Real-time UAV Control
    Marcu, Eusebiu
    CONTROL ENGINEERING AND APPLIED INFORMATICS, 2011, 13 (01): : 12 - 17
  • [39] Real-Time control system analysis: an integrated approach
    Palopoli, L
    Abeni, L
    Buttazzo, G
    Conticelli, F
    Di Natale, M
    21ST IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2000, : 131 - 140
  • [40] An application of a formal approach for distribution of real-time control
    Sivanthi, T
    Killat, U
    Angrishi, K
    Proceedings of the Third International Workshop on Intelligent Solutions in Embedded Systems, 2005, : 103 - 109
12345