An Intuitive Formal Prooffor Deadline Driven Scheduler

被引：0
|
作者：
詹乃军
机构：
来源：
JournalofComputerScienceandTechnology | 2001年 / 02期
关键词：
duration calculus; deadline driven scheduler; real-time;
D O I：
暂无
中图分类号：
TP319 [专用应用软件];
学科分类号：
摘要：
This paper presents another formal proof for the correctness of the Deadline Driven Scheduler (DDS). This proof is given in terms of Duration Calculus which provides abstraction for random preemption of processor. Compared with other approaches, this proof relies on many intuitive facts. Therefore this proof is more intuitive, while it is still formal.
引用
收藏
页码：146 / 158
页数：13
相关论文
共 50 条
  • [31] Design of an Efficient Ready Queue for Earliest-Deadline-First (EDF) Scheduler
    Pathan, Risat Mahmud
    PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 293 - 296
  • [32] DFARM: a deadline-aware fault-tolerant scheduler for cloud computing
    Awan, Ahmad
    Aleem, Muhammad
    Hussain, Altaf
    Prodan, Radu
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2024, 27 (07): : 9323 - 9344
  • [33] Statistical analysis of delay bound violations at an earliest deadline first (EDF) scheduler
    Sivaraman, V
    Chiussi, FM
    PERFORMANCE EVALUATION, 1999, 36-7 : 457 - 470
  • [34] Formal Specification, Verification and Repair of Contiki's Scheduler
    Mousavi, Hassan
    Ebnenasir, Ali
    Mahmoudzadeh, Elham
    ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 2023, 7 (04)
  • [35] Formal verification of a task scheduler for embedded operating systems
    Sun, Haiyong
    Lei, Hang
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2020, 38 (02) : 1391 - 1399
  • [36] INTUITIVE AND FORMAL MEANINGS OF THE DEFINITE INTEGRAL IN ENGINEERING EDUCATION
    Bueno, Seydel
    Burgos, Maria
    Godino, Juan D.
    Perez, Olga
    REVISTA LATINOAMERICANA DE INVESTIGACION EN MATEMATICA EDUCATIVA-RELIME, 2022, 25 (02): : 135 - 168
  • [37] FORMAL AND RIGID GEOMETRY: AN INTUITIVE INTRODUCTION AND SOME APPLICATIONS
    Nicaise, Johannes
    ENSEIGNEMENT MATHEMATIQUE, 2008, 54 (3-4): : 213 - 249
  • [38] An intuitive formal approach to dynamic workflow modeling and analysis
    Wang, JC
    Rosca, D
    Tepfenhart, W
    Milewski, A
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2005, 3649 : 137 - 152
  • [39] An Empirical Study of the Intuitive Understanding of a Formal Pattern Language
    Henkel, Elisabeth
    Hauff, Nico
    Eber, Lukas
    Langenfeld, Vincent
    Podelski, Andreas
    REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2023, 2023, 13975 : 21 - 38
  • [40] Irrational numbers: The gap between formal and intuitive knowledge
    Sirotic N.
    Zazkis A.
    Educational Studies in Mathematics, 2007, 65 (1) : 49 - 76
12345