News

Cyber-Physical Systems

Arpan Gujarati wins 2021 ACM SIGBED Paul Caspi Memorial Dissertation Award

Arpan Gujarati's thesis, entitled  Towards “Ultra-Reliable" CPS: Reliability Analysis of Distributed Real-Time Systems, has been recognized with the 2021 ACM SIGBED Paul Caspi Memorial Dissertation Award. The award, first given in 2013, recognizes outstanding doctoral dissertations that significantly advance the state of the art in the science of embedded systems, in the spirit and legacy of Dr. Paul Caspi’s work. Arpan was advised by MPI-SWS faculty member Björn Brandenburg.

Program Chair of ECRTS 2021

December 2020
Björn Brandenburg has been selected as the program chair of the 33rd Euromicro Conference on Real-Time Systems (ECRTS'21), to be held virtually July 5–9, 2021.

ECRTS is the premier European venue in the area of real-time systems and, alongside RTSS and RTAS, ranks as one of the top three international conferences on this topic.

Anne-Kathrin Schmuck receives Emmy Noether Award

September 2020
Anne-Kathrin Schmuck, a postdoctoral fellow in the Rigorous Software Engineering group, was accepted to the Emmy Noether Programme of the German Science Foundation (DFG). This grant programme is the most prestigious programme for early career researchers from the DFG. It provides funding for an independent research group for a period of six years.

Anne-Kathrin's group will be hosted at MPI-SWS in Kaiserslautern and will develop automated modular synthesis techniques for reliable Cyber-Physical System (CPS) design. …
Anne-Kathrin Schmuck, a postdoctoral fellow in the Rigorous Software Engineering group, was accepted to the Emmy Noether Programme of the German Science Foundation (DFG). This grant programme is the most prestigious programme for early career researchers from the DFG. It provides funding for an independent research group for a period of six years.

Anne-Kathrin's group will be hosted at MPI-SWS in Kaiserslautern and will develop automated modular synthesis techniques for reliable Cyber-Physical System (CPS) design. Her work draws inspiration from both Control Theory and Computer Science and centers around Reactive Synthesis, Supervisory Control Theory and Abstraction-Based Controller Design.
Read more

Max Planck researchers publish 17 papers at LICS/ICALP 2020

Researchers from the Max Planck Institute for Software Systems (MPI-SWS), the Max Planck Institute for Informatics (MPI-INF), and the Max Planck Institute for Security and Privacy (MPI-SP) have coauthored 17 papers at the colocated LICS 2020 and ICALP 2020, two of the top conferences in theoretical computer science. LICS is the premier conference on logic in computer science and ICALP is the flagship conference of the European Association for Theoretical Computer Science. …
Researchers from the Max Planck Institute for Software Systems (MPI-SWS), the Max Planck Institute for Informatics (MPI-INF), and the Max Planck Institute for Security and Privacy (MPI-SP) have coauthored 17 papers at the colocated LICS 2020 and ICALP 2020, two of the top conferences in theoretical computer science. LICS is the premier conference on logic in computer science and ICALP is the flagship conference of the European Association for Theoretical Computer Science.

MPI-SWS papers:

  1. Invariants for Continuous Linear Dynamical Systems. Shaull Almagor, Edon Kelmendi, Joël Ouaknine and James Worrell. ICALP 2020, Track B. [ Video | Paper]

  2. The complexity of bounded context switching with dynamic thread creation. Pascal Baumann, Rupak Majumdar, Ramanathan Thinniyam Srinivasan and Georg Zetzsche. ICALP 2020, Track B. [ Video | Paper ]

  3. Extensions of ω-Regular Languages. Mikołaj Bojańczyk, Edon Kelmendi, Rafał Stefański and Georg Zetzsche. LICS 2020. [ Video | Paper ]

  4. Rational subsets of Baumslag-Solitar groups. Michaël Cadilhac, Dmitry Chistikov and Georg Zetzsche. ICALP 2020, Track B. [ Video | Paper ]

  5. On polynomial recursive sequences. Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michał Pilipczuk and Géraud Sénizergues. ICALP 2020, Track B. [ Video | Paper ]

  6. An Approach to Regular Separability in Vector Addition Systems. Wojciech Czerwiński and Georg Zetzsche. LICS 2020. [ Video | Paper ]

  7. The complexity of knapsack problems in wreath products. Michael Figelius, Moses Ganardi, Markus Lohrey and Georg Zetzsche. ICALP 2020, Track B. [ Video | Paper ]

  8. The Complexity of Verifying Loop-free Programs as Differentially Private. Marco Gaboardi, Kobbi Nissim and David Purser. ICALP 2020, Track B. [ Video | Paper ]

  9. On Decidability of Time-bounded Reachability in CTMDPs. Rupak Majumdar, Mahmoud Salamati and Sadegh Soudjani. ICALP 2020, Track B. [ Video | Paper ]


MPI-INF papers:

  1. Scheduling Lower Bounds via AND Subset Sum. Amir Abboud, Karl Bringmann, Danny Hermelin and Dvir Shabtay. ICALP 2020, Track A.  [ Video | Paper ]

  2. Faster Minimization of Tardy Processing Time on a Single Machine. Karl Bringmann, Nick Fischer, Danny Hermelin, Dvir Shabtay and Philip Wellnitz. ICALP 2020, Track A. [ Video | Paper ]

  3. Hitting Long Directed Cycles is Fixed-Parameter Tractable. Alexander Göke, Dániel Marx and Matthias Mnich. ICALP 2020, Track A. [ Video | Paper ]

  4. A (2 + ε)-Factor Approximation Algorithm for Split Vertex Deletion. Daniel Lokshtanov, Pranabendu Misra, Fahad Panolan, Geevarghese Philip and Saket Saurabh. ICALP 2020, Track A. [ Video | Paper ]

  5. Hypergraph Isomorphism for Groups with Restricted Composition Factors. Daniel Neuen. ICALP 2020, Track A. [ Video | Paper ]

  6. Deterministic Sparse Fourier Transform with an l∞ Guarante. Yi Li and Vasileios Nakos. ICALP 2020, Track A. [ Video | Paper ]


MPI-SP papers:

  1. Deciding Differential Privacy for Programs with Finite Inputs and Outputs. Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla and Mahesh Viswanathan. LICS 2020. [ Video | Paper ]

  2. Universal equivalence and majority on probabilistic programs over finite fields. Charlie Jacomme, Steve Kremer and Gilles Barthe. LICS 2020. [ Video | Paper ]

Read more

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

MPI-SWS researchers receive QEST'18 Best Paper Award

September 2018
Mahmoud Salamati and Rupak Majumdar have received the Best Paper Award at the 15th International Conference on Quantitative Evaluation of Systems (QEST 2018) for their paper entitled “Approximate Time Bounded Reachability for CTMCs
and CTMDPs: A Lyapunov Approach” (with Sadegh Soudjani from Newcastle University).

Professor Appointment

September 2018
MPI-SWS researcher Mitra Nasri will join TU Delft as an assistant professor starting October 1, 2018. Congratulations, Mitra!

MPI-SWS researchers receive ECRTS'18 Outstanding Paper Award

July 2018
Felipe Cerqueira and Björn Brandenburg have received an Outstanding Paper Award at the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018) for their paper entitled “On Strong and Weak Sustainability, with an Application to Self-Suspending Real-Time Tasks” (with Geoffrey Nelissen of CISTER Research Centre, ISEP, Polytechnic Institute of Porto).

Best Presentation Award @ ECRTS'18

MPI-SWS graduate student Arpan Gujarati has won the Best Presentation Award at the 30th Euromicro Conference on Real-Time Systems (ECRTS18) for a talk on his paper entitled "Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems" (with Mitra Nasri and Björn Brandenburg). Congratulations, Arpan!

MPI-SWS researcher receives RTAS'18 Outstanding Paper Award

April 2018
Björn Brandenburg has won an Outstanding Paper award at the 24th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2018) for his paper entitled “Scalable Memory Reclamation for Multi-Core, Real-Time Systems” (with Yuxin Ren, Guyue Liu, and Gabriel Parmer of George Washington University, Washington, DC, USA).

Björn Brandenburg to chair RTAS'19

April 2018
Björn Brandenburg is the program chair of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'19), to be held as part of CPSWeek 2019 in Montreal, Canada from April 16 to April 18, 2019.

RTAS is a top-tier conference with a focus on systems research related to embedded systems or timing issues. The broad scope of RTAS’19 ranges from traditional hard real-time systems to embedded systems without explicit timing requirements, …
Björn Brandenburg is the program chair of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'19), to be held as part of CPSWeek 2019 in Montreal, Canada from April 16 to April 18, 2019.

RTAS is a top-tier conference with a focus on systems research related to embedded systems or timing issues. The broad scope of RTAS’19 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

Björn Brandenburg receives SIGBED Early Career Award

February 2018
MPI-SWS faculty member Björn Brandenburg has received the first ever SIGBED Early Career Researcher Award. The award is given by ACM SIGBED to recognize outstanding contributions by young investigators in the area of embedded, real-time, and cyber-physical systems.

Two MPI-SWS faculty awarded DFG grants

December 2017
Two MPI-SWS faculty members have received 3-year research grants from DFG, the German Research Organization.

Eva Darulova has received a single-PI DFG grant entitled "Automated Rigorous Verification and Synthesis of Approximations."

Björn Brandenburg has received a DFG grant entitled "RT-Proofs: Formal proofs for real-time systems." This award is for a collaborative grant, with co-PIs at INRIA (Grenoble), Verimag (Grenoble), ONERA (Toulouse), and TU Braunschweig (Germany).

Both projects are actively recruiting doctoral students. …
Two MPI-SWS faculty members have received 3-year research grants from DFG, the German Research Organization.

Eva Darulova has received a single-PI DFG grant entitled "Automated Rigorous Verification and Synthesis of Approximations."

Björn Brandenburg has received a DFG grant entitled "RT-Proofs: Formal proofs for real-time systems." This award is for a collaborative grant, with co-PIs at INRIA (Grenoble), Verimag (Grenoble), ONERA (Toulouse), and TU Braunschweig (Germany).

Both projects are actively recruiting doctoral students. Interested students can apply online.

Automated Rigorous Verification and Synthesis of Approximations

Computing resources are fundamentally limited and sometimes an exact solution may not even exist. Thus, when implementing real-world systems, approximations are inevitable, as are the errors introduced by them. The magnitude of errors is problem-dependent but higher accuracy generally comes at a cost in terms of memory, energy or runtime, effectively creating an accuracy-efficiency tradeoff. To take advantage of this tradeoff, we need to ensure that the computed results are sufficiently accurate, otherwise we risk disastrously incorrect results or system failures. Unfortunately, the current way of programming with approximations is mostly manual, and consequently costly, error prone and often produces suboptimal results.

The goal of this project is to develop an end-to-end system which approximates numerical programs in an automated and trustworthy fashion. The programmer will be able to write exact high-level code and our `approximating compiler' will generate an efficient implementation satisfying a given accuracy specification. In order to achieve this vision, we will develop novel sound techniques for verifying the accuracy of approximate numerical programs, as well as new synthesis approaches to generate such approximations automatically.

RT-Proofs: Formal proofs for real-time systems

Real-time systems, i.e., computer systems subject to stringent timing constraints, are at the heart of most modern safety-critical technologies, including automotive systems, avionics, robotics, and factory automation, to name just a few prominent domains in which incorrect timing can have potentially catastrophic consequences. To assure the always-correct operation of such systems, i.e., to make sure that they always react in a timely fashion even in a worst-case scenario, rigorous validation efforts are required prior to deployment. However, establishing that all timing constraints are met is far from trivial --- and requires sophisticated analysis techniques --- because software timing varies in complex and difficult to predict ways, e.g., due to scheduling delays, shared resources, or communication, even when executing on a dedicated processor. Unfortunately, the theoretical foundations of current analysis methods are not nearly as rock-solid as one might expect.

The key problem is that the state-of-the-art methods are backed by only informal or abbreviated proofs, which are typically difficult to understand, check, adapt, or reuse. As a result, there is a non-trivial risk of subtle, but fatal mistakes, either lingering in the published literature, or arising when combining results with unstated, inconsistent assumptions. And indeed, this is not just a hypothetical concern --- most famously, the timing analysis of the CAN real-time bus (widely deployed in virtually all modern cars) was refuted in 2007, 13 years after initial publication. Similarly, other lesser-known examples of incorrect worst-case analyses abound in the literature, including off-by-one errors, incorrect generalizations, and even claims that are simply wrong. Worse, even if the underlying theory is indeed flawless, there is still no guarantee that it is actually implemented correctly in the toolchains used in practice. In short, the state of the art in the analysis of safety-critical real-time systems leaves a lot to be desired --- informal "pen and paper" proofs are simply inadequate.

There is a better way: timing analysis results should be formally proved, machine-checkable, and independently verifiable. To this end, the RT-proofs project will lay the foundations for the computer-assisted verification of schedulability analysis results by (i) formalizing foundational real-time concepts using the Coq proof assistant and (ii) mechanizing proofs of busy-window-based end-to-end latency analysis, the analysis approach of greatest practical relevance (e.g., used by SymTA/S). Additionally, we will (iii) demonstrate with a practical prototype how trust in a vendor's toolchain can be established by certifying the produced analysis results (rather than the tool itself). Leading by example, RT-proofs will fundamentally raise the level of rigor, to the benefit of the academic community, tool vendors, and real-time systems engineers in practice.
Read more

Björn Brandenburg to chair EMSOFT'18

October 2017
Björn Brandenburg and Sriram Sankaranarayanan (University of Boulder, CO) are co-chairs of the 2018 ACM SIGBED International Conference on Embedded Software (EMSOFT'18), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 1-3 in Turin, Italy.

EMSOFT brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. Since 2001, EMSOFT has been the premier venue for cutting-edge research in the design and analysis of software that interacts with physical processes, …
Björn Brandenburg and Sriram Sankaranarayanan (University of Boulder, CO) are co-chairs of the 2018 ACM SIGBED International Conference on Embedded Software (EMSOFT'18), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 1-3 in Turin, Italy.

EMSOFT brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. Since 2001, EMSOFT has been the premier venue for cutting-edge research in the design and analysis of software that interacts with physical processes, with a long-standing tradition for results on cyber-physical systems, which compose computation, networking, and physical dynamics. See the ESWEEK homepage for further details.
Read more

MPI-SWS paper accepted into RTSS'17

July 2017
The paper entitled "An Exact and Sustainable Analysis of Non-Preemptive Scheduling" by MPI-SWS researchers Mitra Nasri and Björn Brandenburg was accepted into the program of the 38th IEEE Real-Time Systems Symposium (RTSS 2017).

RTSS 2017 will be held from December 6 to December 8 in Paris, France.

 

MPI-SWS researchers receive RTAS 2017 Best Paper award

April 2017
Pratyush Patel, Manohar Vanga, and Björn Brandenburg have won the Best Paper award at the 23rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2017) for their paper entitled "TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference".

MPI-SWS researchers receive RTAS 2017 Outstanding Paper award

April 2017
Mitra Nasri and Björn Brandenburg have won an Outstanding Paper award at the 23rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2017) for their paper entitled "Offline Equivalence: A Non-Preemptive Scheduling Technique for Resource-Constrained Embedded Real-Time Systems".

Real-Time Systems group receives 3 best-paper awards in a row

The MPI-SWS Real-Time Systems group, led by Björn Brandenburg, has won the best paper award at ECRTS’16, the best paper award at RTSS’16, and the best paper award at RTAS’17. These are the three main conferences in real-time systems.  This is the first time a group has won best paper awards in all three consecutive top real-time systems conferences. Congratulations to Björn and the postdocs and students in the real-time systems group!

Principles of Cyber-Physical Systems Course at TU Kaiserslautern

April 2017
Sadegh Soudjani is teaching Principles of Cyber-physical Systems at the University of Kaiserslautern in Summer 2017.

The course meets Tuesdays 11:45-13:15 and Thursdays 10:00-11:30 in 11-260.

Advanced Automata Theory Course at TU Kaiserslautern

April 2017
Rupak Majumdar and Daniel Neider are co-teaching Advanced Automata Theory at the University of Kaiserslautern in the Summer 2017 semester.

The course meets Tuesdays 08:15-09:45 in room 48-210 and Wednesdays 13:45-15:15 in room 46-280 on the University of Kaiserslautern campus.

MPI-SWS researchers receive RTSS 2016 best paper award

December 2016
Björn Brandenburg and Mahircan Gül have won the best paper award at the 37th IEEE Real-Time Systems Symposium (RTSS 2016) for their paper entitled "Global Scheduling Not Required: Simple, Near-Optimal Multiprocessor Real-Time Scheduling with Semi-Partitioned Reservations".

Program Analysis course at TU Kaiserslautern

November 2016
Rayna Dimitrova is teaching Program Analysis at the University of Kaiserslautern in the Winter 2016-17 semester.

The course meets Mondays 17:15-18:45 in room 48-379 on the University of Kaiserslautern campus.

More information about the course

Björn Brandenburg will chair EMSOFT'17

October 2016
Robert de Simone (INRIA) and Björn Brandenburg are co-chairs of the 2017 ACM SIGBED International Conference on Embedded Software (EMSOFT'17), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 15 until October 20 in Seoul, South Korea.

EMSOFT brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. Since 2001, EMSOFT has been the premier venue for cutting-edge research in the design and analysis of software that interacts with physical processes, …
Robert de Simone (INRIA) and Björn Brandenburg are co-chairs of the 2017 ACM SIGBED International Conference on Embedded Software (EMSOFT'17), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 15 until October 20 in Seoul, South Korea.

EMSOFT brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. Since 2001, EMSOFT has been the premier venue for cutting-edge research in the design and analysis of software that interacts with physical processes, with a long-standing tradition for results on cyber-physical systems, which compose computation, networking, and physical dynamics. See the ESWEEK homepage for further details.
Read more

Rupak Majumdar will chair CAV 2017

October 2016
Rupak Majumdar and Viktor Kuncak (EPFL) are co-chairs of the 29th International Conference on Computer-Aided Verification (CAV 2017), to be held between July 22 and 28, 2017 in Heidelberg, Germany.

CAV 2017 is the 29th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis and synthesis methods for hardware and software systems. The CAV home page has more information.

Two MPI-SWS papers accepted at RTNS'16

September 2016
Two MPI-SWS papers were accepted into the program of the 24th International Conference on Real-Time Networks and Systems (RTNS 2016):
  • Quantifying the Effect of Period Ratios on Schedulability of Rate Monotonic
  • On the Problem of Finding Optimal Harmonic Periods

RTNS 2016 will be held from October 19 to October 21 in Brest, France.

Two MPI-SWS papers accepted into RTSS'16

September 2016
Two papers of MPI-SWS researchers were accepted into the program of the 37th IEEE Real-Time Systems Symposium (RTSS 2016):
  • A Blocking Bound for Nested FIFO Spin Locks
  • Global Scheduling Not Required: Simple, Near-Optimal Multiprocessor Real-Time Scheduling with Semi-Partitioned Reservations
RTSS 2016 will be held from November 29 until December 2 in Porto, Portugal.

MPI-SWS researchers receive ECRTS best-paper award

July 2016
Felipe Cerqueira, Felix Stutz, and Björn Brandenburg have received the best paper award at ECRTS 2016, for their paper "Prosa: A Case for Readable Mechanized Schedulability Analysis." Read more about Prosa.

Mitra Nasri awarded Humboldt fellowship

July 2016
MPI-SWS postdoctoral fellow Mitra Nasri has been awarded a two-year Humboldt postdoctoral fellowship. The fellowship enables highly-qualified scientists from abroad to spend extended periods of research in Germany. Dr. Nasrabadi will be spending her fellowship years with the MPI-SWS Real Time Systems research group.

Arpan Gujarati selected to attend Heidelberg Laureate Forum

MPI-SWS Ph.D. student Arpan Gujarati has been selected to attend the 2nd annual Heidelberg Laureate Forum in September 2014. An international committee of experts seletecd Arpan for one of only 100 spots reserved for young computer scientists from around the world. In addition to participating in the forum, he will be one of 40 students given the opportunity to present his research in a poster session. The Heidelberg Laureate Forum gives young computer science and math researchers the opportunity to interact with some of the world's top scientists. …
MPI-SWS Ph.D. student Arpan Gujarati has been selected to attend the 2nd annual Heidelberg Laureate Forum in September 2014. An international committee of experts seletecd Arpan for one of only 100 spots reserved for young computer scientists from around the world. In addition to participating in the forum, he will be one of 40 students given the opportunity to present his research in a poster session. The Heidelberg Laureate Forum gives young computer science and math researchers the opportunity to interact with some of the world's top scientists. The speakers for the 2014 Forum, for example, include 14 different Turing Award winners, as well as numerous winners of the Fields Medal and the Abel Prize.
Read more

MPI-SWS featured in local documentary

MPI-SWS was featured in a documentary produced by local public broadcasting company SWR Rheinland-Pfalz. Part of the "Made in Rheinland-Pfalz" series, the documentary focuses on three software organizations along the "Software Mile" in Kaiserslautern: MPI-SWS, The Fraunhofer IESE, and DFKI. The documentary includes a brief interview with MPI-SWS faculty member Björn Brandenburg and research scientist Felix Bauer.

The documentary will be aired on January 22 at 6:15 pm.

MPI-SWS researchers receive SIES best paper award

June 2013
MPI-SWS faculty member Björn Brandenburg and PhD student Alexander Wieder have won the 2013 SIES (IEEE Symposium on Industrial Embedded Systems) Best Paper Award for their paper "Efficient Partitioning of Sporadic Real-Time Tasks with Shared Resources and Spin Locks".

MPI-SWS researchers win ECRTS outstanding paper award

June 2013
MPI-SWS faculty member Björn Brandenburg and PhD students Arpan Gujarati and Felipe Cerqueira have won a 2013 ECRTS Outstanding Paper Award for their paper "Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities."

Björn Brandenburg receives EDAA dissertation award

MPI-SWS faculty member Björn Brandenburg has won the 2012 EDAA Outstanding Dissertations Award in the category "New directions in embedded system design and embedded software", to be presented at the DATE 2013 conference in March. This marks the third award Brandenburg has received for his dissertation.

Björn Brandenburg receives North American dissertation award

Björn Brandenburg, an MPI-SWS faculty member, has been awarded the Council of Graduate Schools/ProQuest Distinguished Dissertation Award in the area of mathematics, physical sciences, and engineering. The award—North America's most prestigious honor for doctoral dissertations—recognizes recent doctoral recipients who have already made unusually significant and original contributions to their fields.

Brandenburg's dissertation, "Scheduling and Locking in Multiprocessor Real-Time Operating Systems," was also selected for the 2012 Linda Dykstra Distinguished Dissertation Award, …
Björn Brandenburg, an MPI-SWS faculty member, has been awarded the Council of Graduate Schools/ProQuest Distinguished Dissertation Award in the area of mathematics, physical sciences, and engineering. The award—North America's most prestigious honor for doctoral dissertations—recognizes recent doctoral recipients who have already made unusually significant and original contributions to their fields.

Brandenburg's dissertation, "Scheduling and Locking in Multiprocessor Real-Time Operating Systems," was also selected for the 2012 Linda Dykstra Distinguished Dissertation Award, which recognizes the best dissertation among all graduates in the fields of mathematics, physical sciences, and engineering at the University of North Carolina at Chapel Hill.
Read more

Björn Brandenburg wins EMSOFT best paper award

MPI-SWS faculty member Björn Brandenburg, along with James H. Anderson (UNC), has received the ACM SIGBED EMSOFT 2011 best paper award for his paper "Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks."

 

Three new faculty to join MPI-SWS

We are pleased to announce that three new faculty will join MPI-SWS this fall.


Björn Brandenburg is joining us from the University of North Carolina at Chapel Hill (UNC), where he obtained his Ph.D. in computer science. Björn's research interests include multiprocessor real-time system, real-time synchronization protocols, and operating systems. Björn is the lead designer and developer of LITMUSRT, an extension of the Linux kernel for real-time scheduling and synchronization on multicore platforms.

We are pleased to announce that three new faculty will join MPI-SWS this fall.


Björn Brandenburg is joining us from the University of North Carolina at Chapel Hill (UNC), where he obtained his Ph.D. in computer science. Björn's research interests include multiprocessor real-time system, real-time synchronization protocols, and operating systems. Björn is the lead designer and developer of LITMUSRT, an extension of the Linux kernel for real-time scheduling and synchronization on multicore platforms.


Deepak Garg is joining us from the Cybersecurity Lab (CyLab) at Carnegie Mellon University, where he was a post-doctoral researcher. He obtained his Ph.D. from Carnegie Mellon's Computer Science Department. His research interests are in the areas of computer security and privacy, formal logic and programming languages. He is specifically interested in logic-based models of secure systems and formal analysis of security properties of systems.

Ruzica Piskac is joining us from EPFL, where she has completed her Ph.D. in computer science. The goal of her research is to make software development easier and software more reliable via automated reasoning techniques. She is specifically interested in decision procedures, their combinations and applications in program verification and software synthesis.
Read more

Rupak Majumdar joins the MPI-SWS faculty

Rupak Majumdar joins the institute's faculty as a scientific director. Rupak's research interests are in computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems; software verification and programming languages; and logic and automata theory.

Rupak's research spans the spectrum of formal verification techniques, ranging from theoretical foundations of logic and automata theory to practical software engineering tools that systematically analyze thousands of lines of code for programmer errors. In the field of software model checking, …
Rupak Majumdar joins the institute's faculty as a scientific director. Rupak's research interests are in computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems; software verification and programming languages; and logic and automata theory.

Rupak's research spans the spectrum of formal verification techniques, ranging from theoretical foundations of logic and automata theory to practical software engineering tools that systematically analyze thousands of lines of code for programmer errors. In the field of software model checking, Rupak has made major contributions. Rupak, along with Ranjit Jhala, wrote the the model checker Blast, which is able to analyze over 100,000 lines of code for complex temporal properties. This achievement was a major milestone and proof of feasibility in the field of software verification and led to a flurry of academic and industrial activity in the area.

Rupak joins MPI-SWS from the University of California, Los Angeles, where he was on the faculty of the computer science department. Prior to that, Rupak received his Ph.D. degree in Computer Science from the University of California at Berkeley, and his B.Tech. degree in Computer Science from the Indian Institute of Technology at Kanpur.
Read more