Jacques Combaz
Joseph Sifakis
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.
- http://xirisc.deis.unibo.it/.Google Scholar
- K.-E. Arzen, B. Bernhardsson, J. Eker, A. Cervin, K. Nilsson, P. Persson, and L. Sha. Integrated control and scheduling. Technical report.Google Scholar
- 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.Google ScholarCross Ref
- 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.Google Scholar
- G. C. Buttazzo, G. Lipari, and L. Abeni. Elastic task model for adaptive rate control. In RTSS, pages 286--295, 1998. Google ScholarDigital Library
- J. Combaz, J. Fernandez, T. Lepley, and J. Sifakis. Fine grain qos control for multimedia application software. In Design, Automation and Test in Europe (DATE'05) Volume 2, pages 1038--1043, 2005. Google ScholarDigital Library
- 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.Google Scholar
- D. Isovic, G. Fohler, and L. Steffens. Timing constraints of mpeg-2 decoding for high quality video: misconceptions and realistic assumptions.Google Scholar
- G. Koren and D. Shasha. Skip-over: Algorithms and complexity for overloaded systems that allow skips. Technical Report TR1996-715, , 1996. Google ScholarDigital Library
- 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.Google Scholar
- C. Lu, J. Stankovic, G. Tao, and S. Son. Feedback control real-time scheduling: Framework, modeling and algorithm. special issue of RT Systems Journal on Control-Theoric Approach To Real-TIme Computing, 23(1/2):85--88, 2002. Google ScholarDigital Library
- 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.Google Scholar
- C. C. Wüst, L. Steffens, R. J. Bril, and W. F. Verhaegh. Qos control strategies for high-quality video processing. In Euromicro Conference on Real-Time Systems, pages 3--12. IEEE, 2004. Google ScholarDigital Library
Index Terms
- QoS control for optimality and safety
Recommendations
System Safety Requirements as Control Structures
COMPSAC '09: Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex. This results in system accidents related to system safety issues. System ...
Requirement traceability in safety critical systems
CARS '10: Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & SafetySafety engineering analysis is a mandatory stage in the design of critical embedded automotive systems. The derivation of safety requirements and their verification require establishing traceability links between requirements and the different artifacts ...
Patterns for control system safety
EuroPLoP '13: Proceedings of the 18th European Conference on Pattern Languages of ProgramThe main purpose of a control system is to operate a system under control so that it functions as desired. However, when a control system for a plant, process or device is being designed, safety-related aspects also need to be considered. In this ...
Comments