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 条
  • [21] Symbolic model checking of real-time systems
    Logothetis, G
    Schneider, K
    EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 214 - 223
  • [22] On expressiveness and complexity in real-time model checking
    Bouyer, Patricia
    Markey, Nicolas
    Ouaknine, Joeal
    Worrell, James
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, PROCEEDINGS, 2008, 5126 : 124 - +
  • [23] Real-time model checking: Algorithms and complexity
    Worrell, James
    TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2008, : 19 - 19
  • [24] Real-time model checking is really simple
    Lamport, L
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 162 - 175
  • [25] Incremental Methods for Checking Real-Time Consistency
    Jeron, Thierry
    Markey, Nicolas
    Mentre, David
    Noguchi, Reiya
    Sankur, Ocan
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2020, 2020, 12288 : 249 - 264
  • [26] Partition refinement in real-time model checking
    Spelberg, RL
    Toetenel, H
    Ammerlaan, M
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 143 - 157
  • [27] Local model checking for real-time systems
    Sokolsky, OV
    Smolka, SA
    COMPUTER AIDED VERIFICATION, 1995, 939 : 211 - 224
  • [28] Real-time model checking on secondary storage
    Edelkamp, Stefan
    Jabbar, Shahid
    MODEL CHECKING AND ARTIFICIAL INTELLIGENCE, 2007, 4428 : 67 - +
  • [29] SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS
    HENZINGER, TA
    NICOLLIN, X
    SIFAKIS, J
    YOVINE, S
    INFORMATION AND COMPUTATION, 1994, 111 (02) : 193 - 244
  • [30] 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
12345