Publications

@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},
}

@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}
}

@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}
}

@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},
}

@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)},
	doi = {10.1109/RTSS46320.2019.00056},
	year      = {2019},
	month     = dec,
	series    = {Poster Abstract},
	pages     = {1--4},
	title     = {Migration Hints in Real-Time Operating Systems},
	bdsk-url-1 = {https://doi.org/10.1109/RTSS46320.2019.00056}
}

@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}
}

@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}
}

@inproceedings{eichler:18:wcet,
  author = {Christian Eichler and Tobias Distler and Peter Ulbrich and Peter W{\"a}gemann and Wolfgang Schr{\"o}der-Preikschat},
  booktitle = {Proceedings of the 18\textsuperscript{th} International Workshop on Worst-Case Execution Time Analysis (WCET '18)},
  title = {{TASKers: A Whole-System Generator for Benchmarking Real-Time-System Analyses}},
  year = {2018},
  address = {Dagstuhl, Germany},
  editor = {Florian Brandner},
  pages = {6:1--6:12},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  series = {OpenAccess Series in Informatics (OASIcs)},
  volume = {63},
  annote = {Keywords: benchmarking real-time-system analyses, task-set generation, whole-system generation, static timing analysis, WCET analysis},
  doi = {10.4230/OASIcs.WCET.2018.6},
  isbn = {978-3-95977-073-6},
  issn = {2190-6807}
}

@inproceedings{klaus:18:rtns,
  author = {Tobias Klaus and Florian Franzmann and Matthias Becker and Peter Ulbrich},
  booktitle = {{Proceedings of the 26\textsuperscript{th} International Conference on Real-Time Networks and Systems (RTNS '18)}},
  title = {{Data Propagation Delay Constraints in Multi-Rate Systems -- Deadlines vs. Job-Level Dependencies}},
  year = {2018},
  address = {Ney York, NY},
  editor = {Mathieu Jan and Moris Behnam},
  pages = {93--103},
  doi = {10.1145/3273905.3273923},
  isbn = {978-1-4503-6463-8},
  location = {Poitiers, France}
}

@inproceedings{schuster:18:ecrts-wip,
  author = {Schuster, Simon and Wägemann, Peter and Ulbrich, Peter and Schröder-Preikschat, Wolfgang},
  booktitle = {Work-In-Progress Proceedings of 30\textsuperscript{th} Euromicro Conference on Real-Time Systems (ECRTS-WiP '18)},
  title = {{Towards System-Wide Timing Analysis} of {Real-Time-Capable Operating Systems}},
  year = {2018},
  editor = {Martina Maggio},
  pages = {10--12},
  date = {2018-07-03/2018-07-06},
  venue = {Barcelona}
}