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 the artifact linked to DMAC: the first formally-grounded controller design strategy that explores shorter periods, thus explicitly taking into account the possibility of missing deadlines. The experimental results obtained with this artifact show that the DMAC design proposal - i.e., exploring the space where deadlines can be missed and handled with different strategies - greatly outperforms classical control design techniques.
@Article{pazzaglia_et_al:DARTS.5.1.3, author = {Pazzaglia, Paolo and Mandrioli, Claudio and Maggio, Martina and Cervin, Anton}, title = {{DMAC: Deadline-Miss-Aware Control}}, pages = {3:1--3:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2019}, volume = {5}, number = {1}, editor = {Pazzaglia, Paolo and Mandrioli, Claudio and Maggio, Martina and Cervin, Anton}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.1.3}, URN = {urn:nbn:de:0030-drops-107315}, doi = {10.4230/DARTS.5.1.3}, annote = {Keywords: Weakly-Hard Real-Time Systems, Deadline Miss Handling, Control Design} }
92ada2d930d64f5dc3e30e7aab4f7911
(Get MD5 Sum)
Feedback for Dagstuhl Publishing