MPI-SWS paper accepted into RTSS'17
July 2017
The paper entitled "An Exact and Sustainable Analysis of Non-Preemptive Scheduling" was accepted into the program of the 38th IEEE Real-Time Systems Symposium (RTSS 2017).
Cyber-Physical Systems
Cyber-physical systems (CPS) research at MPI-SWS explores the design, implementation, and analysis of computing systems that interact with the physical world. Such systems are subject to stringent timing and resource constraints as well as uncertainties in the operating environment. Nevertheless, they must operate safely and reliably. Recent projects in CPS include the model-based synthesis of control systems, the testing and verification of timed and hybrid systems, the formal verification of real-time scheduling theory, the design and analysis of predictable real-time locking protocols, and the implementation and evaluation of multicore real-time schedulers.
