Advanced

DMAC: Deadline-Miss-Aware Control

Pazzaglia, Paolo LU ; Mandrioli, Claudio LU ; Maggio, Martina LU and Cervin, Anton LU (2019) 31st Euromicro Conference on Real-Time Systems (ECRTS 2019) In Leibniz International Proceedings in Informatics (LIPIcs) 133. p.1-24
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... (More)
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 possesses knowledge of 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. Our experimental results show that our design proposal – i.e., that exploring the space where deadline can be missed and handled with different strategies – greatly outperforms classical control design techniques. (Less)
Please use this url to cite or link to this publication:
author
; ; and
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
host publication
31st Euromicro Conference on Real-Time Systems : ECRTS 2019 - ECRTS 2019
series title
Leibniz International Proceedings in Informatics (LIPIcs)
editor
Quinton, Sophie
volume
133
article number
1
pages
1 - 24
publisher
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
conference name
31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
conference location
Stutgart, Germany
conference dates
2019-07-09 - 2019-07-12
external identifiers
  • scopus:85069162593
ISSN
1868-8969
ISBN
978-3-95977-110-8
DOI
10.4230/LIPIcs.ECRTS.2019.1
project
ELLIIT LU P02: Co-Design of Robust and Secure Networked Embedded Control Systems
language
English
LU publication?
yes
id
e101ed99-db0e-4492-9c1c-5578226d8964
date added to LUP
2019-06-19 09:30:37
date last changed
2020-12-29 04:01:52
@inproceedings{e101ed99-db0e-4492-9c1c-5578226d8964,
  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 possesses knowledge of 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. Our experimental results show that our design proposal – i.e., that exploring the space where deadline can be missed and handled with different strategies – greatly outperforms classical control design techniques.},
  author       = {Pazzaglia, Paolo and Mandrioli, Claudio and Maggio, Martina and Cervin, Anton},
  booktitle    = {31st Euromicro Conference on Real-Time Systems : ECRTS 2019},
  editor       = {Quinton, Sophie},
  isbn         = {978-3-95977-110-8},
  issn         = {1868-8969},
  language     = {eng},
  pages        = {1--24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
  title        = {DMAC: Deadline-Miss-Aware Control},
  url          = {https://lup.lub.lu.se/search/ws/files/66578609/ecrts19.pdf},
  doi          = {10.4230/LIPIcs.ECRTS.2019.1},
  volume       = {133},
  year         = {2019},
}