,
Liliana Cucu-Grosjean
,
Slim Ben Amor
Creative Commons Attribution 4.0 International license
Existing results for cyber-physical systems have been proposed to merge the requirements associated to the stability of the physical components and the schedulability of the cyber components. Nevertheless, none of the existing results has studied these requirements for multiple real-time cascade control tasks where their periods choice are dependent and affect stability. In this paper, we propose a methodology to evaluate the periods of the real-time cascade control tasks that ensures stability of the physical components, then we present a co-design problem for the period choice that guarantees good performance of the physical components and schedulability of the cyber components under fixed-priority scheduling. We then evaluate this methodology on a real use-case of a drone system. Results show the importance of studying these requirements together as their relation has an impact on stable periods range.
@InProceedings{hawila_et_al:LIPIcs.ECRTS.2025.7,
author = {Hawila, Ismail and Cucu-Grosjean, Liliana and Ben Amor, Slim},
title = {{Period Assignment for Real-Time Cascade Control Tasks Under Stability and Schedulability Constraints}},
booktitle = {37th Euromicro Conference on Real-Time Systems (ECRTS 2025)},
pages = {7:1--7:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-377-5},
ISSN = {1868-8969},
year = {2025},
volume = {335},
editor = {Mancuso, Renato},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2025.7},
URN = {urn:nbn:de:0030-drops-235858},
doi = {10.4230/LIPIcs.ECRTS.2025.7},
annote = {Keywords: Real-time Systems, Cascade Control, Physical Stability, Control Performance}
}