QoS control for optimality and safety

ABSTRACT

We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameters of its actions. The objective of the control policy is to meet QoS requirements including three types of properties: 1) safety that is, no deadline is missed; 2) optimality that is, maximization of the available time budget; 3) smoothness of quality levels. The method takes as input a model of the application software, QoS requirements and platform-dependent timing information, and produces a controlled application software meeting the QoS requirements on the target platform. This paper provides a complete formalization of the quality control problem. It proposes a new control management policy ensuring safety, near-optimality and smoothness. It also describes a prototype tool implementing the quality control algorithm and experimental results about its application to a video encoder.

REFERENCES

• 1: http://xirisc.deis.unibo.it/.
• 2: K.-E. Arzen, B. Bernhardsson, J. Eker, A. Cervin, K. Nilsson, P. Persson, and L. Sha. Integrated control and scheduling. Technical report.
• 3: N. C. Audsley, R. I. Davis, and A. Burns. Mechanisms for enhancing the flexibility and utility of hard real-time systems. In Real-Time Systems Symposium, pages 12--21. IEEE, 1994.
• 4: R. J. Bril, M. Gabrani, C. Hentschel, G. C. van Loo, and E. F. M. Steffens. Qos for consumer terminals and its support for product families. In Proceedings of the International Conference on Media Futures, 2001.
• 5: G. C. Buttazzo , G. Lipari , L. Abeni, Elastic Task Model for Adaptive Rate Control, Proceedings of the IEEE Real-Time Systems Symposium, p.286, December 02-04, 1998
• 6: Jacques Combaz , Jean-Claude Fernandez , Thierry Lepley , Joseph Sifakis, Fine Grain QoS Control for Multimedia Application Software, Proceedings of the conference on Design, Automation and Test in Europe, p.1038-1043, March 07-11, 2005 [doi>10.1109/DATE.2005.155]
• 7: R. I. Davis, K. W. Tindell, and A. Burns. Scheduling slack time in fixed priority preemptive systems. In Proceeding of the IEEE Real-Time Systems Symposium, pages 222--231.
• 8: D. Isovic, G. Fohler, and L. Steffens. Timing constraints of mpeg-2 decoding for high quality video: misconceptions and realistic assumptions.
• 9: G. Koren , D. Shasha, Skip-Over: Algorithms and Complexity for Overloaded Systems that Allow Skips, New York University, New York, NY, 1996
• 10: J. Lehoczky and S.Thuel. Algorithms for scheduling hard aperiodic tasks in fixed-priority systems using slack stealing. In Proceedings of the IEEE Real-Time System Symposium.
• 11: Chenyang Lu , John A. Stankovic , Sang H. Son , Gang Tao, Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms*, Real-Time Systems, v.23 n.1-2, p.85-126, July-September 2002 [doi>10.1023/A:1015398403337]
• 12: L. Papalau, C. M. O. Pérez, and L. Steffens. In S. Goddard, editor, Work-In-Progress Session of the 16th Euromicro Conference on Real-Time Systems, pages 33--36, 2004.
• 13: Clemens C. Wust , Liesbeth Steffens , Reinder J. Bril , Wim F. J. Verhaegh, QoS Control Strategies for High-Quality Video Processing, Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS'04), p.3-12, June 30-July 02, 2004 [doi>10.1109/ECRTS.2004.37]

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.1 Applicative (Functional) Programming

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.3 Coding Tools and Techniques

General Terms:
Algorithms, Performance, Reliability

Keywords:
control, fine grain, multimedia, optimality, real-time, safety