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 条
  • [21] DYNAMIC SCHEDULING OF HARD REAL-TIME TASKS AND REAL-TIME THREADS
    SCHWAN, K
    ZHOU, HY
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (08) : 736 - 748
  • [22] Edge Scheduling Framework for Real-Time and Non Real-Time Tasks
    Fadahunsi, Olamilekan
    Ma, Yuxiang
    Maheswaran, Muthucumaru
    36TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2021, 2021, : 719 - 728
  • [23] Real-Time Packet Scheduling for Real-Time Wireless Sensor Networks
    Chennakesavula, Pradeep
    Ebenezer, Jemimah
    Murty, S. A. V. Satya
    Jayakumar, T.
    PROCEEDINGS OF THE 2013 3RD IEEE INTERNATIONAL ADVANCE COMPUTING CONFERENCE (IACC), 2013, : 273 - 276
  • [24] Beyond the limitations of real-time scheduling theory: a unified scheduling theory for the analysis of real-time systems
    Slomka, Frank
    Sadeghi, Mohammadreza
    SICS SOFTWARE-INTENSIVE CYBER-PHYSICAL SYSTEMS, 2021, 35 (3-4): : 201 - 236
  • [25] The real-time refinement calculus: A foundation for machine-independent real-time programming
    Hayes, IJ
    APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 44 - 58
  • [26] DESIGN-TO-TIME REAL-TIME SCHEDULING
    GARVEY, AJ
    LESSER, VR
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1993, 23 (06): : 1491 - 1502
  • [27] Specification and refinement of continuous real-time systems
    Goldsack, S
    Lano, K
    Durr, E
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 310 - 324
  • [28] Real-Time Depth Refinement for Specular Objects
    Or-Ell, Roy
    Hershkoyitz, Rom
    Wetzler, Aaron
    Rosman, Guy
    Bruckstein, Alfred M.
    Kimmel, Ron
    2016 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR), 2016, : 4378 - 4386
  • [29] Preprocessing occlusion for real-time selective refinement
    Law, Fei-Ah
    Tan, Tiow-Seng
    Proceedings of the Symposium on Interactive 3D Graphics, 1999, : 47 - 53
  • [30] 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
12345