QoS negotiation in real-time systems and its application to automated flight control

We propose a model for quality-of-service (QoS) negotiation in building real-time services to meet both predictability and graceful degradation requirements. QoS negotiation is shown to (i) outperform conventional "binary" admission control schemes (either guaranteeing the required QoS or rejecting the service request), and (ii) achieve higher application-perceived system utility. We incorporated the proposed QoS-negotiation model into an example real-time middleware service, called RTPOOL, which manages a distributed pool of shared computing resources (processors) to guarantee timeliness QoS for real-time applications. The efficacy and power of QoS negotiation are demonstrated for an automated flight control system implemented on a network of PCs running RT-POOL. This system is used to fly an F-16 fighter aircraft modeled using the Aerial Combat (ACM) F-16 Flight Simulator. Experimental results indicate that QoS negotiation, while maintaining real-time guarantees, enables graceful QoS degradation under conditions in which traditional schedulability analysis and admission control schemes fail.

[1]  Aurel A. Lazar,et al.  A Binding Architecture for Multimedia Networks , 1995, J. Parallel Distributed Comput..

[2]  S. Liden.  The evolution of Flight Management Systems , 1994, AIAA/IEEE Digital Avionics Systems Conference. 13th DASC.

[3]  Kang G. Shin,et al.  Evaluation of Load Sharing in HARTS with Consideration of Its Communication Activities , 1996, IEEE Trans. Parallel Distributed Syst..

[4]  Stefan Savage,et al.  Processor capacity reserves: operating system support for multimedia applications , 1994, 1994 Proceedings of IEEE International Conference on Multimedia Computing and Systems.

[5]  Dennis Shasha,et al.  D/sup over/; an optimal on-line scheduling algorithm for overloaded real-time systems , 1992, [1992] Proceedings Real-Time Systems Symposium.

[6]  B. Earl Wells,et al.  An augmented approach to task allocation: combining simulated annealing with list-based heuristics , 1993, 1993 Euromicro Workshop on Parallel and Distributed Processing.

[7]  Harrick M. Vin,et al.  A hierarchial CPU scheduler for multimedia operating systems , 1996, OSDI '96.

[8]  Riccardo Bettati,et al.  Imprecise computations , 1994, Proc. IEEE.

[9]  Edmund H. Durfee,et al.  Buying Time for Resource-Bounded Planning , 1997 .

[10]  Kang G. Shin,et al.  Assignment of Task Modules in Hypercube Multicomputers with Component Failures for Communication Efficiency , 1994, IEEE Trans. Computers.

[11]  Andrew T. Campbell,et al.  A quality of service architecture , 1994, CCRV.

[12]  Jia Xu,et al.  Multiprocessor Scheduling of Processes with Release Times, Deadlines, Precedence, and Exclusion Relations , 1993, IEEE Trans. Software Eng..

[13]  Anindo Banerjea,et al.  The Tenet real-time protocol suite: design, implementation, and experiences , 1996, TNET.

[14]  Hideyuki Tokuda,et al.  Real-Time Mach: Towards a Predictable Real-Time System , 1990, USENIX MACH Symposium.

[15]  Shen Shen Wu,et al.  Heuristic Algorithms for Task Assignment and Scheduling in a Processor Network , 1994, Parallel Comput..

[16]  J. M. Schreur.  B737 flight management computer flight plan trajectory computation and analysis , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[17]  Andrea Bondavalli,et al.  Design of Flexible and Dependable Real-Time Applications , 1996 .

[18]  Too-Seng Tia,et al.  Assigning real-timle tasks and resources to distributed systems , 1995 .

[19]  Carl A. Waldspurger,et al.  Lottery and stride scheduling: flexible proportional-share resource management , 1995 .

[20]  Alan Burns,et al.  Flexible scheduling for adaptable real-time systems , 1995, Proceedings Real-Time Technology and Applications Symposium.

[21]  Andrew T. Campbell,et al.  A survey of QoS architectures , 1998, Multimedia Systems.

[22]  Franklin Reynolds,et al.  An Architectural Overview of Alpha: A Real-Time, Distributed Kernel , 1992, USENIX Workshop on Microkernels and Other Kernel Architectures.

[23]  Kang G. Shin,et al.  Optimal combined task and message scheduling in distributed real-time systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[24]  T. Shepard,et al.  A Pre-Run-Time Scheduling Algorithm For Hard Real-Time Systems , 1991, IEEE Trans. Software Eng..

[25]  Yi Pan,et al.  Task allocation in distributed computer systems through an AI planner solver , 1995, Proceedings of the IEEE 1995 National Aerospace and Electronics Conference. NAECON 1995.

[26]  Tim Lüth,et al.  Task description, decomposition, and allocation in a distributed autonomous multi-agent robot system , 1994, Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'94).

[27]  Shyh-In Hwang,et al.  Schedulability-oriented replication of periodic tasks in distributed real-time systems , 1995, Proceedings of 15th International Conference on Distributed Computing Systems.

[28]  Krithi Ramamritham,et al.  Allocation and Scheduling of Precedence-Related Periodic Tasks , 1995, IEEE Trans. Parallel Distributed Syst..

[29]  Parameswaran Ramanathan.  Graceful degradation in real-time control applications using (m, k)-firm guarantee , 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.

[30]  Krithi Ramamritham,et al.  Virtual Time CSMA Protocols for Hard Real-Time Communication , 1987, IEEE Transactions on Software Engineering.

[31]  David J. Musliner,et al.  World Modeling for the Dynamic Construction of Real-Time Control Plans , 1995, Artif. Intell..

[32]  Anees Shaikh,et al.  RTCAST: lightweight multicast for real-time process groups , 1996, Proceedings Real-Time Technology and Applications.

[33]  Hee Yong Youn,et al.  An efficient task allocation scheme for two-dimensional mesh-connected systems , 1995, Proceedings of 15th International Conference on Distributed Computing Systems.

[34]  Lui Sha,et al.  On task schedulability in real-time control systems , 1996, 17th IEEE Real-Time Systems Symposium.

[35]  Michael B. Jones,et al.  CPU reservations and time constraints: efficient, predictable scheduling of independent activities , 1997, SOSP.

[36]  Kang G. Shin,et al.  Structuring communication software for quality-of-service guarantees , 1996, 17th IEEE Real-Time Systems Symposium.

[37]  Larry L. Peterson,et al.  The x-Kernel: An Architecture for Implementing Network Protocols , 1991, IEEE Trans. Software Eng..

[38]  Kang G. Shin,et al.  Real-time communication in multi-hop networks , 1991, [1991] Proceedings. 11th International Conference on Distributed Computing Systems.

[39]  Robin Fairbairns,et al.  The Design and Implementation of an Operating System to Support Distributed Multimedia Applications , 1996, IEEE J. Sel. Areas Commun..

[40]  Kang G. Shin,et al.  Real-Time Communication in Multihop Networks , 1994, IEEE Trans. Parallel Distributed Syst..

[41]  Michael B. Jones,et al.  Modular real-time resource management in the Rialto operating system , 1995, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V).

[42]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[43]  John Potter,et al.  Operating system extensions for dynamic real-time applications , 1996, 17th IEEE Real-Time Systems Symposium.

[44]  Klara Nahrstedt,et al.  The QOS Broker , 1995, IEEE Multim..

[45]  Klara Nahrstedt,et al.  Design, Implementation, and Experiences of the OMEGA End-Point Architecture , 1996, IEEE J. Sel. Areas Commun..

[46]  Sanjoy K. Baruah,et al.  On-line scheduling to maximize task completions , 1994, 1994 Proceedings Real-Time Systems Symposium.

[47]  Dennis Shasha,et al.  D^over: An Optimal On-Line Scheduling Algorithm for Overloaded Uniprocessor Real-Time Systems , 1995, SIAM J. Comput..

[48]  Daniel P. Siewiorek,et al.  Simulated annealing applied to multicomputer task allocation and processor specification , 1996, Proceedings of SPDP '96: 8th IEEE Symposium on Parallel and Distributed Processing.

[49]  Krithi Ramamritham,et al.  The Spring kernel: a new paradigm for real-time systems , 1991, IEEE Software.