DMAC: Deadline-Miss-Aware Control
(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:
https://lup.lub.lu.se/record/e101ed99-db0e-4492-9c1c-5578226d8964
- author
- Pazzaglia, Paolo LU ; Mandrioli, Claudio LU ; Maggio, Martina LU and Cervin, Anton LU
- organization
- publishing date
- 2019-07
- 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
- Testing Autonomous Control-Based Software Systems
- 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
- 2022-05-11 18:46:28
@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/files/66578609/ecrts19.pdf}}, doi = {{10.4230/LIPIcs.ECRTS.2019.1}}, volume = {{133}}, year = {{2019}}, }