Formal analysis of a real-time kernel specification

被引：0
|
作者：
Fowler, S
Wellings, A
机构：
来源：
FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS | 1996年 / 1135卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The specification of a red-time kernel and the analysis of certain properties of the kernel using the PVS system is presented in this paper. The kernel is designed to provide the minimal functionality to support real-time Ada 95 applications on a uniprocessor system, and the requirements for the kernel are derived from this. The specification consists of an abstract model of the functional and timing requirements for the kernel, and a minimal model of the system that the kernel is do signed to support. This system model allows properties such as mutual exclusion to be proved about the kernel with respect to certain assumptions about the system.
引用
下载
收藏
页码：440 / 458
页数：19
相关论文
共 50 条
  • [1] Formal analysis of a real-time kernel specification
    Fowler, S.
    Wellings, A.
    Lecture Notes in Computer Science, 1135
  • [2] Real-Time Animation for Formal Specification
    Mery, Dominique
    Singh, Neeraj Kumar
    COMPLEX SYSTEMS DESIGN AND MANAGEMENT, 2010, : 49 - 60
  • [3] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
    GORSKI, J
    COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
  • [4] Formal development of a real-time kernel
    Fowler, S
    Wellings, A
    18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1997, : 220 - 229
  • [5] Parallel real-time systems: Formal specification
    Choudhary, AN
    Gehlot, V
    Narahari, B
    FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 186 - 191
  • [6] Formal specification of a real-time lift dispatching system
    Wang, YX
    Ngolah, FC
    IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 669 - 674
  • [7] TIMED ETHERNET - REAL-TIME FORMAL SPECIFICATION OF ETHERNET
    WEINBERG, HB
    ZUCK, LD
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 370 - 385
  • [8] Formal specification for building robust real-time microkernels
    Rodríguez, M
    Fabre, JC
    Arlat, J
    21ST IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2000, : 119 - 128
  • [9] AN APPROACH TO FORMAL SPECIFICATION AND ANALYSIS FOR TIME PERFORMANCE OF THE CONCURRENT REAL-TIME SYSTEM (RTEXS)
    YAO, Y
    COMPUTERS IN INDUSTRY, 1989, 12 (04) : 347 - 354
  • [10] Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
    Cai, Simin
    Gallina, Barbara
    Nystrom, Dag
    Seceleanu, Cristina
    2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2018, : 104 - 114
12345