Formalizing real-time scheduling as program refinement

被引：0
|
作者：
Liu, ZM [1 ]
Joseph, M
机构：
[1] Univ Leicester, Dept Math & Comp Sci, Leicester LE1 7RH, Leics, England
[2] Univ Warwick, Dept Comp Sci, Coventry CV4 7AL, W Midlands, England
来源：
TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT | 1997年 / 1231卷
关键词：
real-time program; specification; refinement; feasibility;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper shows how the feasibility of scheduling a realtime program consisting of a number of parallel processes (tasks) can be proved as a step in the refinement of the program from its specification. Verification of this step of refinement makes formal use of methods and results from real-time scheduling theory.
引用
收藏
页码：295 / 309
页数：15
相关论文
共 50 条
  • [41] Refinement of time
    Broy, M
    THEORETICAL COMPUTER SCIENCE, 2001, 253 (01) : 3 - 26
  • [42] A Formal Approach to Real-Time object oriented sofware
    Carvalho, SE
    Fiadeiro, JL
    Haeusler, EH
    REAL TIME PROGRAMMING 1997: (WRTP 97), 1998, : 71 - 76
  • [43] Feasibility analysis of hard real-time periodic tasks
    Park, M
    Cho, Y
    JOURNAL OF SYSTEMS AND SOFTWARE, 2004, 73 (01) : 89 - 100
  • [44] Deriving real-time action systems in a sampling logic
    Dongol, Brijesh
    Hayes, Ian J.
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (11) : 2047 - 2063
  • [45] An overview of software specification techniques for real-time imaging
    Laplante, PA
    Neill, C
    REAL-TIME IMAGING VI, 2002, 4666 : 57 - 64
  • [46] Decomposition in real-time safety-critical systems
    Mukherjee, P
    Stavridou, V
    REAL-TIME SYSTEMS, 1998, 14 (02) : 183 - 202
  • [47] Diagnosis of a congestion problem of tasks in a real-time system
    Blej, Mohammed
    Azizi, Mostafa
    18TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, 2010, : 511 - 514
  • [48] Probabilistic Real-Time Rewrite Theories and Their Expressive Power
    Bentea, Lucian
    Olveczky, Peter Csaba
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2011, 6919 : 60 - 79
  • [49] Speech production real-time MRI at 0.55 T
    Lim, Yongwan
    Kumar, Prakash
    Nayak, Krishna S.
    MAGNETIC RESONANCE IN MEDICINE, 2024, 91 (01) : 337 - 343
  • [50] A LAYERED APPROACH TO AUTOMATING THE VERIFICATION OF REAL-TIME SYSTEMS
    GERBER, R
    LEE, I
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (09) : 768 - 784
12345