License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECRTS.2019.1
URN: urn:nbn:de:0030-drops-107387
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2019/10738/
Go to the corresponding LIPIcs Volume Portal

Pazzaglia, Paolo ; Mandrioli, Claudio ; Maggio, Martina ; Cervin, Anton

DMAC: Deadline-Miss-Aware Control

pdf-format:
LIPIcs-ECRTS-2019-1.pdf (0.7 MB)

Abstract

The real-time implementation of periodic controllers requires solving a co-design problem, in which the choice of the controller sampling period is a crucial element. Classic design techniques limit the period exploration to safe values, that guarantee the correct execution of the controller alongside the remaining real-time load, i.e., ensuring that the controller worst-case response time does not exceed its deadline. This paper presents DMAC: the first formally-grounded controller design strategy that explores shorter periods, thus explicitly taking into account the possibility of missing deadlines. The design leverages information about the probability that specific sub-sequences of deadline misses are experienced. The result is a fixed controller that on average works as the ideal clairvoyant time-varying controller that knows future deadline hits and misses. We obtain a safe estimate of the hit and miss events using the scenario theory, that allows us to provide probabilistic guarantees. The paper analyzes controllers implemented using the Logical Execution Time paradigm and three different strategies to handle deadline miss events: killing the job, letting the job continue but skipping the next activation, and letting the job continue using a limited queue of jobs. Experimental results show that our design proposal - i.e., exploring the space where deadlines can be missed and handled with different strategies - greatly outperforms classical control design techniques.

BibTeX - Entry

@InProceedings{pazzaglia_et_al:LIPIcs:2019:10738,
  author =	{Paolo Pazzaglia and Claudio Mandrioli and Martina Maggio and Anton Cervin},
  title =	{{DMAC: Deadline-Miss-Aware Control}},
  booktitle =	{31st Euromicro Conference on Real-Time Systems (ECRTS 2019)},
  pages =	{1:1--1:24},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-110-8},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{133},
  editor =	{Sophie Quinton},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/10738},
  URN =		{urn:nbn:de:0030-drops-107387},
  doi =		{10.4230/LIPIcs.ECRTS.2019.1},
  annote =	{Keywords: Weakly-Hard Real-Time Systems, Deadline Miss Handling, Control Design}
}

Keywords: Weakly-Hard Real-Time Systems, Deadline Miss Handling, Control Design
Collection: 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Issue Date: 2019
Date of publication: 02.07.2019
Supplementary Material: ECRTS 2019 Artifact Evaluation approved artifact available at https://dx.doi.org/10.4230/DARTS.5.1.3

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI