A Theory-Oriented Real-Time Operating System for Temporally Sound Cyber-Physical Systems

Publications

Conference proceedings (8)

Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking

Author(s): James Robb, Björn Brandenburg
Published in: 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), 2020, Page(s) 6:1--6:23, ISBN 978-3-95977-152-8
Publisher: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.ecrts.2020.6

The Case for an Opinionated, Theory-Oriented Real-Time Operating System

Author(s): Björn Brandenburg
Published in: 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems, 2019
Publisher: Gill

Efficiently Approximating the Worst-Case Deadline Failure Probability under EDF

Author(s): Georg von der Brüggen, Nico Piatkowski, Kuan-Hsun Chen, Jian-Jia Chen, Katharina Morik, Björn Brandenburg
Published in: 2021 IEEE Real-Time Systems Symposium (RTSS), 2021
Publisher: IEEE
DOI: 10.1109/rtss52674.2021.00029

Monte Carlo Response-Time Analysis

Author(s): Sergey Bozhko, Georg von der Brüggen, Björn B. Brandenburg
Published in: 2021 IEEE Real-Time Systems Symposium (RTSS), 2021
Publisher: IEEE
DOI: 10.1109/rtss52674.2021.00039

Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle

Author(s): Sergey Bozhko, Björn B. Brandenburg
Published in: 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), 2020, Page(s) 22:1--22:24, ISBN 978-3-95977-152-8
Publisher: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.ecrts.2020.22

Automatic Latency Management for ROS 2: Benefits, Challenges, and Open Problems

Author(s): Tobias Blass, Arne Hamann, Ralph Lange, Dirk Ziegenbein, Bjorn B. Brandenburg
Published in: 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2021, Page(s) 264-277, ISBN 978-1-6654-0386-3
Publisher: IEEE
DOI: 10.1109/rtas52030.2021.00029

A ROS 2 Response-Time Analysis Exploiting Starvation Freedom and Execution-Time Variance

Author(s): Tobias Blaß, Daniel Casini, Sergey Bozhko, Björn B. Brandenburg
Published in: 2021 IEEE Real-Time Systems Symposium (RTSS), 2021
Publisher: IEEE
DOI: 10.1109/rtss52674.2021.00016

Response-Time Analysis of ROS 2 Processing Chains under Reservation-Based Scheduling

Author(s): Daniel Casini, Tobias Blaß, Ingo Lütkebohle, Björn Brandenburg
Published in: 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), 2019, Page(s) 6:1--6:23, ISBN 978-3-95977-110-8
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.ecrts.2019.6