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


R. Martins, M. McCall, D. de Niz, A. Vasudevan, B. Andersson, M. Klein, J. Lehoczky, and H. Kim, ``Formal Verification of a Mixed-Trust Synchronization Protocol,'' Real-Time Network and Systems, 2021.

D. de Niz, B. Andersson, H. Kim, M. Klein and J. Lehoczky, ``Resilient Mixed-Trust Scheduling,'' RTSS 2021.

H. Kim, D. de Niz, B. Andersson, M. Klein and J. Lehoczky, ``Addressing Multi-Core Timing Interference using Co-Runner Locking,'' RTSS 2021.

V. Petrucci, B. Andersson, E. Massa, G. Lima, ``Heterogeneous Quasi-Partitioned Scheduling,'' RTSS 2021.