Publications


For a full list of publications, please visit my Google Scholar | dblp.


2022

  •     journal    
    A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems
    Zhe Jiang, Xiaotian Dai, Alan Burns, Neil Audsley, Zonghua Gu, Ian Gray
    (TC) IEEE Transactions on Computers. 2022.

  •     conference    
    Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems
    Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate
    (ISoLA'22) 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. 2022.

  •     journal    
    reTSN: Resilient and Efficient Time-Sensitive Network for Automotive In-Vehicle Communication
    Zou Jie, Xiaotian Dai, John McDermid
    (TCAD) IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2022.
    [Paper]

  •     journal    
    DAG Scheduling and Analysis on Multi-core Systems by Modelling Parallelism and Dependency
    Shuai Zhao, Xiaotian Dai, Iain Bate
    (TPDS) IEEE Transactions on Parallel and Distributed Systems. 2022.
    [Paper]

  •    workshop   
    Resilience-aware Mixed-criticality DAG Scheduling on Multi-cores for Autonomous Systems
    Zou Jie, Xiaotian Dai, John A. McDermid
    (AEiC'22) International Conference on Reliable Software Technologies. 2022.
    [Slides] | [Poster]

  •     conference    
    Discretization and Stabilization of Energy-based Controller for Period Switching Control and Flexible Scheduling
    Seyed A. Tafrishi, Xiaotian Dai, Yasuhisa Hirata, Alan Burns
    (ACC'22) American Control Conference. 2022.
    [Paper] | [Slides]

2021

  •     conference    
    HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems
    Zhe Jiang, Xiaotian Dai, Neil Audsley
    (RTSS'21) 42th IEEE Real-Time Systems Symposium. 2021.
    [Paper] | [Code]

  •     conference    
    Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems --- Requirements and Open Challenges
    Xiaotian Dai, Shuai Zhao, Iain Bate, Alan Burns, Xing Guo, Wanli Chang.
    (RTAS'21) IEEE Real-Time and Embedded Technology and Applications Symposium. 2021.
    [Paper]

  •     journal    
    Towards an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems
    Zhe Jiang, Xiaotian Dai, Pan Dong, Ran Wei, Dawei Yang, Neil Audsley, Nan Guan
    (TCAD) IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2021.
    [Paper]

  •     journal    
    Line-Circle-Square (LCS): A Multilayered Geometric Filter for Edge-Based Detection
    Seyed A. Tafrishi, Xiaotian Dai, Vahid E. Kandjani
    (RAS) Robotics and Autonomous Systems. 2021.
    [Paper] | [Video] | [Code]

2020

  •     conference    
    DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency
    Shuai Zhao, Xiaotian Dai, Iain Bate, Alan Burns, Wanli Chang
    (RTSS'20) 41th IEEE Real-Time Systems Symposium. 2020.
    [Paper] | [Video] | [Code]

  •     conference    
    Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks
    Xiaotian Dai, Shuai Zhao, Yu Jiang, Xun Jiao, Xiaobo Sharon Hu, Wanli Chang
    (ICCAD'20) International Conference on Computer Aided Design. 2020.
    (*) Best Paper Nomination
    [Paper] | [Video] | [Code]

  •     conference    
    Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support
    Shuai Zhao, Zhe Jiang, Xiaotian Dai, Iain Bate, Ibrahim Habli, Wanli Chang
    (DAC'20) Design Automation Conference. 2020.
    [Paper]

  •     conference    
    All in One Network for Driver Attention Monitoring
    Dawei Yang, Xinlei Li, Xiaotian Dai, Rui Zhang, Lizhe Qi, Wenqiang Zhang, Zhe Jiang
    (ICASSP'20) 45th International Conference on Acoustics, Speech and Processing. 2020.
    [Paper]

  •     journal         conference    
    Period Adaptation of Real-Time Control Tasks with Fixed-Priority Scheduling in Cyber-Physical Systems
    Xiaotian Dai, Alan Burns.
    (JSA) Journal of Systems Architecture. 2020.
    (*) Accepted and presented at Ada-Europe 2019.
    [Paper] | [Code]

2019

  •     conference    
    MCS-IOV: Real-time I/O Virtualization for Mixed-Criticality Systems
    Zhe Jiang, Neil Audsley, Pan Dong, Nan Guan, Xiaotian Dai, Lifeng Wei
    (RTSS'19) 40th IEEE Real-Time Systems Symposium. 2019.
    [Paper]

  •     journal         conference    
    A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design
    Xiaotian Dai, Wanli Chang, Shuai Zhao, Alan Burns
    (TECS) ACM Transaction on Embedded Computer System. 2019.
    (*) Accepted and presented at EMSOFT 2019.
    [Paper] | [Slides] | [Code]

  •     journal    
    Model Based System Assurance Using the Structured Assurance Case Metamodel
    Ran Wei, Tim Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
    (JSS) Journal of Software Systems. 2019.
    [Paper]

2018 (and before)

  •     thesis    
    Flexible and Adaptive Real-Time Task Scheduling in Cyber-Physical Control Systems
    Xiaotian Dai
    PhD Thesis. University of York. 2018.
    (*) Best Thesis Award of Computer Science, University of York.
    [Paper]

  •     conference    
    Predicting Worst-Case Execution Times in Long-Lived Real-Time Systems
    Xiaotian Dai, Alan Burns
    (AEiC'17) International Conference on Reliable Software Technologies. 2017.
    [Paper] | [Code]