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

Informations projet

TOROS

N° de convention de subvention: 803111

DOI

10.3030/803111

Projet clôturé

Date de signature de la CE 10 Août 2018

Date de début 1 Janvier 2019

Date de fin 31 Decembre 2023

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 499 813,00

Contribution de l’UE

€ 1 499 813,00

Coordonné par

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (13)

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

Auteurs: Kimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida, Björn B. Brandenburg
Publié dans: 2022 IEEE Real-Time Systems Symposium (RTSS), 2022, Page(s) 197–210
Éditeur: IEEE
DOI: 10.1109/rtss55097.2022.00026

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

Auteurs: James Robb, Björn Brandenburg
Publié dans: 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), 2020, Page(s) 6:1--6:23, ISBN 978-3-95977-152-8
Éditeur: "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

Auteurs: Björn Brandenburg
Publié dans: 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems, 2019
Éditeur: Gill

Foundational Response-Time Analysis as Explainable Evidence of Timeliness

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

Efficiently Approximating the Worst-Case Deadline Failure Probability under EDF

Auteurs: Georg von der Brüggen, Nico Piatkowski, Kuan-Hsun Chen, Jian-Jia Chen, Katharina Morik, Björn Brandenburg
Publié dans: 2021 IEEE Real-Time Systems Symposium (RTSS), 2021
Éditeur: IEEE
DOI: 10.1109/rtss52674.2021.00029

Monte Carlo Response-Time Analysis

Auteurs: Sergey Bozhko, Georg von der Brüggen, Björn B. Brandenburg
Publié dans: 2021 IEEE Real-Time Systems Symposium (RTSS), 2021
Éditeur: IEEE
DOI: 10.1109/rtss52674.2021.00039

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

Auteurs: Filip Marković, Pierre Roux, Sergey Bozhko, Alessandro Papadopoulos, Björn Brandenburg
Publié dans: 2023 IEEE Real-Time Systems Symposium (RTSS), 2023, Page(s) 317-330
Éditeur: IEEE
DOI: 10.1109/rtss59052.2023.00035

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

Auteurs: Sergey Bozhko, Björn B. Brandenburg
Publié dans: 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), 2020, Page(s) 22:1--22:24, ISBN 978-3-95977-152-8
Éditeur: "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

Auteurs: Cédric Courtaud, Björn B. Brandenburg
Publié dans: 2023 Real-Time and Embedded Technology and Applications Symposium (RTAS), 2023, Page(s) 276–288
Éditeur: IEEE
DOI: 10.1109/rtas58335.2023.00029

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

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

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

Auteurs: Tobias Blaß, Daniel Casini, Sergey Bozhko, Björn B. Brandenburg
Publié dans: 2021 IEEE Real-Time Systems Symposium (RTSS), 2021
Éditeur: IEEE
DOI: 10.1109/rtss52674.2021.00016

What Really is pWCET? A Rigorous Axiomatic Proposal

Auteurs: Sergey Bozhko, Filip Marković, Georg von der Brüggen, Björn Brandenburg
Publié dans: 2023 IEEE Real-Time Systems Symposium (RTSS), 2023, Page(s) 13-26
Éditeur: IEEE
DOI: 10.1109/rtss59052.2023.00012

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

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