We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
ZHAN Naijun. An Intuitive Formal Proof for Deadline Driven Scheduler[J]. Journal of Computer Science and Technology, 2001, 16(2).
Citation: ZHAN Naijun. An Intuitive Formal Proof for Deadline Driven Scheduler[J]. Journal of Computer Science and Technology, 2001, 16(2).

An Intuitive Formal Proof for Deadline Driven Scheduler

More Information
  • Published Date: March 14, 2001
  • This paper presents another formal proof for the correctness of theDeadline Driven Scheduler (DDS). This proof is given in terms ofDuration Calculus which provides abstraction for random preemption ofprocessor. Compared with other approaches, this proof relies on manyintuitive facts. Therefore this proof is more intuitive, while it isstill formal.
  • Related Articles

    [1]Zhang-Jin Huang, Xiang-Xiang He, Fang-Jun Wang, Qing Shen. A Real-Time Multi-Stage Architecture for Pose Estimation of Zebrafish Head with Convolutional Neural Networks[J]. Journal of Computer Science and Technology, 2021, 36(2): 434-444. DOI: 10.1007/s11390-021-9599-5
    [2]Xiao-Min Zhu, Pei-Zhong Lu. Multi-Dimensional Scheduling for Real-Time Tasks on Heterogeneous Clusters[J]. Journal of Computer Science and Technology, 2009, 24(3): 434-446.
    [3]Jing Chen, Zi-Ning Cao. Model Checking Real-Time Value-Passing Systems[J]. Journal of Computer Science and Technology, 2004, 19(4).
    [4]Yong-You Ma, Hui Zhang, Shou-Wei Jiang. Realistic Modeling and Animation of Human Body Based on Scanned Data[J]. Journal of Computer Science and Technology, 2004, 19(4).
    [5]ZHAO Jianhua. Checking Timed Automata for Linear Duration Properties[J]. Journal of Computer Science and Technology, 2000, 15(5): 423-429.
    [6]Luo Tiegeng, Chen Huowang, Wang Bingshan, Wang Ji, Gong Zhenghu, Qi Zhichang. Verifying Automata Specification of Distributed Probabilistic Real-Time Systems[J]. Journal of Computer Science and Technology, 1998, 13(6): 588-596.
    [7]Li Wei, Zhang Bo, Hilmar Jaschek. Real-Time Collision-Free Path Planning for Robots in Configuration Space[J]. Journal of Computer Science and Technology, 1994, 9(1): 37-52.
    [8]Li Weihua, Yuan Youguang. Error Recovery in a Real-Time Multiprocessor System[J]. Journal of Computer Science and Technology, 1992, 7(1): 83-87.
    [9]Wang Hanhu. Transaction Management in Distributed Database System POREL[J]. Journal of Computer Science and Technology, 1988, 3(2): 139-146.
    [10]Duan Ping, Cai Xiyao. A Real-Time Interprocessor Synchronization Algorithm for Communication in Distributed Computer Systems[J]. Journal of Computer Science and Technology, 1987, 2(4): 292-302.

Catalog

    Article views (15) PDF downloads (1295) Cited by()
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return