Finite Ready Queues As a Mean for Overload Reduction in Weakly-Hard Real-Time Systems

Sophie Quinton 1 Leonie Ahrendts 2 Rolf Ernst 2
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 IDA - Institute of Computer and Network Engineering [Braunschweig]
Abstract : Finite ready queues, implemented by buuers, are a system reality in embedded real-time computing systems and networks. The dimen-sioning of queues is subject to constraints in industrial practice, and often the queue capacity is suucient for typical system behavior but is not suucient in peak overload conditions. This may lead to overrow and consequently to the discarding of jobs. In this paper, we explore whether nite queue capacity can also be used as a mean of design in order to reduce workload peaks and thus shorten a transient overload phase. We present an analysis method which is to the best of our knowledge the rst one able to give (a) worst-case response times guarantees as well as (b) weakly-hard guarantees for tasks which are executed on a computing system with nite queues. Experimental results show that nite queue capacity may only a have weak overload limiting eeect. This unexpected outcome can be explained by the system behavior in the worst-case corner cases. The analysis shows nevertheless that a trade-oo between weakly-hard guarantees and queue sizes is possible.
Keywords : Real-Time Systems Weakly-Hard Real-Time Guarantees Limited Queue Capacity
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [21 references]  Display  Hide  Download
https://hal.inria.fr/hal-01674737
Contributor : Sophie Quinton <>
Submitted on : Wednesday, January 3, 2018 - 3:14:59 PM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM
Document(s) archivé(s) le : Thursday, May 3, 2018 - 4:17:28 AM

File

rtns17.pdf
Files produced by the author(s)

Identifiers

Collections

INRIA | INRIA2017 | LIG_SRCPR | LIG-MFML-SPADES | LIG | UGA

Citation

Sophie Quinton, Leonie Ahrendts, Rolf Ernst. Finite Ready Queues As a Mean for Overload Reduction in Weakly-Hard Real-Time Systems. RTNS 2017 - 25th International Conference on Real-Time Networks and Systems, Oct 2017, Grenoble, France. pp.88-97, ⟨10.1145/3139258.3139259⟩. ⟨hal-01674737⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

215

Files downloads

126

Contact


archive-ouverte@inria.fr