2016/02/24 by Jian-Jia Chen, Chen, Jian-Jia, Wen-Hung Huang +3
Computer Science · #Data Structures and Algorithms (cs.DS) #Distributed systems and fault tolerance #Embedded Systems Design Techniques #FOS: Computer and information sciences #Real-Time Systems Scheduling #cs.DS
paper · pdf · doi:10.48550/arxiv.1602.07750
arxiv created 2016/02/24 · openalex publication_date 2016/02/24 · arxiv updated 2016/02/26 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28
This report presents a proof to support the correctness of the schedulability test for self-suspending real-time task systems proposed by Jane W. S. Liu in her book titled "Real-Time Systems" (Pages 164-165). The same concept was also implicitly used by Rajkumar, Sha, and Lehoczky in RTSS 1988 (Page 267) for analyzing self-suspending behaviour due to synchronization protocols in multiprocessor systems.