Dr. Xiaotian Dai


Research Associate
Real-Time and Distributed Systems Research Group (RTDS)
University of York
York, United Kingdom

Room CSE/120
Department of Computer Science
University of York
York, United Kingdom
YO10 5GH

xiaotian.dai (at) york.ac.uk


I am a research associate on the MOCHA research project, working with Prof. Iain Bate and Prof. Alan Burns in the Real-Time and Distributed Systems Research Group (RTDS). The MOCHA project focuses on modelling, scheduling and allocation of complex many-core architectures that have high performance and stringent timing requirements, using novel methods including Digital Twins. The project is targeted for key techniques of the next-generation 5G/6G communication base stations. You can know more on the MOCHA project website.

Before MOCHA, I worked on the H2020 DEIS project in 2019 with Prof. Tim Kelly and Dr. Ibrahim Habli. The DEIS project involves developing of model-based safety assurance language (using Structured Assurance Case Metamodel (SACM); now is an OMG standard) and tools that is applicable to model-based autonomous and cyber-physical systems. This project was collaborated with AVL, Siemens, General Motor and Fraunhofer.

My current research is mainly focus on real-time scheduling, cyber-physical system design and analysis with an emphasis on improving scheduling flexibility and adaptiveness. My reseach has lead to many novel modelling, scheduling and analysis methods as well as hardware for system with timing requirements. I also work on timing predictability of autonomous and robotic systems to ensure their safety, robustness and resilience.

Find me on: [ Google Scholar | ResearchGate | LinkedIn | Twitter | GitHub ]


Xiaotian Dai is a research associate at the University of York, UK. He received a PhD degree from University of York in 2019 (with Best Thesis). He joined real-time systems group at York in 2015 as a PhD research student, supervised by Prof. Alan Burns. His PhD research involves cooperatively design of control system and real-time task scheduling for Cyber-Physical Systems (CPS), in which various flexible scheduling task models are proposed and implemented to investigate the scheduling impact on control performance. He received a M.Sc. in Control Systems from the University of Sheffield in 2014, and a B.Sc. in Automatic Control in 2011. He serves as a reviewer and a PC member for many IEEE/ACM real-time, embedded and design automation conferences and journals.

News and Events

  • (service) Sep 2022: Invited as the Web Chair and a PC member of RTAS'23
  • (service) July 2022: Invited as a PC member (Artifacts) of RTSS'22
  • (service) July 2022: Invited as a PC member of ICESS'22
  • (conference) June 2022: @ Ada Europe'22 — “Resilience-aware Mixed-criticality DAG Scheduling on Multi-cores for Autonomous Systems”, presented by Jie Zou
  • (conference) June 2022: @ ACC'22 — “Discretization and Stabilization of Energy-based Controller for Period Switching Control and Flexible Scheduling”, presented by Dr. Tafrashi
  • (service) May 2022: Invited as a PC member of DSD'22
  • (service) May 2022: Invited as the co-chair of WMC workshop @ RTSS'22
  • (service) Apr 2022: Invited as the co-chair of the workshop: Innovative Defense Technologies in 5G and Beyond Networks Using ML @ MONAMI'22
  • (service) Feb 2022: Invited as a PC member of ECRTS'22 (Artifacts Evaluation)
  • (service) Jan 2022: Invited as a PC member of RAGE workshop @ DAC 2022
  • (workshop) Nov 2021: @ 6th Annual UK System Research Challenges Workshop — Digital Twin for Embedded & Real-Time Systems
  • (service) Sep 2021: Invited as a PC member of Ada-Europe'22
  • (service) May 2021: Invited as a PC member of ICESS'21
  • (conference) May 2021: @ RTAS'21, May 18 — “Digital Twin for Dependable Multi-Core Real-Time Systems — Requirements and Open Challenges”
  • (service) Apr 2021: RTNS'21 — invited as the Systems Session Chair
  • (service) Jan 2021: RTAS'21 — invited as a PC member (Brief Industry Paper track)
  • (service) Jan 2021: Ada-Europe'21 — invited as a PC member
  • (workshop) Dec 2020: @ 5th Annual UK System Research Challenges Workshop, Dec 10 — presented by Iain Bate
  • (conference) Dec 2020: @ RTSS'20, Dec 13 — DAG Scheduling and Analysis on Multiprocessor Systems (presented by Dr. Zhao) [Video]
  • (service) Nov 2020: ICESS'20 — Resource Management session chair
  • (conference) Nov 2020: @ ICCAD'20, Nov 11 — Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks [Video]
  • (service) Sep 2020: RTNS'21 — invited as the Publicity Chair & PC member
  • (award) Apr 2020: “Best PhD Thesis Award”, University of York
  • (service) Apr 2020: ICESS'20 — invited as a PC member
  • (service) Feb 2020: DSD'20 — invited as the Design of CPS Session Chair & PC member

Extra Information