Publications

Here is a list of my recent publications, which can also be found on Google Scholar and dblp :

Work-in-progress

  • Xiaotian Dai, Alan Burns. Period Adaptation for Real-Time Control Tasks under Fixed Priority Scheduling. Journal of Systems Architecture (JSA). 2019.
  • Xiaotian Dai, Wanli Chang, Shuai Zhao, Alan Burns. A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design. ACM SIGBED International Conference on Embedded Software (EMSOFT). 2019.
  • Ran Wei, Tim Kelly, Shuai Zhao, Xiaotian Dai, Ibrahim Habli. A Research Roadmap Towards Automated Assurance of Cyber-Physical Systems. IEEE/ACM Automated Software Engineering (ASE). 2019.

Published

  • (J.1) Ran Wei, Tim Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins. Model Based System Assurance Using the Structured Assurance Case Metamodel. Journal of Software Systems (JSS). 2019.
  • (T.2) Xiaotian Dai. Flexible and Adaptive Real-Time Task Scheduling in Cyber-Physical Control Systems. 2019. University of York.
  • (P.1) Xiaotian Dai, Alan Burns. Predicting Worst-Case Execution Times in Long-Lived Real-Time Systems. Ada-Europe International Conference on Reliable Software Technologies. 2017. Springer.
  • (R.1) Xiaotian Dai. The Role of Flexible Models in Adaptive Real-Time Scheduling. 2015. University of York.
  • (T.1) Xiaotian Dai. Vision-based Localization and Tracking of a UGV using a Quadcopter. 2014. University of Sheffield. [Demo Video]

(J: journal, C: conference paper, R: report, T: thesis)