From Timing Budgets to WCETs: Robust SIL- and BSW-Aware Clustering and Allocation for Iterative Automotive Software Development.
Denzinger, Tobias, Becker, Matthias,, Ulbrich, Peter;
In: Proceedings of the 38th Euromicro Conference on Real-Time Systems (ECRTS '26); Schloss Dagstuhl – Leibniz-Zentrum für Informatik,
2026.
@InProceedings{denzinger:26:ecrts,
author = {Denzinger, Tobias and Becker, Matthias, and Ulbrich, Peter},
booktitle = {Proceedings of the 38\textsuperscript{th} Euromicro Conference on Real-Time Systems (ECRTS '26)},
title = {{From Timing Budgets to WCETs: Robust SIL- and BSW-Aware Clustering and Allocation for Iterative Automotive Software Development}},
year = {2026},
address = {Dagstuhl, Germany},
editor = {Angeliki Kritikakou},
pages = {15:1--15:28},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {375},
annote = {Keywords: cause-effect chains, end-to-end latency constraints, automotive software, SIL, ASIL, AUTOSAR BSW, WCET refinement, timing analysis},
x-conference = {ECRTS '26},
}
Driverator: Generating Realistic Automotive Real-Time Task Sets with SIL and BSW Effects.
@misc{Driverator,
author = {Denzinger, Tobias and Becker, Matthias and Ulbrich, Peter},
publisher = {TUDOdata, Research Data Management, TU Dortmund University},
title = {{Driverator: Generating Realistic Automotive Real-Time Task Sets with SIL and BSW Effects}},
year = {2026},
version = {1.0},
doi = {10.17877/TUDODATA-2026-MOR12ARE},
}
Shedding Light onto Safety Integrity Level and Basic Software Constraints in a Real-World Automotive Application: Case Study with Driverator Framework.
@misc{denzinger:26:casestudy,
title = {Shedding Light onto Safety Integrity Level and Basic Software Constraints in a Real-World Automotive Application: Case Study with Driverator Framework},
author = {Tobias Denzinger and Matthias Becker and Peter Ulbrich},
year = {2026},
eprint = {2605.04837},
archiveprefix = {arXiv},
primaryclass = {cs.SE},
}
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems.
Rheinfels, Tim, Gaukler, Maximilian, Ulbrich, Peter;
In: Proceedings of the 35th Euromicro Conference on Real-Time Systems (ECRTS '23); Schloss Dagstuhl – Leibniz-Zentrum für Informatik,
2023.
@InProceedings{rheinfels:23:ecrts,
author = {Rheinfels, Tim and Gaukler, Maximilian and Ulbrich, Peter},
booktitle = {Proceedings of the 35\textsuperscript{th} Euromicro Conference on Real-Time Systems (ECRTS '23)},
title = {{A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems}},
year = {2023},
address = {Dagstuhl, Germany},
editor = {Papadopoulos, Alessandro V.},
pages = {11:1--11:26},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {262},
annote = {Keywords: Real-time Control, Mixed-Criticality, Switched Systems, State Monitoring},
doi = {10.4230/LIPIcs.ECRTS.2023.11},
isbn = {978-3-95977-280-8},
issn = {1868-8969},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/rheinfels_23_ecrts.pdf},
urn = {urn:nbn:de:0030-drops-180405},
x-conference = {ECRTS '23},
}
2022
OS-State–Aware Fuzzing for Worst-Case Response Times.
@InProceedings{berger:22:fgbs,
author = {Berger, Alwin and Schuster, Simon and Wägemann, Peter and Ulbrich, Peter},
booktitle = {Herbsttreffen der Fachgruppe Betriebssysteme 2022},
title = {{OS}-{State}–{Aware} {Fuzzing} for {Worst}-{Case} {Response} {Times}},
year = {2022},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/berger_22_fgbs.pdf},
}
Robin Thunig, Michael Lenz, Peter Ulbrich, Horst Schirmeier;
In: Proceedings of the 14th European Dependability Computing Conference (EDCC '22); IEEE,
September
2022.
@InProceedings{thunig:22:edcc,
author = {Robin Thunig and Michael Lenz and Peter Ulbrich and Horst Schirmeier},
booktitle = {Proceedings of the 14\textsuperscript{th} European Dependability Computing Conference (EDCC '22)},
title = {{{DECO}}: Optimizing Software-based Soft-error Detector Configurations},
pages = {73--80},
publisher = {IEEE},
year = {2022},
month = sep,
doi = {10.1109/EDCC57035.2022.00022},
entrysubtype = {Conference},
location = {Washington, DC, USA},
x-conference = {EDCC '22},
venue = {Zaragoza, Spain},
}
ECRTS
Revisiting Migration Overheads in Real-Time Systems: One Look at Not-So-Uniform Platforms.
@InProceedings{raffeck:22:ospert,
author = {Raffeck, Phillip and Schr{\"o}der-Preikschat, Wolfgang and Ulbrich, Peter},
booktitle = {Proceedings of the 16\textsuperscript{th} Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '22)},
title = {{Revisiting Migration Overheads in Real-Time Systems: One Look at Not-So-Uniform Platforms}},
year = {2022},
editor = {Lohmann, Daniel and Mancuso, Renato},
month = jul,
pages = {41--48},
location = {Modena},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/raffeck_22_ospert.pdf},
x-conference = {OSPERT '22},
}
@InProceedings{klaus:16:rtss-poster,
author = {Tobias Klaus and Florian Franzmann and Maximilian Gaukler and Andreas Michalka and Peter Ulbrich},
booktitle = {Proceedings of the 37\textsuperscript{th} IEEE Real-Time Systems Symposium (RTSS '16)},
title = {Closing the Loop: Towards Control-aware Design of Adaptive Real-time Systems},
year = {2016},
month = dec,
pages = {363--363},
publisher = {IEEE},
series = {Poster Abstract},
doi = {10.1109/RTSS.2016.042},
eventdate = {2016-11-29/2016-12-02},
isbn = {978-1-5090-5302-5},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/klaus_16_rtss.pdf},
x-conference = {RTSS '16},
venue = {Porto, Portugal},
x-projects = {qronOS},
}
@InProceedings{dietrich:17:rtas,
author = {Christian Dietrich and Peter W{\"a}gemann and Peter Ulbrich and Daniel Lohmann},
booktitle = {Proceedings of the 23\textsuperscript{rd} Real-Time and Embedded Technology and Applications Symposium (RTAS '17)},
title = {{SysWCET: Whole-system Response-time Analysis for Fixed-priority Real-time Systems}},
year = {2017},
address = {Washington, DC, USA},
note = {\textbf{Outstanding Paper Award}.},
pages = {37--48},
publisher = {IEEE},
doi = {10.1109/RTAS.2017.37},
entrysubtype = {Conference},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/dietrich_17_rtas.pdf},
x-conference = {RTAS '17},
}
2016
RTSS
Closing the Loop: Towards Control-aware Design of Adaptive Real-time Systems.
@InProceedings{klaus:16:rtss-wip,
author = {Tobias Klaus and Florian Franzmann and Maximilian Gaukler and Andreas Michalka and Peter Ulbrich},
booktitle = {Work-In-Progress Proceedings of the 37\textsuperscript{th} IEEE Real-Time Systems Symposium (RTSS-WiP '16)},
title = {Closing the Loop: Towards Control-aware Design of Adaptive Real-time Systems},
year = {2016},
month = dec,
pages = {1--4},
eventdate = {2016-11-29/2016-12-02},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/klaus_16_rtss-wip.pdf},
x-conference = {RTSS WiP '16},
venue = {Porto, Portugal},
}
2010
SPLCConference
Consistent Product Line Configuration across File Type and Product Line Boundaries.
@InProceedings{elsner:10:splc-bestpaper,
author = {Christoph Elsner and Peter Ulbrich and Daniel Lohmann and Wolfgang Schr{\"o}der-Preikschat},
booktitle = {Proceedings of the 14\textsuperscript{th} Software Product Line Conf. (SPLC '10)},
title = {Consistent Product Line Configuration across File Type and Product Line Boundaries},
year = {2010},
address = {Heidelberg, Germany},
editor = {Kyo Kang},
month = sep,
note = {\textbf{Best paper award}.},
pages = {181--195},
publisher = {Springer},
volume = {6287},
ar = {31\% (28/90)},
doi = {10.1007/978-3-642-15579-6_13},
entrysubtype = {Conference},
isbn = {978-3-642-15578-9},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/elsner_10_splc.pdf},
x-conference = {SPLC '10},
venue = {Jeju Island, South Korea},
}
2018
Application-specific Tailoring of Multi-core Socs for Real-time Systems with Diverse Predictability Demands.
@Article{vaas:18:sps,
author = {Vaas, Steffen and Ulbrich, Peter and Reichenbach, Marc and Fey, Dietmar},
journal = {Journal of Signal Processing Systems},
title = {Application-specific Tailoring of Multi-core Socs for Real-time Systems with Diverse Predictability Demands},
year = {2018},
issn = {1939-8115},
number = {7},
pages = {773–-786},
volume = {91},
address = {New York, NY, USA},
doi = {10.1007/s11265-018-1389-0},
editor = {Sun-Yuan Kung},
publisher = {Springer},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/vaas_18_sps.pdf},
}
2011
ISORCConference
Escaping the Bonds of the Legacy: Step-wise Migration to a Type-safe Language in Safety-critical Embedded Systems.
Michael Stilkerich, Jens Schedel, Peter Ulbrich, Wolfgang Schröder-Preikschat, Daniel Lohmann;
In: Proceedings of the 14th IEEE International Symposium on OO Real-Time Distributed Computing (ISORC '11); IEEE,
March
2011.
@InProceedings{stilkerich:11:isorc,
author = {Michael Stilkerich and Jens Schedel and Peter Ulbrich and Wolfgang Schr{\"o}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 14\textsuperscript{th} IEEE International Symposium on OO Real-Time Distributed Computing (ISORC '11)},
title = {Escaping the Bonds of the Legacy: Step-wise Migration to a Type-safe Language in Safety-critical Embedded Systems},
year = {2011},
editor = {Gabor Karsai and Andreas Polze and Doo-Hyun Kim and Wilfried Steiner},
month = mar,
pages = {163--170},
publisher = {IEEE},
doi = {10.1109/ISORC.2011.29},
entrysubtype = {Conference},
isbn = {978-0-7695-4368-0},
keywords = {CiAO; Java; KESO; OSEK/VDX; embedded systems; memory protection; spatial isolation},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/stilkerich_11_isorc.pdf},
x-conference = {ISORC '11},
venue = {Newport Beach, CA, USA},
}
2010
Using MARTE in Code-centric Real-time Projects Providing Evolution Support.
@InProceedings{ulbrich:10:mbed,
author = {Peter Ulbrich and Christoph Elsner and Martin Hoffmann and Reiner Schmid and Wolfgang Schr{\"o}der-Preikschat},
booktitle = {Proceedings of the 1\textsuperscript{st} Workshop on Model Based Engineering for Embedded Systems Design (M-BED '10)},
title = {Using {MARTE} in Code-centric Real-time Projects Providing Evolution Support},
year = {2010},
editor = {Pierre Boulet and Daniela Cancila and Huascar Espinoza and Adam Morawiec},
month = mar,
pages = {25--29},
category = {mod,rts},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/ulbrich_etal_date2010_mbed.pdf},
venue = {Dresden, Germany},
}
2015
React in Time: Ereignisbasierter Entwurf Zeitgesteuerter Verteilter Systeme.
@Article{schuster:17:tecs,
author = {Schuster, Simon and Ulbrich, Peter and Stilkerich, Isabella and Dietrich, Christian and Schr{\"o}der-Preikschat, Wolfgang},
journal = {ACM Transactions on Embedded Computing Systems},
title = {Demystifying Soft-error Mitigation by Control-flow Checking -- a New Perspective on Its Effectiveness},
year = {2017},
issn = {1539-9087},
month = sep,
number = {5s},
pages = {180:1--180:19},
volume = {16},
acmid = {3126503},
address = {New York, NY, USA},
articleno = {180},
doi = {10.1145/3126503},
issue_date = {October 2017},
numpages = {19},
publisher = {ACM},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/schuster_17_tecs.pdf},
}
2016
Experiences with Software-based Soft-Error Mitigation using AN-Codes.
@Article{hoffmann:16:sqj,
author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schr{\"o}der-Preikschat},
journal = {{Software Quality Journal}},
title = {{Experiences with Software-based Soft-Error Mitigation using AN-Codes}},
year = {2016},
issn = {0963-9314},
number = {9},
pages = {87--113},
volume = {24},
address = {New York},
doi = {10.1007/s11219-014-9260-4},
edition = {1},
editor = {Peter J. Clarke and Mohammad Zulkernine},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/hoffmann_16_sqj.pdf},
}
2012
ROSE
Taking Control: Modular and Adaptive Robotics Process Control Systems.
@InProceedings{ulbrich:12:rose,
author = {Peter Ulbrich and Florian Franzmann and Christian Harkort and Martin Hoffmann and Tobias Klaus and Anja Rebhan and Wolfgang Schr{\"o}der-Preikschat},
booktitle = {Proceedings of the 10\textsuperscript{th} IEEE International Symposium on Robotic and Sensors Environments (ROSE '12)},
title = {Taking Control: Modular and Adaptive Robotics Process Control Systems},
year = {2012},
address = {Washington, DC, USA},
pages = {55--60},
publisher = {IEEE},
doi = {10.1109/ROSE.2012.6402632},
isbn = {978-1-4673-2705-3},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/ulbrich_12_rose.pdf},
x-conference = {ROSE '12},
venue = {Magdeburg, Germany},
}
EDCCConference
Eliminating Single Points of Failure in Software-based Redundancy.
@InProceedings{ulbrich:12:edcc,
author = {Peter Ulbrich and Martin Hoffmann and R{\"u}diger Kapitza and Daniel Lohmann and Wolfgang Schr{\"o}der-Preikschat and Reiner Schmid},
booktitle = {Proceedings of the 9\textsuperscript{th} European Dependability Computing Conference (EDCC '12)},
title = {Eliminating Single Points of Failure in Software-based Redundancy},
year = {2012},
address = {Washington, DC, USA},
month = may,
pages = {49--60},
publisher = {IEEE},
category = {L4, DanceOS},
doi = {10.1109/EDCC.2012.21},
entrysubtype = {Conference},
isbn = {978-1-4673-0938-7},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/ulbrich_12_edcc.pdf},
x-conference = {EDCC '12},
venue = {Sibiu, Romania},
}
@InProceedings{ulbrich:12:sies,
author = {Peter Ulbrich and Florian Franzmann and Fabian Scheler and Wolfgang Schr{\"o}der-Preikschat},
booktitle = {Proceedings of the 7\textsuperscript{th} Int. Symp. on Industrial Embedded Systems (SIES '12)},
title = {Design by Uncertainty: Towards the Use of Measurement Uncertainty in Real-time Systems},
year = {2012},
address = {Washington, DC, USA},
pages = {275--278},
publisher = {IEEE},
doi = {10.1109/SIES.2012.6356595},
faupublication = {yes},
isbn = {978-1-4673-2685-8},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/ulbrich_12_sies.pdf},
x-conference = {SIES '12},
x-projects = {AORTA}
}
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing.
Maximilian Gaukler, Peter Ulbrich;
In: Proceedings of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH '19);
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},
x-projects = {qronOS},
}
2018
TASKers: A Whole-System Generator for Benchmarking Real-Time-System Analyses.
@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},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/eichler_18_wcet.pdf},
}
Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact).
@article{waegemann:18:artifact,
author = {Peter W{\"a}gemann and Christian Dietrich and Tobias Distler and Peter Ulbrich and Wolfgang Schr{\"o}der-Preikschat},
title = {{Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact)}},
journal = {Dagstuhl Artifacts Series},
year = {2018},
volume = {4},
number = {2},
pages = {7:1--7:4},
issn = {2509-8195},
address = {Dagstuhl, Germany},
annote = {Keywords: energy-constrained real-time systems, worst-case energy consumption (WCEC), worst-case response energy consumption (WCRE), static whole-system analysi},
doi = {10.4230/DARTS.4.2.7},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
urn = {urn:nbn:de:0030-drops-89756}
}
2019
QRONOS: Towards Quality-aware Responsive Real-Time Control Systems.
Peter Ulbrich, Maximilian Gaukler;
In: Brief Presentations Proceedings of the 25th Real-Time and Embedded Technology and Applications Symposium (RTAS-BP '19);
2019.
@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},
}
@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},
x-projects= {maRE},
}
Convergence Rate Abstractions for Weakly-Hard Real-Time Control.
@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. This is, however, difficult to achieve in many scenarios, for example, when overload or packet loss cannot be entirely avoided. Here, weakly-hard real-time control systems are a common approach which relaxes timing constraints and leverages the inherent robustness of controllers. Yet, their analysis is often hampered by the complexity arising from the system dimension and the vast number of possible timing sequences. In this paper, we present the novel concept of convergence rate abstractions that provide a sound yet simple one-dimensional system description. This approach simplifies the stability analysis of weakly-hard real-time control systems. At the same time, our abstractions facilitate efficient computation of bounds on the worst-case system state at run-time and thus the implementation of adaptation mechanisms.
2020
Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing.
@InProceedings{gaukler:20:ifac,
author = {Gaukler, Maximilian and Roppenecker, Günter and Ulbrich, Peter},
booktitle = {Proceedings of the IFAC World Congress},
title = {{Stability Analysis} of {Multivariable Digital Control Systems} with {Uncertain Timing}},
year = {2020},
faupublication = {yes},
peerreviewed = {Yes},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/gaukler_20_ifac.pdf},
}
Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing.
@misc{gaukler:20:arxiv,
author = {Maximilian Gaukler and Günter Roppenecker and Peter Ulbrich},
title = {Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing},
year = {2020},
archiveprefix = {arXiv},
eprint = {1911.02537},
primaryclass = {eess.SY}
}
Work-in-progress: Control-Flow Migration for Data-Locality Optimisation n Multi-Core Real-Time Systems.
@InProceedings{reif:20:rtss-wip,
author = {S. {Reif} and P. {Raffeck} and P. {Ulbrich} and W. {Schröder-Preikschat}},
booktitle = {Proceedings of the 41\textsuperscript{th} IEEE Real-Time Systems Symposium (RTSS '20)},
title = {Work-in-progress: Control-Flow Migration for Data-Locality Optimisation n Multi-Core Real-Time Systems},
year = {2020},
pages = {528--531},
doi = {10.1109/RTSS46320.2019.00056},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/reif_20_rtsswip.pdf},
}
2019
Work-in-progress: Migration Hints in Real-time Operating Systems.
@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},
}
LockDoc: Trace-Based Analysis of Locking in the Linux Kernel.
@inproceedings{lochmann:19:lockdoc,
author = {Lochmann, Alexander and Schirmeier, Horst and Borghorst, Hendrik and Spinczyk, Olaf},
title = {{LockDoc}: Trace-Based Analysis of Locking in the {Linux} Kernel},
booktitle = eurosys19,
year = 2019,
month = mar,
location = {Dresden, Germany},
publisher = acm,
address = acm_addr,
category = {ESS, SFB-A1},
url = {https://ess.cs.tu-dortmund.de/~al/Publications/files/eurosys-2019-lockdoc-lochmann.pdf},
doi = {10.1145/3302424.3303948},
}
2020
Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing.
Lochmann, Alexander, Thunig, Robin, Schirmeier, Horst;
In: Tagungsband des FGBS-Herbsttreffens 2020; Gesellschaft für Informatik e.V.,
September
2020.
@inproceedings{lochmann:20:fgbs,
author = {Lochmann, Alexander and Thunig, Robin and Schirmeier, Horst},
title = {Improving {Linux}-Kernel Tests for {LockDoc} with Feedback-driven Fuzzing},
booktitle = {Tagungsband des FGBS-Herbsttreffens 2020},
year = 2020,
month = sep,
doi = {10.18420/fgbs2020h-01},
publisher = {Gesellschaft f{\"u}r Informatik e.V.},
address = {Bonn, Germany},
category = {ESS},
}
2021
Beastie In For Checkup: Analyzing FreeBSD with LockDoc.
@incollection{borchert:sfb876:2022,
author = {Christoph Borchert and Jochen Streicher and Alexander Lochmann and Olaf Spinczyk},
title = {Declarative Stream-Based Acquisition and Processing of {OS} Data with {kCQL}},
editor = {Katharina Morik and Peter Marwedel},
booktitle = {Machine Learning under Resource Constraints},
volume = 1,
pages = {16--33},
publisher = {De Gruyter},
address = {Berlin/Boston},
year = 2023,
doi = {10.1515/9783110785944},
isbn = {9783110785944},
download-url = {https://www.degruyter.com/document/doi/10.1515/9783110785944/pdf},
category = {ESS}
}
2024
NimbleNet: Serverless Computing for the Extreme Edge in Factory Environments.
@InProceedings{mueller:24:wosc,
author = {Müller, Kilian and Seidler, Maximilian and Ulbrich, Peter and Franchi, Norman},
booktitle = {Proceedings of the 10\textsuperscript{th} International Workshop on Serverless Computing},
title = {NimbleNet: Serverless Computing for the Extreme Edge in Factory Environments},
year = {2024},
address = {Hong Kong, Hong Kong},
month = dec,
doi = {10.1145/3702634.3702953},
}
@InProceedings{hoevelmann:24:fgbs,
author = {H\"ovelmann, Thomas Alexander and Lochmann, Alexander and Ulbrich, Peter},
booktitle = {Tagungsband des FG-BS Herbststreffens 2024},
title = {Path Expressions Revisited},
year = {2024},
address = {Bonn, Germany},
month = oct,
publisher = {Gesellschaft f{\"u}r Informatik e.V.},
doi = {10.18420/fgbs2024h-01},
}
2014
Ganzheitliche Fehlertoleranz in eingebetteten Softwaresystemen.
@Misc{seidler:25.arxiv,
author = {Maximilian Seidler and Alexander Krause and Peter Ulbrich},
title = {Extending Lifetime of Embedded Systems by WebAssembly-based Functional Extensions Including Drivers},
year = {2025},
archiveprefix = {arXiv},
eprint = {2503.07553},
primaryclass = {cs.SE},
url = {https://arxiv.org/abs/2503.07553},
}
WASM-IO: Enabling Low-Level Device Interaction in WebAssembly for Industry Automation.
@InProceedings{hoevelmann:25:plos,
author = {H\"{o}velmann, Thomas Alexander and Spinczyk, Olaf and Krause, Alexander and Schirmeier, Horst and Ulbrich, Peter},
booktitle = {Proceedings of the 13\textsuperscript{th} Workshop on Programming Languages and Operating Systems},
title = {Path Expressions Revisited - Towards Compiler-enforced Reusable Synchronization Patterns},
year = {2025},
address = {New York, NY, USA},
pages = {76--83},
publisher = {Association for Computing Machinery},
series = {PLOS '25},
doi = {10/hbx4tn},
isbn = {9798400722257},
location = {Seoul, Republic of Korea},
numpages = {8},
}
@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},
x-conference = {RTSS '19},
}
2016
From Intent to Effect: Tool-based Generation of Time-triggered Real-time Systems on Multi-core Processors.
@InProceedings{franzmann:16:isorc,
author = {Florian Franzmann and Tobias Klaus and Peter Ulbrich and Patrick Deinhardt and Benjamin Steffes and Fabian Scheler and Wolfgang Schr{\"o}der-Preikschat},
booktitle = {Proceedings of the 19\textsuperscript{th} IEEE International Symposium on OO Real-Time Distributed Computing (ISORC '16)},
title = {From Intent to Effect: Tool-based Generation of Time-triggered Real-time Systems on Multi-core Processors},
year = {2016},
address = {Washington, DC, USA},
month = may,
pages = {134--141},
publisher = {IEEE},
doi = {10.1109/ISORC.2016.27},
isbn = {978-1-4673-9032-3},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/franzmann_16_isorc.pdf},
venue = {York, United Kingdom},
x-conference = {ISORC '16},
}
2018
Data Propagation Delay Constraints in Multi-Rate Systems – Deadlines vs. Job-Level Dependencies.
@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},
x-conference = {RTNS '18},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/klaus_18_rtns.pdf},
}
Towards System-Wide Timing Analysis of Real-Time-Capable Operating Systems.
@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},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/schuster_18_ecrts-wip.pdf},
venue = {Barcelona},
x-conference = {ECRTS WIP '18},
}
2017
The Best of Both: High-performance and Deterministic Real-Time Executive by Application-Specific Multi-Core SoCs.
@InProceedings{vaas:17:dasip,
author = {Vaas, Steffen and Ulbrich, Peter and Reichenbach, Marc and Fey, Dietmar},
booktitle = {Proceedings of the Conference on Design and Architectures for Signal and Image Processing (DASIP '17)},
title = {{The Best} of {Both}: {High}-performance and {Deterministic Real-Time Executive} by {Application-Specific Multi-Core SoCs}},
year = {2017},
address = {Los Alamitos, CA},
pages = {1--6},
publisher = {IEEE Computer Society Press},
date = {2017-09-27/2017-09-29},
doi = {10.1109/DASIP.2017.8122107},
faupublication = {yes},
isbn = {978-1-5386-3534-6},
keywords = {Field programmable gate arrays;Hardware;Multicore processing;Real-time systems;Software;Deterministic;Distributed;NoC;Reconfigurable;Reliable;Safety-Critical;SoC},
peerreviewed = {Yes},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/vaas_17_dasip.pdf},
venue = {Dresden},
x-conference = {DASIP '17},
}
2014
A Practitioner's Guide to Software-based Soft-error Mitigation Using AN-codes.
@InProceedings{hoffmann:14:hase,
author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schr\"oder-Preikschat},
booktitle = {Proceedings of the 15\textsuperscript{th} IEEE International Symposium on High-Assurance Systems Engineering (HASE '14)},
title = {A Practitioner's Guide to Software-based Soft-error Mitigation Using {AN}-codes},
year = {2014},
month = jan,
pages = {33--40},
publisher = {IEEE},
doi = {10.1109/HASE.2014.14},
isbn = {978-1-4799-3465-2},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/hoffmann_14_hase.pdf},
venue = {Miami, Florida, USA},
x-conference = {HASE '14},
}
2011
I4Copter: An Adaptable and Modular Quadrotor Platform.
@InProceedings{ulbrich:11:sac,
author = {Peter Ulbrich and R\"udiger Kapitza and Christian Harkort and Reiner Schmid and Wolfgang Schr\"oder-Preikschat},
booktitle = {Proceedings of the 26\textsuperscript{th} ACM Symposium on Applied Computing (SAC '11)},
title = {{I4Copter}: An Adaptable and Modular Quadrotor Platform},
year = {2011},
address = {New York, NY, USA},
pages = {380--396},
publisher = {ACM},
doi = {10.1145/1982185.1982267},
isbn = {978-1-4503-0113-8},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/ulbrich_11_sac.pdf},
venue = {TaiChung, Taiwan},
x-conference = {SAC '11},
}
@InProceedings{klaus:21:rtas,
author = {Tobias Klaus and Matthias Becker and Wolfgang {Schröder-Preikschat} and Peter Ulbrich},
booktitle = {{Proceedings of the 27\textsuperscript{th} Real-Time and Embedded Technology and Applications Symposium (RTAS '21)}},
title = {{Constrained Data-Age with Job-Level Dependencies: How to Reconcile Tight Bounds and Overheads}},
year = {2021},
address = {Washington, DC, USA},
note = {\textbf{Best Student Paper}.},
pages = {66--79},
publisher = {IEEE},
doi = {10.1109/RTAS52030.2021.00014},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/klaus_21_rtas.pdf},
x-projects = {maRE},
x-conference = {RTAS '21},
}
2018
Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems.
@InProceedings{waegemann:18:ecrts,
author = {Peter W{\"a}gemann and Christian Dietrich and Tobias Distler and Peter Ulbrich and Wolfgang Schr{\"o}der-Preikschat},
booktitle = {Proceedings of the 30\textsuperscript{th} Euromicro Conference on Real-Time Systems (ECRTS '18)},
title = {{Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems}},
year = {2018},
address = {Dagstuhl, Germany},
editor = {Sebastian Altmeyer},
note = {\textbf{Outstanding Paper Award}.},
pages = {24:1--24:25},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {106},
annote = {Keywords: energy-constrained real-time systems, worst-case energy consumption (WCEC), worst-case response energy consumption (WCRE), static whole-system analysi},
doi = {10.4230/LIPIcs.ECRTS.2018.24},
isbn = {978-3-95977-075-0},
issn = {1868-8969},
urn = {urn:nbn:de:0030-drops-89795},
x-conference = {ECRTS '18},
}
2019
Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis.
@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},
x-conference = {RTAS '19},
}
2021
Taming Non-Deterministic Low-Level I/O: Predictable Multi-Core Real-Time Systems by SoC Co-Design.
@InProceedings{vaas:21:isorc,
author = {Vaas, Steffen and Ulbrich, Peter and Eichler, Christian and W{\"a}gemann, Peter and Reichenbach, Marc and Fey, Dietmar},
booktitle = {Proceedings of the 24\textsuperscript{th} IEEE International Symposium on OO Real-Time Distributed Computing (ISORC '21)},
title = {{Taming Non-Deterministic Low-Level I/O: Predictable Multi-Core Real-Time Systems by SoC Co-Design}},
year = {2021},
address = {Washington, DC, USA},
month = may,
pages = {43--52},
publisher = {IEEE Computer Society},
doi = {10.1109/ISORC52013.2021.00017},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/vaas_21_isorc.pdf},
venue = {Nashville, TN},
x-conference = {ISORC '21},
}
Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions.
@InProceedings{schuster:21:lctes,
author = {Simon Schuster and Peter W{\"a}gemann and Peter Ulbrich and Wolfgang Schr{\"o}der-Preikschat},
booktitle = {{Proceedings of the 22\textsuperscript{nd} SIGPLAN/SIGBED International Conference on Languages,Compilers, and Tools for Embedded Systems (LCTES'21)}},
title = {{Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions}},
year = {2021},
address = {New York, NY, USA},
editor = {J{\"o}rg Henkel and Xu Liu},
month = jun,
pages = {54--66},
publisher = {ACM},
doi = {10.1145/3461648.3463847},
url = {https://sys-sideshow.cs.tu-dortmund.de/publications/schuster_21_lctes.pdf},
x-conference = {LCTES '21},
}
2023
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact).
@Article{rheinfels:23:artifact,
author = {Tim Rheinfels and Maximilian Gaukler and Peter Ulbrich},
journal = {Dagstuhl Artifacts Ser.},
title = {A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact)},
year = {2023},
number = {1},
pages = {01:1--01:3},
volume = {9},
doi = {10.4230/DARTS.9.1.1},
}