News 2019

Cyber-Physical Systems

General Chair of RTAS'20

October 2019
Björn Brandenburg is the general chair of the 26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'20), to be held as part of CPSWeek 2020 in Montreal, Canada from April 22 to April 24, 2020.

RTAS is a top-tier conference with a focus on systems research related to embedded systems or timing issues. The scope of RTAS’20 ranges from traditional hard real-time systems to embedded systems without explicit timing requirements, including latency-sensitive systems with informal or soft real-time requirements.
Björn Brandenburg is the general chair of the 26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'20), to be held as part of CPSWeek 2020 in Montreal, Canada from April 22 to April 24, 2020.

RTAS is a top-tier conference with a focus on systems research related to embedded systems or timing issues. The scope of RTAS’20 ranges from traditional hard real-time systems to embedded systems without explicit timing requirements, including latency-sensitive systems with informal or soft real-time requirements.
Read more

Several Open Positions in the ERC-funded TOROS Project

August 2019
The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions. Candidates with prior experience in

  • the Rust programming language,

  • the Coq proof assistant,

  • operating system construction, and/or

  • probabilistic schedulability analysis


are particularly welcome. Check out the project page for details.

Three MPI-SWS Papers at ECRTS'19

July 2019
MPI-SWS researchers, in collaboration with colleagues at TU Delft, the CISTER Research Centre at Polytechnic Institute of Porto, University of Saarland, Bosch Corporate Research, and Scuola Superiore Sant’Anna in Pisa, Italy, are proud to present three papers at this year's Euromicro Conference on Real-Time Systems (ECRTS) in Stuttgart, Germany. ECRTS is one of the three top-ranked conferences on real-time systems (according to Google Scholar Metrics, it is ranked number one).

  • D.
MPI-SWS researchers, in collaboration with colleagues at TU Delft, the CISTER Research Centre at Polytechnic Institute of Porto, University of Saarland, Bosch Corporate Research, and Scuola Superiore Sant’Anna in Pisa, Italy, are proud to present three papers at this year's Euromicro Conference on Real-Time Systems (ECRTS) in Stuttgart, Germany. ECRTS is one of the three top-ranked conferences on real-time systems (according to Google Scholar Metrics, it is ranked number one).

  • D. Casini, T. Blass, I. Lütkebohle, and B. Brandenburg, “Response-Time Analysis of ROS 2 Processing Chains under Reservation-Based Scheduling”, Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), pp. 6:1–6:23, July 2019. Open Access PDF

  • A. Gujarati, M. Nasri, R. Majumdar, and B. Brandenburg, “From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems”, Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), pp. 9:1–9:23, July 2019. Open Access PDF

  • M. Nasri, G. Nelissen, and B. Brandenburg, “Response-Time Analysis of Limited-Preemptive Parallel DAG Tasks under Global Scheduling”, Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), pp. 21:1–21:23, July 2019. Open Access PDF

Read more

Advanced Automata Theory Course at TU Kaiserslautern

May 2019
Damien Zufferey and Daniel Neider are co-teaching Advanced Automata Theory at the University of Kaiserslautern in the Summer 2019 semester.

ERC-supported TOROS Project officially launches!

January 2019
The TOROS project, supported by an ERC Starting Grant, has officially started. The project targets the challenge of implementing safety-critical cyber-physical systems on commodity multicore processors such that their temporal correctness can be certified in a formal, trustworthy manner.

Specifically, the TOROS project aims to design a new theory-oriented RTOS that by construction ensures that the temporal behavior of any workload can be analyzed (regardless of whether an application developer is aware of the relevant scheduling theory),  …
The TOROS project, supported by an ERC Starting Grant, has officially started. The project targets the challenge of implementing safety-critical cyber-physical systems on commodity multicore processors such that their temporal correctness can be certified in a formal, trustworthy manner.

Specifically, the TOROS project aims to design a new theory-oriented RTOS that by construction ensures that the temporal behavior of any workload can be analyzed (regardless of whether an application developer is aware of the relevant scheduling theory), develop a matching novel timing analysis for below-worst-case provisioning with analytically sound safety margins that yields meaningful probabilistic response-time guarantees, and plans to mechanize and verify all supporting scheduling theory with the Coq proof assistant using the Prosa framework.

See the project homepage for further details. For inquiries, contact Björn Brandenburg (toros@mpi-sws.org).
Read more