Site menu:

Real-Time Systems and Cyber Physical Systems

Real-time systems are computer systems where the correctness depends not only on computing the right result but also on computing the result at the right time. This creates new dependencies. For example, consider two processes that do not share data and do not exchange messages and where there are no real-time requirements. Then, it is possible to prove the functional correctness of one process without considering the other. Suppose now that they have timing requirements and the two processes are scheduled on a single processor. From a timing verification perspective, the two processes are now dependent. For this reason, it is necessary to develop algorithms for scheduling processes so that the timing requirements are considered when making scheduling decisions. This is called real-time scheduling. For a given scheduler and for a given software system, it is also necessary to prove that for all possible interleavings that can be generated at run-time, all timing requirements are met. This is called schedulability analysis.

Cyber-Physical Systems are computer systems where the computer system and its physical world are linked, either intentionally (the system was designed with this linking to attain better performance) or unintentionally (the designer thought that there was no linking but there actually was and this causes new types of faults).

Research Interest

About real-time systems: I have worked on real-time scheduling for multiprocessors, especially multicore processors. I am interested in schedulability analyses that are more expressive than the ones that are available in the research literature right now. About cyber-physical systems: I have developed WiDom --- a medium access protocol for wireless channels --- which makes it possible to apply the fixed-priority scheduling theory to wireless channels.

Upcoming Conferences and Events that I chair/co-chair

Upcoming Conferences and Events where I serve on TPC


H. Kim, D. de Niz, B. Andersson, M. Klein, O. Mutlu, and R. (Raj) Rajkumar, ``Bounding and Reducing Memory Interference in COTS-based Multi-Core Systems,'' Real-Time Systems. May 2016, Volume 52, Issue 3, pp 356-395.

D. de Niz, B. Andersson, H. Kim, R. Rajkumar, M. Klein, and L. Phan, ``Mixed-Criticality Processing Pipelines,'' in Design, Automation and Test in Europe (DATE'17), Lausanne, Switzerland, March 27-31, 2017.

Bjorn Andersson, Dionisio de Niz, Mark Klein, John Lehoczky, and Ragunathan (Raj) Rajkumar ``Real-time scheduling for cyber-physical systems,'' in Cyber-Physical Systems, edited by Raj Rajkumar, Dionisio de Niz, Mark Klein, 2017, ISBN-13: 978-0321926968, ISBN-10: 032192696X.

B. Andersson and D. De Niz, ``Coordinating Mechanisms for more Predictable Memory Accesses,'' presented at Second TCRTS Workshop on Certifiable Multicore Avionics and Automotive Systems (CMAAS), April 21, 2017.

B. Andersson, S. Chaki, and D. De Niz, ``Combining Symbolic Runtime Enforcers for Cyber-Physical Systems,'' in Proceedings of 17th International Conference on Runtime Verification (RV'17), Seattle, USA, September 13 – 16, 2017.