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

Project Information

TOROS

Grant agreement ID: 803111

DOI

10.3030/803111

Project closed

EC signature date 10 August 2018

Start date 1 January 2019

End date 31 December 2023

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 499 813,00

EU contribution

€ 1 499 813,00

Coordinated by

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (13)

From Intuition to Coq: A Case Study in Verified Response-Time Analysis of FIFO Scheduling

Author(s): Kimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida, Björn B. Brandenburg
Published in: 2022 IEEE Real-Time Systems Symposium (RTSS), 2022, Page(s) 197–210
Publisher: IEEE
DOI: 10.1109/rtss55097.2022.00026

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

Foundational Response-Time Analysis as Explainable Evidence of Timeliness

Author(s): Marco Maida, Sergey Bozhko, Björn B. Brandenburg
Published in: 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), 2022, Page(s) 19:1–19:25
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecrts.2022.19

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

CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks

Author(s): Filip Marković, Pierre Roux, Sergey Bozhko, Alessandro Papadopoulos, Björn Brandenburg
Published in: 2023 IEEE Real-Time Systems Symposium (RTSS), 2023, Page(s) 317-330
Publisher: IEEE
DOI: 10.1109/rtss59052.2023.00035

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

G(IP)^2C: Temporally Isolated Multiprocessor Real-Time IPC with Server-to-Server Invocations

Author(s): Cédric Courtaud, Björn B. Brandenburg
Published in: 2023 Real-Time and Embedded Technology and Applications Symposium (RTAS), 2023, Page(s) 276–288
Publisher: IEEE
DOI: 10.1109/rtas58335.2023.00029

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

What Really is pWCET? A Rigorous Axiomatic Proposal

Author(s): Sergey Bozhko, Filip Marković, Georg von der Brüggen, Björn Brandenburg
Published in: 2023 IEEE Real-Time Systems Symposium (RTSS), 2023, Page(s) 13-26
Publisher: IEEE
DOI: 10.1109/rtss59052.2023.00012

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