Article

QoS control for optimality and safety

Authors:

Jacques Combaz,

Jean-Claude Fernandez,

Thierry Lepley,

Joseph SifakisAuthors Info & Claims

EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software

Pages 90 - 99

https://doi.org/10.1145/1086228.1086247

Published: 18 September 2005 Publication History

Get Access

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/.

Google Scholar

[2]

K.-E. Arzen, B. Bernhardsson, J. Eker, A. Cervin, K. Nilsson, P. Persson, and L. Sha. Integrated control and scheduling. Technical report.

Google Scholar

[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.

Crossref

Google Scholar

[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.

Google Scholar

[5]

G. C. Buttazzo, G. Lipari, and L. Abeni. Elastic task model for adaptive rate control. In RTSS, pages 286--295, 1998.

Digital Library

Google Scholar

[6]

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.

Digital Library

Google Scholar

[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.

Google Scholar

[8]

D. Isovic, G. Fohler, and L. Steffens. Timing constraints of mpeg-2 decoding for high quality video: misconceptions and realistic assumptions.

Google Scholar

[9]

G. Koren and D. Shasha. Skip-over: Algorithms and complexity for overloaded systems that allow skips. Technical Report TR1996-715, 1996.

Digital Library

Google Scholar

[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.

Google Scholar

[11]

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.

Digital Library

Google Scholar

[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.

Google Scholar

[13]

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.

Digital Library

Google Scholar

Cited By

View all

Hazra A(2024)Formal Methods for Characterization and Analysis of Quality Specifications in Component-Based SystemsInternational Journal of Reliability, Quality and Safety Engineering10.1142/S021853932450044X32:01Online publication date: 15-Nov-2024
https://doi.org/10.1142/S021853932450044X
Xie TQin X(2019)Performance evaluation of a new scheduling algorithm for distributed systems with security heterogeneityJournal of Parallel and Distributed Computing10.1016/j.jpdc.2007.06.00467:10(1067-1081)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.1016/j.jpdc.2007.06.004
Sifakis J(2018)System Design in the Era of IoT — Meeting the Autonomy ChallengeElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.272.1272(1-22)Online publication date: 25-Jun-2018
https://doi.org/10.4204/EPTCS.272.1
Show More Cited By

Index Terms

QoS control for optimality and safety
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Functional languages

Recommendations

System Safety Requirements as Control Structures
COMPSAC '09: Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01

Along 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 & Safety

Safety 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 ...
Stability vs optimality tradeoff in game theoretic mechanisms for QoS provision
SAC '03: Proceedings of the 2003 ACM symposium on Applied computing

We study noncooperative games whose players are selfish, distributed users of a network and the game's objective is to optimize Quality of Service (QoS). Our classes of games are based on generally accepted realistic microeconomic market models of QoS ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software

September 2005

390 pages

ISBN:1595930914

DOI:10.1145/1086228

Conference Chair:
Wayne Wolf
Princeton University, Princeton, NJ

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 September 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

EMSOFT05

Sponsor:

EMSOFT05: Fifth ACM International Conference on Embedded Software 2005

September 18 - 22, 2005

NJ, Jersey City, USA

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
325
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hazra A(2024)Formal Methods for Characterization and Analysis of Quality Specifications in Component-Based SystemsInternational Journal of Reliability, Quality and Safety Engineering10.1142/S021853932450044X32:01Online publication date: 15-Nov-2024
https://doi.org/10.1142/S021853932450044X
Xie TQin X(2019)Performance evaluation of a new scheduling algorithm for distributed systems with security heterogeneityJournal of Parallel and Distributed Computing10.1016/j.jpdc.2007.06.00467:10(1067-1081)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.1016/j.jpdc.2007.06.004
Sifakis J(2018)System Design in the Era of IoT — Meeting the Autonomy ChallengeElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.272.1272(1-22)Online publication date: 25-Jun-2018
https://doi.org/10.4204/EPTCS.272.1
Shmeis ZJaber M(2018)Fine and coarse grained composition and adaptation of spark applicationsFuture Generation Computer Systems10.1016/j.future.2018.04.04886(629-640)Online publication date: Sep-2018
https://doi.org/10.1016/j.future.2018.04.048
Combaz JFernandez JSifakis JStrus L(2018)Symbolic quality control for multimedia applicationsReal-Time Systems10.1007/s11241-008-9049-240:1(1-43)Online publication date: 28-Dec-2018
https://dl.acm.org/doi/10.1007/s11241-008-9049-2
Skalistis SSimalatsar A(2017)Near-optimal deployment of dataflow applications on many-core platforms with real-time guaranteesProceedings of the Conference on Design, Automation & Test in Europe10.5555/3130379.3130562(752-757)Online publication date: 27-Mar-2017
https://dl.acm.org/doi/10.5555/3130379.3130562
Skalistis SSimalatsar A(2017)Near-optimal deployment of dataflow applications on many-core platforms with real-time guaranteesDesign, Automation & Test in Europe Conference & Exhibition (DATE), 201710.23919/DATE.2017.7927090(752-757)Online publication date: Mar-2017
https://doi.org/10.23919/DATE.2017.7927090
Bertin CGuillon CDe Bosschere KSapatnekar S(2010)Compilation and virtualization in the HiPEAC visionProceedings of the 47th Design Automation Conference10.1145/1837274.1837302(96-101)Online publication date: 13-Jun-2010
https://dl.acm.org/doi/10.1145/1837274.1837302
Jaber MCombaz JStrus L(2008)Using neural networks for quality management2008 IEEE International Conference on Emerging Technologies and Factory Automation10.1109/ETFA.2008.4638586(1441-1448)Online publication date: Sep-2008
https://doi.org/10.1109/ETFA.2008.4638586
Combaz JStrus L(2008)A stochastic approach for fine grain QoS control2008 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia10.1109/ESTMED.2008.4697008(115-120)Online publication date: Oct-2008
https://doi.org/10.1109/ESTMED.2008.4697008
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

System Safety Requirements as Control Structures

Requirement traceability in safety critical systems

Stability vs optimality tradeoff in game theoretic mechanisms for QoS provision

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations