FUNCTIONAL VERIFICATION OF HARD REAL-TIME PROGRAMS

被引：0
|
作者：
KEARNEY, P
STAPLES, J
ABBAS, A
机构：
来源：
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY | 1992年 / 12卷
关键词：
MODELS OF COMPUTATION; SPECIFYING AND VERIFYING AND REASONING ABOUT PROGRAMS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper describes techniques for reasoning about the real-time behaviour of low-level code. Higher-level reasoning and more compact notation are achieved through the use of functional logic, which allows both time and the current trace to be implicit parameters. The approach is illustrated by outlining a case study: specification and verification of a simplified version of the RS232 Software Repeater Problem.
引用
收藏
页码：113 / 119
页数：7
相关论文
共 50 条
  • [1] Challenge Benchmarks for Verification of Real-time Programs
    Kalibera, Tomas
    Parizek, Pavel
    Haddad, Ghaith
    Leavens, Gary T.
    Vitek, Jan
    PLPV'10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES MEETS PROGRAM VERIFICATION, 2010, : 57 - 62
  • [2] Verification, refinement and scheduling of real-time programs
    Liu, ZM
    Joseph, M
    THEORETICAL COMPUTER SCIENCE, 2001, 253 (01) : 119 - 152
  • [3] Platform-independent verification of real-time programs
    Hooman, J
    vanRoosmalen, O
    PROCEEDINGS OF THE JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS: FIFTH INTERNATIONAL WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS (WPDRTS) AND THE THIRD WORKSHOP ON OBJECT-ORIENTED REAL-TIME SYSTEMS (OORTS), 1997, : 183 - 192
  • [4] Real-time MLton: A Standard ML runtime for real-time functional programs
    Shivkumar, Bhargav
    Murphy, Jeffrey
    Ziarek, Lukasz
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2021, 31
  • [5] VERIFICATION OF REAL-TIME PROGRAMS BY A KNOWLEDGE-BASED STRATEGY
    ZHANG, WI
    LIU, JR
    LI, HT
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1994, 7 (03) : 289 - 298
  • [6] Predicting pipelining and caching behaviour of hard real-time programs
    Stappert, F
    NINTH EUROMICRO WORKSHOP ON REAL TIME SYSTEMS, PROCEEDINGS, 1997, : 80 - 86
  • [7] Scheduling data flow programs in hard real-time environments
    Davoli, R
    Tamburini, F
    Giachini, LA
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 263 - 278
  • [8] THE REAL-TIME VERIFICATION
    PELTOLA, S
    MEDICAL PHYSICS, 1988, 15 (05) : 799 - 799
  • [9] A CONSTRUCTIVE METHOD FOR THE ARCHITECTURAL DESIGN AND CORRECTNESS VERIFICATION OF REAL-TIME PROGRAMS
    SAUKKONEN, S
    ACTA POLYTECHNICA SCANDINAVICA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 1983, (40): : 1 - 122
  • [10] Hard real-time control & real-time linux
    Murillo-Garcia, R
    DR DOBBS JOURNAL, 2003, 28 (11): : 65 - 67
12345