Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing (Maximilian Gaukler and Peter Ulbrich), In Proceedings of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH '19) (Goran Frehse, Matthias Althoff, eds.), 2019. @InProceedings{gaukler:19:arch,
author = {Maximilian Gaukler and Peter Ulbrich},
booktitle = {{Proceedings of the 6\textsuperscript{th} International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH '19)}},
title = {{Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing}},
year = {2019},
address = {Manchester, UK},
editor = {Goran Frehse and Matthias Althoff},
pages = {183--200},
series = {{EasyChair Proceedings in Computation}},
doi = {10.29007/c4zl},
issn = {2398-7340},
keywords = {QRONOS},
location = {Montreal},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/gaukler_19_arch.pdf},
}
Convergence Rate Abstractions for Weakly-Hard Real-Time Control (Gaukler, Maximilian, Rheinfels, Tim, Ulbrich, Peter and Roppenecker, Günter), 2019. @misc{gaukler:19:arxiv,
author = {Gaukler, Maximilian and Rheinfels, Tim and Ulbrich, Peter and Roppenecker, Günter},
title = {{Convergence Rate Abstractions} for {Weakly-Hard Real-Time Control}},
year = {2019},
abstract = {Classically, a control loop is designed to be executed strictly periodically.<br />This is, however, difficult to achieve in many scenarios, for example, when<br />overload or packet loss cannot be entirely avoided. Here, weakly-hard real-time<br />control systems are a common approach which relaxes timing constraints and<br />leverages the inherent robustness of controllers. Yet, their analysis is often<br />hampered by the complexity arising from the system dimension and the vast<br />number of possible timing sequences. In this paper, we present the novel<br />concept of convergence rate abstractions that provide a sound yet simple<br />one-dimensional system description. This approach simplifies the stability<br />analysis of weakly-hard real-time control systems. At the same time, our<br />abstractions facilitate efficient computation of bounds on the worst-case<br />system state at run-time and thus the implementation of adaptation mechanisms.<br},
archiveprefix = {arxiv},
eprint = {1912.09871},
faupublication = {yes},
peerreviewed = {automatic}
}
Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis (Simon Schuster, Peter Wägemann, Peter Ulbrich and Wolfgang Schröder-Preikschat), In Proceedings of the 25th Real-Time and Embedded Technology and Applications Symposium (RTAS '19) (IEEE Computer Society, ed.), 2019. @InProceedings{schuster:19:rtas,
author = {Simon Schuster and Peter W{\"a}gemann and Peter Ulbrich and Wolfgang Schr{\"o}der-Preikschat},
booktitle = {{Proceedings of the 25\textsuperscript{th} Real-Time and Embedded Technology and Applications Symposium (RTAS '19)}},
title = {{Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis}},
year = {2019},
address = {Montreal},
editor = {IEEE Computer Society},
pages = {318--330},
doi = {10.1109/RTAS.2019.00034},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/schuster_19_rtas.pdf},
}
QRONOS: Towards Quality-aware Responsive Real-Time Control Systems (Peter Ulbrich and Maximilian Gaukler), In Brief Presentations Proceedings of the 25th Real-Time and Embedded Technology and Applications Symposium (RTAS-BP '19) (IEEE Press, ed.), 2019. @string{ieee="IEEE Press"}
@InProceedings{ulbrich:19:rtas-wip,
author = {Peter Ulbrich and Maximilian Gaukler},
booktitle = {Brief Presentations Proceedings of the {25\textsuperscript{th} Real-Time and Embedded Technology and Applications Symposium (RTAS-BP '19)}},
title = {{QRONOS: Towards Quality-aware Responsive Real-Time Control Systems}},
year = {2019},
address = {Montreal},
editor = {IEEE},
pages = {1--4},
bibsource = {UnivIS, http://univis.uni-erlangen.de/prg?search=publications&id=91929757&show=elong},
keywords = {QRONOS},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/ulbrich_19_rtas-wip.pdf},
}
Migration Hints in Real-Time Operating Systems (Phillip Raffeck, Peter Ulbrich and Wolfgang Schröder-Preikschat), In Proceedings of the 40th IEEE Real-Time Systems Symposium (RTSS '19), 2019. @InProceedings{raffeck:19:rtss-poster,
author = {Phillip Raffeck and Peter Ulbrich and Wolfgang Schr{\"o}der-Preikschat},
booktitle = {Proceedings of the 40\textsuperscript{th} IEEE Real-Time Systems Symposium (RTSS '19)},
title = {Migration Hints in Real-Time Operating Systems},
year = {2019},
month = dec,
pages = {1--4},
series = {Poster Abstract},
bdsk-url-1 = {https://doi.org/10.1109/RTSS46320.2019.00056},
doi = {10.1109/RTSS46320.2019.00056},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/raffeck_19_rtsswip.pdf},
}
Work-in-progress: Migration Hints in Real-time Operating Systems (P. Raffeck and P. Ulbrich), In Proceedings of the 40th IEEE Real-Time Systems Symposium (RTSS '19), 2019. @string{ieee="IEEE Press"}
@InProceedings{raffeck:19:rtss-wip,
author = {P. {Raffeck} and P. {Ulbrich} and W. {Schröder-Preikschat}},
booktitle = {Proceedings of the 40\textsuperscript{th} IEEE Real-Time Systems Symposium (RTSS '19)},
title = {Work-in-progress: Migration Hints in Real-time Operating Systems},
year = {2019},
month = dec,
organization = {IEEE},
pages = {0--0},
doi = {10.1109/RTSS46320.2019.00056},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/raffeck_19_rtsswip.pdf},
}
Boosting Job-Level Migration by Static Analysis (Klaus, Tobias, Ulbrich, Peter, Raffeck, Phillip, Frank, Benjamin, Wernet, Lisa, Ritter von Onciul, Maxim and Schröder-Preikschat, Wolfgang), In Proceedings of the 15th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19) (Lohmann, Daniel, Lackorzynski, Adam, eds.), 2019. @InProceedings{klaus:19:ospert,
author = {Klaus, Tobias and Ulbrich, Peter and Raffeck, Phillip and Frank, Benjamin and Wernet, Lisa and Ritter von Onciul, Maxim and Schr{\"o}der-Preikschat, Wolfgang},
booktitle = {Proceedings of the 15\textsuperscript{th} Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)},
title = {{Boosting Job-Level Migration by Static Analysis}},
year = {2019},
editor = {Lohmann, Daniel and Lackorzynski, Adam},
month = jul,
note = {\textbf{Best Paper Award}.},
pages = {17--22},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/klaus_19_ospert.pdf},
}