DocumentCode :
3191333
Title :
Resource partition for real-time systems
Author :
Mok, Aloysius K. ; Feng, Xiang ; Chen, Deji
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
fYear :
2001
fDate :
2001
Firstpage :
75
Lastpage :
84
Abstract :
We investigate an approach to implement the open system environment idea by means of temporal resource partitions. In this approach, application task groups with hard timing constraints may share the same physical resource and yet be free from the interference of one another. Each resource partition uses only a fraction of the time on the resource. Partitions are specified by two models, a static partition model and a bounded-delay partition model. Both models achieve a clean separation of concerns between task group level scheduling and resource level partition scheduling. The schedulability problems for both preemptive fixed priority and dynamic priority scheduling policies are analyzed
Keywords :
formal specification; open systems; real-time systems; resource allocation; temporal logic; application task groups; bounded-delay partition model; dynamic priority scheduling policies; hard timing constraints; open system environment idea; partition specification; physical resource; preemptive fixed priority; real time systems; resource level partition scheduling; resource partition; schedulability problems; static partition model; task group level scheduling; temporal resource partitions; Application software; Delay; Dynamic scheduling; Environmental economics; Hardware; Interference; Open systems; Real time systems; Resource management; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Technology and Applications Symposium, 2001. Proceedings. Seventh IEEE
Conference_Location :
Taipei
ISSN :
1080-1812
Print_ISBN :
0-7695-1134-1
Type :
conf
DOI :
10.1109/RTTAS.2001.929867
Filename :
929867
Link To Document :
بازگشت