loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
25th IEEE International Real-Time Systems Symposium (RTSS'04)
Compositional Real-Time Scheduling Framework
Lisbon, Portugal
December 05-December 08
ISBN: 0-7695-2247-5
Insik Shin, University of Pennsylvania
Insup Lee, University of Pennsylvania
Our goal is to develop a compositional real-time scheduling framework so that global (system-level) timing properties can be established by composing independently (specified and) analyzed local (component-level) timing properties. The two essential problems in developing such a framework are (1) to abstract the collective real-time requirements of a component as a single real-time requirement and (2) to compose the component demand abstraction results into the system-level real-time requirement. In our earlier work, we addressed the problems using the Liu and Layland periodic model. In this paper, we address the problems using another well-known model, a bounded-delay resource partition model, as a solution model to the problems. To extend our framework to this model, we develop an exact feasibility condition for a set of bounded-delay tasks over a bounded-delay resource partition. In addition, we present simulation results to evaluate the overheads that the component demand abstraction results incur in terms of utilization increase. We also present new utilization bound results on a bounded-delay resource model.
Citation:
Insik Shin, Insup Lee, "Compositional Real-Time Scheduling Framework," rtss, pp.57-67, 25th IEEE International Real-Time Systems Symposium (RTSS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.