Title :
Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications
Author :
Baruah, Sanjoy ; Vestal, Steve
Author_Institution :
North Carolina Univ., Chapter Hill, NC
Abstract :
In a paper that was presented at the recently-concluded real-time systems symposium, Vestal proposed a new real-time task model that is able to represent the fact that the worst-case execution time (WCET) of a single task may be determined to different levels of accuracy with different degrees of confidence. In systems with multiple criticality requirements -different tasks need to be assured of meeting their deadlines with different levels of confidence - such multiple specifications of WCET may be exploited to obtain better processor utilization.This paper conducts a thorough study of the feasibility and schedulability questions for such multi-criticality real-time task systems when implemented upon preemptive uniprocessor platforms.
Keywords :
formal specification; real-time systems; safety-critical software; scheduling; multiple criticality specifications; processor utilization; real-time systems symposium; schedulability analysis; sporadic tasks; uniprocessor platforms; worst-case execution time; Aerospace safety; Air safety; Computer crashes; Injuries; Processor scheduling; Real time systems; Scheduling algorithm; Software standards; System testing; Timing; Feasibility analysis; Hybrid-priorityscheduling.; Safety-critical systems; Schedulability analysis; Sporadic task systems;
Conference_Titel :
Real-Time Systems, 2008. ECRTS '08. Euromicro Conference on
Conference_Location :
Prague
Print_ISBN :
978-0-7695-3298-1
DOI :
10.1109/ECRTS.2008.26