Publications

Pages: [1] [2] [3] [4]

2022

DECO: Optimizing Software-based Soft-error Detector Configurations (, , and ), In Proceedings of the 14th European Dependability Computing Conference (EDCC '22), IEEE Press, . [bibtex]
@string{ieee="IEEE Press"}
@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        = {tbp},
  publisher    = {IEEE},
  year         = {2022},  
  month        = sep,
  doi          = {10.1109/EDCC.2012.21},
  entrysubtype = {Conference},
  location     = {Washington, DC, USA},
  userd        = {EDCC '22},
  venue        = {Zaragoza, Spain},
}
Revisiting Migration Overheads in Real-Time Systems: One Look at Not-So-Uniform Platforms (, and ), In Proceedings of the 16th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '22) (Lohmann, Daniel, Mancuso, Renato, eds.), . [bibtex]
@InProceedings{raffeck:22:ospert,
  author    = {Rafeck, 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},
}

2021

Constrained Data-Age with Job-Level Dependencies: How to Reconcile Tight Bounds and Overheads (, , and ), In Proceedings of the 27th Real-Time and Embedded Technology and Applications Symposium (RTAS '21), IEEE Press, . [bibtex]
@string{ieee="IEEE Press"}
@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},
}
Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions (, , and ), In Proceedings of the 22nd SIGPLAN/SIGBED International Conference on Languages,Compilers, and Tools for Embedded Systems (LCTES'21) (Jörg Henkel, Xu Liu, eds.), ACM Press, . [bibtex]
@string{acm="ACM Press"}
@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},
}
Taming Non-Deterministic Low-Level I/O: Predictable Multi-Core Real-Time Systems by SoC Co-Design (, , , , and ), In Proceedings of the 24th IEEE International Symposium on OO Real-Time Distributed Computing (ISORC '21), IEEE Computer Society, . [bibtex]
@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},
  venue     = {Nashville, TN},
}

2020

Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing (, and ), . [bibtex]
@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}
}
Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing (, and ), In Proceedings of the IFAC World Congress, . [bibtex]
@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}
}
Work-in-progress: Control-Flow Migration for Data-Locality Optimisation n Multi-Core Real-Time Systems ( and ), In Proceedings of the 41th IEEE Real-Time Systems Symposium (RTSS '20), . [bibtex]
@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}
}

2019

Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing ( and ), In Proceedings of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH '19) (Goran Frehse, Matthias Althoff, eds.), . [bibtex]
@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},
}
Convergence Rate Abstractions for Weakly-Hard Real-Time Control (, , and ), . [bibtex]
@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}
}
Powered by bibtexbrowser