Keywords: {Real-Time and Embedded Systems, Robotics, Cyber-Physical Systems}


I am a research associate at the Department of Computer Science, University of York. My current research is on model-based safety assurance standard and tools that are applicable to Cyber-Physical Systems. People in our group are working on the next generation of safety validation and verification methology for emerging systems including intelligent robots and autonomous systems.

I was awarded a PhD in 2019 in the Real-Time Systems Group (RTSG) at University of York. I joined RTSG in 2015, supervised by Prof. Alan Burns and Prof. Neil Audsley. My PhD research involves cooperatively design of control system and real-time task scheduling for Cyber-Physical Systems (CPS). Scheduling task models and methods are proposed and implemented to investigate the scheduling impact on control performance. Trade-offs between scheduling and control are made by a dual-period task model and a flexible adaptation process. This method is interdisciplinary with real-time scheduling theory, control theory and machine learning.

I was awarded a MSc (2014) in Control Systems at the University of Sheffield, and a BSc (2011) in Control Engineering in China. During my undergraduate and postgraduate study, I was involved in many autonomous robot projects and competitions. I am a strong believer of general AI and robots.

Recent Talks / Seminars

  • (2019) A Dual-Mode Strategy for PerformanceMaximisation and Resource-Efficient CPS Design @ ESWEEK 2019, New York [Slides]
  • (2018) Adaptive Task Scheduling of Real-Time Control Tasks @ University of York [Slides]
  • (2017) Predicting Worst-Case Execution Times in Long-Lived Real-Time Systems @ Ada-Europe 2017, Vienna [Slides]
  • (2015) Using Feedback in Real-Time Systems: A Literature Review @ University of York [Slides]
  • (2014) Using ROS for Robotics Research @ University of Sheffield [Slides]
  • (2014) AR Drone 2.0 as a Research Platform @ University of Sheffield [Slides]

Academic Services

  • Conference paper reviewer
    • RTAS’2020, RTAS’2019
    • ECRTS’2019 (artifacts)
    • DATE’2020
  • Journal paper reviewer
    • Journal of Circuits, Systems and Computers


During my time at the University of York, I was a teaching assistant of the following modules:

  • EMPR (Autumn, 2016-2017): Embedded System Projects
  • PROM (Summer, 2016-2017): Programmable Microcontroller
  • EMPR (Spring, 2016-2017): Embedded System Projects
  • MFCS (Spring, 2016-2017): Mathematical Foundations of CS
  • PROM (Summer, 2015-2016): Programmable Microcontroller
  • ICAR (Spring, 2015-2016): Introduction to Computer Architecture


  • Third ACSE Robotic Search & Rescue Competition, second place, University of Sheffield, 2014
  • China Robot Competition and Robocup, first place in Robot Waterpolo Simulation, 2010
  • IEEE MicroMouse Maze Competition in Jiangsu, 3rd place, 2010


Xiaotian Dai
High Integrity Systems Group (HISE)
Department of Computer Science
University of York
United Kingdom
YO10 5GH

Email: xiaotian.dai (at) york.ac.uk

Research Gate | LinkedIn | Github