Dynamic Fuzzing-Based Whole-System Timing Analysis.
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems.
OS-State–Aware Fuzzing for Worst-Case Response Times.
DECO: Optimizing Software-based Soft-error Detector Configurations.
Robin Thunig, Michael Lenz,
Peter Ulbrich,
Horst Schirmeier;
In:
Proceedings of the 14th European Dependability Computing Conference (EDCC '22); IEEE,
September
2022.
Revisiting Migration Overheads in Real-Time Systems: One Look at Not-So-Uniform Platforms.
Closing the Loop: Towards Control-aware Design of Adaptive Real-time Systems.
Migration Hints in Real-Time Operating Systems.
SysWCET: Whole-system Response-time Analysis for Fixed-priority Real-time Systems.
From Intent to Effect: Tool-based Generation of Time-triggered Real-time Systems on Multi-core Processors.
Closing the Loop: Towards Control-aware Design of Adaptive Real-time Systems.
Consistent Product Line Configuration across File Type and Product Line Boundaries.
Data Propagation Delay Constraints in Multi-Rate Systems – Deadlines vs. Job-Level Dependencies.
Towards System-Wide Timing Analysis of Real-Time-Capable Operating Systems.
Application-specific Tailoring of Multi-core Socs for Real-time Systems with Diverse Predictability Demands.
Escaping the Bonds of the Legacy: Step-wise Migration to a Type-safe Language in Safety-critical Embedded Systems.
Using MARTE in Code-centric Real-time Projects Providing Evolution Support.
React in Time: Ereignisbasierter Entwurf Zeitgesteuerter Verteilter Systeme.
Franzmann, Florian,
Klaus, Tobias, Scheler, Fabian,
Schröder-Preikschat, Wolfgang,
Ulbrich, Peter;
In:
Betriebssysteme und Echtzeit; Springer Vieweg,
2015.
A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing.
The Best of Both: High-performance and Deterministic Real-Time Executive by Application-Specific Multi-Core SoCs.
Demystifying Soft-error Mitigation by Control-flow Checking – a New Perspective on Its Effectiveness.
Schuster, Simon,
Ulbrich, Peter,
Stilkerich, Isabella,
Dietrich, Christian,
Schröder-Preikschat, Wolfgang;
ACM Transactions on Embedded Computing Systems (16.5s:180:1–180:19); ACM,
September
2017.
Experiences with Software-based Soft-Error Mitigation using AN-Codes.
A Practitioner's Guide to Software-based Soft-error Mitigation Using AN-codes.
Taking Control: Modular and Adaptive Robotics Process Control Systems.
Eliminating Single Points of Failure in Software-based Redundancy.
Design by Uncertainty: Towards the Use of Measurement Uncertainty in Real-time Systems.
I4Copter: An Adaptable and Modular Quadrotor Platform.
Constrained Data-Age with Job-Level Dependencies: How to Reconcile Tight Bounds and Overheads.
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.
TASKers: A Whole-System Generator for Benchmarking Real-Time-System Analyses.
Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact).
Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems.
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.
Boosting Job-Level Migration by Static Analysis.
Klaus, Tobias,
Ulbrich, Peter,
Raffeck, Phillip, Frank, Benjamin, Wernet, Lisa, Ritter von Onciul, Maxim,
Schröder-Preikschat, Wolfgang;
In:
Proceedings of the 15th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19);
July
2019.
Best Paper Award..
Convergence Rate Abstractions for Weakly-Hard Real-Time Control.
Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing.
Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing.
Work-in-progress: Control-Flow Migration for Data-Locality Optimisation n Multi-Core Real-Time Systems.
Work-in-progress: Migration Hints in Real-time Operating Systems.
Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis.
Taming Non-Deterministic Low-Level I/O: Predictable Multi-Core Real-Time Systems by SoC Co-Design.
Vaas, Steffen,
Ulbrich, Peter,
Eichler, Christian,
Wägemann, Peter,
Reichenbach, Marc,
Fey, Dietmar;
In:
Proceedings of the 24th IEEE International Symposium on OO Real-Time Distributed Computing (ISORC '21); IEEE Computer Society,
May
2021.
Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions.
LockDoc: Trace-Based Analysis of Locking in the Linux Kernel.
Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing.
Beastie In For Checkup: Analyzing FreeBSD with LockDoc.
Reproducible Load Tests for Android Systems with Trace-based Benchmarks.
Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen.
Declarative Stream-Based Acquisition and Processing of OS Data with kCQL.
NimbleNet: Serverless Computing for the Extreme Edge in Factory Environments.
Path Expressions Revisited.
Ganzheitliche Fehlertoleranz in eingebetteten Softwaresystemen.
Ulbrich, Peter;
PHD thesis at: Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Germany,
August
2014.
Extending Lifetime of Embedded Systems by WebAssembly-based Functional Extensions Including Drivers.
