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

Informacje na temat projektu

TOROS

Identyfikator umowy o grant: 803111

DOI 10.3030/803111

Projekt został zamknięty

Data podpisania przez KE 10 Sierpnia 2018

Data rozpoczęcia 1 Stycznia 2019

Data zakończenia 31 Grudnia 2023

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity € 1 499 813,00

Wkład UE € 1 499 813,00

Koordynowany przez

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Niemcy

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Materiały z konferencji (13)

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

Autorzy: Kimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida, Björn B. Brandenburg
Opublikowane w: 2022 IEEE Real-Time Systems Symposium (RTSS), 2022, Strona(/y) 197–210
Wydawca: IEEE
DOI: 10.1109/rtss55097.2022.00026

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

Autorzy: James Robb, Björn Brandenburg
Opublikowane w: 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), 2020, Strona(/y) 6:1--6:23, ISBN 978-3-95977-152-8
Wydawca: "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

Autorzy: Björn Brandenburg
Opublikowane w: 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems, 2019
Wydawca: Gill

Foundational Response-Time Analysis as Explainable Evidence of Timeliness

Autorzy: Marco Maida, Sergey Bozhko, Björn B. Brandenburg
Opublikowane w: 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), 2022, Strona(/y) 19:1–19:25
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecrts.2022.19

Efficiently Approximating the Worst-Case Deadline Failure Probability under EDF

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

Monte Carlo Response-Time Analysis

Autorzy: Sergey Bozhko, Georg von der Brüggen, Björn B. Brandenburg
Opublikowane w: 2021 IEEE Real-Time Systems Symposium (RTSS), 2021
Wydawca: IEEE
DOI: 10.1109/rtss52674.2021.00039

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

Autorzy: Filip Marković, Pierre Roux, Sergey Bozhko, Alessandro Papadopoulos, Björn Brandenburg
Opublikowane w: 2023 IEEE Real-Time Systems Symposium (RTSS), 2023, Strona(/y) 317-330
Wydawca: IEEE
DOI: 10.1109/rtss59052.2023.00035

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

Autorzy: Sergey Bozhko, Björn B. Brandenburg
Opublikowane w: 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), 2020, Strona(/y) 22:1--22:24, ISBN 978-3-95977-152-8
Wydawca: "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

Autorzy: Cédric Courtaud, Björn B. Brandenburg
Opublikowane w: 2023 Real-Time and Embedded Technology and Applications Symposium (RTAS), 2023, Strona(/y) 276–288
Wydawca: IEEE
DOI: 10.1109/rtas58335.2023.00029

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

Autorzy: Tobias Blass, Arne Hamann, Ralph Lange, Dirk Ziegenbein, Bjorn B. Brandenburg
Opublikowane w: 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2021, Strona(/y) 264-277, ISBN 978-1-6654-0386-3
Wydawca: IEEE
DOI: 10.1109/rtas52030.2021.00029

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

Autorzy: Tobias Blaß, Daniel Casini, Sergey Bozhko, Björn B. Brandenburg
Opublikowane w: 2021 IEEE Real-Time Systems Symposium (RTSS), 2021
Wydawca: IEEE
DOI: 10.1109/rtss52674.2021.00016

What Really is pWCET? A Rigorous Axiomatic Proposal

Autorzy: Sergey Bozhko, Filip Marković, Georg von der Brüggen, Björn Brandenburg
Opublikowane w: 2023 IEEE Real-Time Systems Symposium (RTSS), 2023, Strona(/y) 13-26
Wydawca: IEEE
DOI: 10.1109/rtss59052.2023.00012

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

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