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 条
  • [31] Composition and refinement of discrete real-time systems
    Ostroff, JS
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 1999, 8 (01) : 1 - 48
  • [32] A refinement calculus for the development of real-time systems
    Chen, ZQ
    Cau, A
    Zedan, H
    Liu, XD
    Yang, HJ
    1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 61 - 68
  • [33] Parallel refinement mechanisms for real-time systems
    Kolano, PZ
    Kemmerer, RA
    Mandrioli, D
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 35 - 50
  • [34] Realtss:: a real-time scheduling simulator
    Diaz, Arnoldo
    Batista, Ruben
    Castro, Oskardie
    2007 4TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING, 2007, : 40 - 43
  • [35] SEQUENCING AND SCHEDULING IN REAL-TIME - QUICKLY
    MAXFIELD, MW
    INTERFACES, 1981, 11 (03) : 40 - 43
  • [36] REAL-TIME SCHEDULING BY QUEUE AUTOMATA
    BREVEGLIERI, L
    CHERUBINI, A
    CRESPIREGHIZZI, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 131 - 147
  • [37] REAL-TIME SCHEDULING ALGORITHMS AND THEIR PERFORMANCES
    COBELLI, R
    MEZZALIRA, L
    NAVONI, GF
    SCARABOTTOLO, N
    MICROPROCESSING AND MICROPROGRAMMING, 1990, 28 (1-5): : 211 - 216
  • [38] REAL-TIME SCHEDULING THEORY AND ADA
    SHA, L
    GOODENOUGH, JB
    COMPUTER, 1990, 23 (04) : 53 - 62
  • [39] Real-time scheduling for Java']Java
    Goldschmidt, B
    László, Z
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VIII, PROCEEDINGS, 2003, : 154 - 159
  • [40] A specification framework for real-time scheduling
    Subramani, K
    SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS, 2002, 2540 : 195 - 207
12345