by Tarek F. Abdelzaher, Tarek F. Abdelzaher
http://www.eecs.umich.edu/RTCL/adaptware/proposal.ps
Add To MetaCart
Abstract:
We propose to develop a portable middleware service to manage dynamic allocation and scheduling of computing resources in embedded distributed real-time systems transparently on behalf of the application programmer. The service ensures satisfaction of timing constraints subject to given load and failure assumptions in accordance with application Quality of Service (QoS) requirements while achieving graceful QoS adaptation when the load or failure hypothesis is violated. Traditionally pre-run-time feasibility analysis is employed to ensure that timing constraints of embedded real-time applications are satisfied at run-time. This analysis requires a priori characterization of run-time load and failure conditions. As embedded systems grow more complex, characterization of the worst-case conditions becomes more difficult. Thus, such systems must be designed to deal with potential violations of the load and failure hypotheses. We argue that current priority-based systems and dynamic admission control based systems do not allow for graceful degradation because they do not give the designer fine-grained means to express how exactly application QoS should be degraded. Instead, we propose a QoS adaptation model based on QoS negotiation with the application as a means to meet both predictability and graceful degradation requirements. Our model provides generic means for the
Citations
|
586
|
The x-Kernel: An architecture for implementing network protocols
– Hutchinson, Peterson
- 1991
|
|
539
|
Supporting real-time applications in an integrated services packet network: architecture and mechanism
– Clark, Shenker, et al.
- 1992
|
|
190
|
Real-Time Mach: Toward a Predictable Real-Time System
– Tokuda, Nakajima, et al.
- 1990
|
|
177
|
The Spring Kernel: A new paradigm for real-time operating systems
– Stankovic, Ramamritham
- 1989
|
|
146
|
Scheduling processes with release times, deadlines, precedence, and exclusion relations
– Xu, Parnas
- 1990
|
|
143
|
Real-Time Communication in Multi-Hop Networks
– Kandlur, Shin, et al.
- 1994
|
|
112
|
The QoS broker
– Nahrstedt, Smith
- 1995
|
|
92
|
D-Over: An Optimal On-Line Scheduling Algorithm for Overloaded Real-Time Systems
– Koren, Shasha
- 1992
|
|
90
|
Dynamic priority ceiling: A concurrency control protocol for real time systems. Real-time Systems
– Chen, Lin
- 1990
|
|
74
|
QoS negotiation in real-time systems and its application to automated flight control
– ABDELZAHER, ATKINS, et al.
- 2000
|
|
68
|
Modular realtime resource management in the Rialto operating system
– Jones, Leach, et al.
- 1995
|
|
62
|
On task schedulability in real-time control systems
– Seto, Lehoczky, et al.
- 1996
|
|
62
|
Virtual time CSMA protocols for hard real-time communication
– Zhao, Ramamritham
- 1987
|
|
40
|
Combined Task and Message Scheduling in Distributed Real-Time Systems
– Abdelzaher, Shin
- 1999
|
|
35
|
RTCAST: Lightweight Multicast for Real-Time Process Groups
– ABDELZAHER, SHAIKH, et al.
- 1996
|
|
27
|
A pre-run-time scheduling algorithm for hard real-time systems
– Shepard, Gagne
- 1991
|
|
17
|
Operating System Extensions for Dynamic Real-Time Applications
– Sommer, Potter
- 1996
|
|
16
|
On-line scheduling to maximize task completions
– Baruah, Haritsa, et al.
- 1994
|
|
8
|
ACM: The Aerial Combat Simulation for X11
– Rainey
- 1994
|
|
6
|
Structuring communication for quality of service guarantees
– Mehra, Indiresan, et al.
- 1996
|
|
6
|
A negotiation model for distributed multimedia applications
– Hafid, Dssouli
- 1995
|
|
4
|
Reasoning About and In Time when Building Plans for Safe, Fully-Automated Aircraft Flight
– Atkins
- 1996
|
|
4
|
Application Requirements and QoS Negotiation in Multimedia Systems
– Plagemann, Saethre, et al.
- 1995
|
|
3
|
Enumerative and iterative computational approach," Computer and Job-Shop Scheduling Theory
– Kohler, Steiglitz
- 1976
|
|
3
|
On Quality of Service Negotiation for Distributed Multimedia Applications (Technical Report No. 977). Universit de Montral
– Hafid, Bochmann, et al.
- 1995
|
|
2
|
Hypothesis testing
– Castanon
- 1996
|