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 where I serve on TPC

News

B. Andersson, H. Kim, D. de Niz, M. Klein, R. (Raj) Rajkumar, and J. Lehoczky, ``Schedulability Analysis of Tasks with Co-Runner-Dependent Execution Times,'' ACM Transactions on Embedded Computing Systems, Vol. 17, No. 3, Article 71. May 2018.

D. de Niz, B. Andersson, and G. Moreno, ``Safety enforcement for the verification of autonomous systems,'' SPIE. Defense + Commercial Sensing, Orlando Florida, April 15--19, 2018

Bjorn Andersson, ``Semi-Partitioned Multiprocessor Scheduling,'' in Handbook of Real-Time Computing, 2019

D. de Niz and B. Andersson, ``Processing Enhancement and Virtualization for Cyber-Physical Computations,'' in 1st NGOSCPS Workshop at CPS-IoT Week 2019.

D. de Niz, B. Andersson, M. Klein, J. Lehoczky, A. Vasudevan, H. Kim, and G. A. Moreno, ``Mixed-Trust Computing for Real-Time Systems,'' in Proceedings of the 17th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'19), Hangzhou, China, August 19-21, 2019.