Dr. Xiaotian (Steven) Dai

Lecturer (Assistant Professor)
Real-Time and Distributed Systems Research Group
Department of Computer Science
University of York, UK

Department of Computer Science
University of York
York, United Kingdom, YO10 5GH

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



I am a Lecturer (~assistant professor) at the Department of Computer Science, University of York, United Kingdom. My research interest is scheduling and verification of real-time and cyber-physical systems. To be more specific, my research is mainly focused on timing analysis and improving scheduling flexibility and adaptiveness over the lifetime, leaning towards applications in cyber-physical systems, robots and autonomous cars. My research has led to many novel modelling, scheduling and analysis methodologies as well as hardware for systems with stringent timing requirements, some of which have been adopted by the industry. I am also active in the robotic and autonomous systems (RAS) community and my research is to ensure their safety, robustness and resilience.

You can find out more about my research interests and projects here.

Short Bio

I was 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), funded by Huawei. 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 and cache-aware scheduling. The project is targeted at providing key techniques of the next-generation 5G/6G communication base stations.

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

I joined the real-time systems group at York in 2015 as a PhD student, supervised by Prof. Alan Burns, and I was awarded a PhD degree in 2019 with Best Thesis. I received an MSc with distinction in Automatic Control and Systems Engineering from the University of Sheffield in 2014, and a BSc in Automatic Control in 2011. I have published over 30 papers and also regularly serve as a TPC member and reviewer for various prestigious conferences and journals in the domains of real-time systems, embedded systems, robotics and design automation.

Other information:

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


  • (service) July 2024: Invited as a TPC member of RTSS 2024 BP track.
  • (service) Apr 2024: Invited as a TPC member of TAS 2024
  • (service) Feb 2024: Invited as the Publication Chair of SIES 2024
  • (news) Oct 2023: I am starting a new position as a Lecturer in Cyber-Physical Systems at the University of York.
  • (service) July 2023: Invited as the Publication Chair of RTAS 2024
  • (news) Apr 2023: I am attending the UK Systems Research Challenges workshop. See you there!
  • (paper) Mar 2023: Two conference papers were accepted at RTNS'23: “Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency” and “Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling”
  • (paper) Mar 2023: Two workshop papers were accepted at RAGE'23 @ CPS-IoT week: “Many-Core Real-Time Network-on-Chip I/O Systems for Reducing Contention and Enhancing Predictability” and “Graceful Degradation with Condition- and Inference-aware for Mixed-Criticality Scheduling in Autonomous Systems”

(More news)