SCHEDULING IN REAL-TIME MODELS

被引：0
|
作者：
KURKISUONIO, R [1 ]
SYSTA, K [1 ]
VAIN, J [1 ]
机构：
[1] ESTONIAN ACAD SCI, INST CYBERNET, DIV COMP R&D, TALLINN 200108, ESTONIA
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 571卷
关键词：
EXECUTABLE SPECIFICATIONS; FAIRNESS; FORMAL METHODS; INTERLEAVING MODEL; JOINT ACTIONS; REACTIVE SYSTEMS;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Interleaving semantics is shown to provide an appropriate basis also for the modeling of real-time properties. Real-time scheduling of interleaved actions is explored, and the crucial properties of such schedulings are analyzed. The motivation of the work is twofold: to make real-time modeling practical already at early stages of specification and design, and to increase the reliability and predictability of reactive real-time systems by improved insensitivity to changes in the underlying real-time assumptions.
引用
收藏
页码：327 / 339
页数：13
相关论文
共 50 条
  • [1] Scheduling-oriented models for real-time systems
    Lowe, G
    [J]. COMPUTER JOURNAL, 1995, 38 (06): : 443 - 456
  • [2] Real-time calculus for scheduling hard real-time systems
    Thiele, L
    Chakraborty, S
    Naedele, M
    [J]. ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL IV: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 101 - 104
  • [3] Multiprocessor real-time scheduling
    Anderson, James H.
    Devi, UmaMaheswari
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2011, 57 (05) : 485 - 486
  • [4] REAL-TIME SCHEDULING ALGORITHMS
    FERRARI, AD
    [J]. DR DOBBS JOURNAL, 1994, 19 (15): : 60 - &
  • [5] Real-Time Scheduling with a Budget
    Joseph (Seffi) Naor
    Hadas Shachnai
    Tami Tamir
    [J]. Algorithmica, 2007, 47 : 343 - 364
  • [6] Real-Time Scheduling with Predictions
    Zhao, Tianming
    Li, Wei
    Zomaya, Albert Y.
    [J]. 2022 IEEE 43RD REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2022), 2022, : 331 - 343
  • [7] REAL-TIME SCHEDULING PROBLEM
    DHALL, SK
    LIU, CL
    [J]. OPERATIONS RESEARCH, 1978, 26 (01) : 127 - 140
  • [8] Real-time scheduling with a budget
    Naor, J
    Shachnai, H
    Tamir, T
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2003, 2719 : 1123 - 1137
  • [9] Real-time worker scheduling
    不详
    [J]. INDUSTRIAL ENGINEER, 2005, 37 (05): : 15 - 15
  • [10] Real-time scheduling with a budget
    Naor, Joseph
    Shachnai, Hadas
    Tamir, Tami
    [J]. ALGORITHMICA, 2007, 47 (03) : 343 - 364
12345