FAS-CPS: Flexible and Adaptive Scheduling for Cyber-Physical Systems


  • Nan Chen (2023-), Research Fellows, Digital Twin for Adaptive Scheduling in Avionics (on SCHEME project)


  • Zou Jie (2019-2023), Safety-Driven Timing-Predictable and Resource-Efficient Scheduling for Autonomous Systems, co-supervised with Prof. FREng. John McDermid | now Research Fellow, University of York

MSc/MEng students:

  • Zirui Yuan (2023), “Discrete Simulation of Routerless NoCs”
  • Zhijian Wang (2021), Priority Assignment Algorithms in Multiprocessor Real-Time Systems with Shared Resources | now Research Scientist, Tesla
  • Zixun Yu (2021), Smart Intersection Control with Back-Pressure Algorithms, co-supervised | now Research Scientist in smart transportation

UG students:

  • Dipken Fung (2023), Dean Kenny (2021), Jay Brooks (2021)

for prospective PhD students:

Note that a PhD programme is a commitment of 3-4 years of hard work. You should have the expectation that this is a hard path to go, and not everyone can finish it. If you are (still) interested in applying for a PhD, please continue to read —

I am happy to supervise the following research directions with some example topics:

  • (R.1) Scheduling and allocation of real-time systems
    • Novel scheduling and allocation methods for real-time systems
    • Interference and contention modelling and analysis on multi- and many-cores
    • Scheduling on complex architectures, including many-cores and CPU-GPU heterogeneous platforms
  • (R.2) Digital Twins for real-time embedded systems
    • Dynamic modelling and verification of real-time systems
    • Use digital twins to improve scheduling and allocation of real-time systems
    • Fault and hazard identification using digital twins
  • (R.3) Addressing timing problems in Robotics and AI
    • Timing assurance of robotic and autonomous systems using, for example, probabilistic models and formal methods
    • Multi-robot systems scheduling, management and coordination
    • Timing analysis of ROS 2 executors
  • (R.4) Design and verification of Long-lived Cyber-Physical Systems
    • Using digital twin to develop and improve CPS
    • Formal verification of CPS
  • (R.5) Hardware for real-time systems and internet-of-things
    • Efficient, safe, secure hardware for RTS and IoT applications.
    • Instruction set architecture (ISA) for real-time systems.

Please drop me an email (xiaotian.dai (at) if you want to discuss this further. I am happy to discuss immature ideas and would appreciate it if a more detailed proposal (details are here) could be provided to ease the discussion. The entry date for PhDs is normally in October, but other starting dates can be settled.

The department is offering a limited number of studentships, details can be found here.

MSc/UG3 projects:

  • (UG3) Simulating and improving the scheduling in Time-Sensitive Networks
  • (UG3) Large-scale scheduling of Time-Sensitive Networks
  • (MSc) Traffic scheduling for smart transportation
  • (MSc) Discrete simulation of Routerless Network-on-Chips