portrait

Dr. Xiaotian (Steven) Dai

[ Google Scholar | ResearchGate | LinkedIn | Twitter | GitHub ]

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

Office: CSE/136
Email: xiaotian.dai (at) york.ac.uk

About

Hi, my name is Steven. I am currently a Lecturer (equivalent to Assistant Professor in the US) in the Department of Computer Science at the University of York, UK. I mainly work on scheduling and timing assurance, and to guarantee systems to meet their deadlines. I am the lead of the Real-Time and Flexible Cyber-Physical Systems Lab (ReFLEX lab).

My research focuses on the scheduling and verification of real-time cyber-physical systems, with a particular emphasis on timing analysis and enhancing scheduling flexibility and adaptability of safety-critical systems throughout their lifespan. I am particularly interested in applications involving cyber-physical systems, robotics, and autonomous vehicles. My work has contributed to the development of innovative modelling, scheduling and analysis techniques, digital twins for run-time improvement, and hardware for safety-critical embedded systems with strict timing constraints, many of which have been adopted by industry. I am actively involved in the robotics and autonomous systems (RAS) community, with a focus on ensuring safety, robustness, and resilience during their operation.

Find more about my research interests and projects. If you are interested in pursuing a PhD in real-time systems and cyber-physical systems, find more information on PhD opportunities.

Short Bio:

I was a Research Associate on the MOCHA research project from 2019-2023, 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.

Misc:

News

(More news)