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] Catheter Ablation Guided by Real-Time MRI
    Eitel, Charlotte
    Hindricks, Gerhard
    Grothoff, Matthias
    Gutberlet, Matthias
    Sommer, Philipp
    CURRENT CARDIOLOGY REPORTS, 2014, 16 (08)
  • [32] Runtime verification of embedded real-time systems
    Reinbacher, Thomas
    Fuegger, Matthias
    Brauer, Joerg
    FORMAL METHODS IN SYSTEM DESIGN, 2014, 44 (03) : 203 - 239
  • [33] SPECIFYING AND VERIFYING REQUIREMENTS OF REAL-TIME SYSTEMS
    RAVN, AP
    RISCHEL, H
    HANSEN, KM
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) : 41 - 55
  • [34] Specification and timing analysis of real-time systems
    Wang, SH
    Tsai, G
    REAL-TIME SYSTEMS, 2004, 28 (01) : 69 - 90
  • [35] Timed Strategies for Real-Time Rewrite Theories
    Olarte, Carlos
    Olveczky, Peter Csaba
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2024, 2024, 14953 : 124 - 144
  • [36] The specification of the embedded system of real-time IR
    Zhu, Yong
    DCABES 2007 Proceedings, Vols I and II, 2007, : 1242 - 1244
  • [37] SPECIFICATION AND QUALITY ASSURANCE OF TIMING CONSTRAINTS IN REAL-TIME SYSTEMS-DEVELOPMENT
    LIEN, CC
    YANG, CC
    SOFTWARE-PRACTICE & EXPERIENCE, 1992, 22 (11): : 963 - 984
  • [38] Reliability-aware scheduling for ( m, k )- firm real-time embedded systems under hard energy budget constraint
    Niu, Linwei
    Musselwhite, Jonathan
    JOURNAL OF SYSTEMS ARCHITECTURE, 2024, 154
  • [39] Real-time 3-D Feature Detection and Correspondence Refinement for Indoor Environment-Mapping using RGB-D cameras
    Chen, Liang-Chia
    Nguyen Van Thai
    Lin, Hsien-I
    2013 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2013,
  • [40] Performance Analysis of a New Real-Time Elastographic Time Constant Estimator
    Nair, Sanjay P.
    Yang, Xu
    Krouskop, Thomas A.
    Righetti, Raffaella
    IEEE TRANSACTIONS ON MEDICAL IMAGING, 2011, 30 (02) : 497 - 511
12345