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 条
  • [41] A codesign approach to real-time high precision control
    Ho, YC
    Man, KF
    Tang, KS
    Kwong, S
    REAL-TIME SYSTEMS, 2000, 19 (01) : 41 - 60
  • [42] A real-time simulation tool for real-time control
    Kwon, WH
    Kim, KB
    Moon, SY
    Choi, SG
    Kim, YS
    ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, 1997, : 325 - 329
  • [43] Real-time control with Linux: A web services approach
    Basso, Michele
    Bucher, Roberto
    Romagnoli, Marco
    Vassalli, Massimo
    2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, 2005, : 2733 - 2738
  • [44] An Approach of Real-time Team Behavior Control in Games
    She, Yingying
    Grogono, Peter
    ICTAI: 2009 21ST INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, 2009, : 546 - 550
  • [45] Hard real-time control & real-time linux
    Murillo-Garcia, R
    DR DOBBS JOURNAL, 2003, 28 (11): : 65 - 67
  • [46] Unifying geometric approach to real-time formation control
    Maithripala, D. H. A.
    Maithripala, D. H. S.
    Jayasuriya, S.
    2008 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2008, : 789 - +
  • [47] Real-Time Implementation of Model Predictive Control for Flow Control Application
    Rosli, Nurfatihah Syalwiah
    Ibrahim, Rosdiazli
    2014 5TH INTERNATIONAL CONFERENCE ON INTELLIGENT AND ADVANCED SYSTEMS (ICIAS 2014), 2014,
  • [48] Scheduling Real-Time Systems with Periodic Tasks using a Model-checking Approach
    Olivera Salmon, Arianna Z.
    Gonzalez del Foyo, Pedro M.
    Silva, Jose R.
    2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2014, : 73 - +
  • [49] Real-time control
    Cravotta, B
    EDN, 2003, 48 (15) : 34 - 34
  • [50] Real-time control
    Maria Maragkou
    Nature Photonics, 2014, 8 (12) : 880 - 880
12345