Publications


» Publications by Date

2020

[10]       journal       Seyed Amir Tafrishi, Xiaotian Dai , Vahid Esmaeilzadeh Kandjani. “Line-Circle-Square (LCS): A Multilayered Geometric Filter for Edge-Based Detection”. Preprint to ArXiv. 2020.

[9]   conference   Xiaotian Dai , Shuai Zhao, Yu Jiang, Xun Jiao, Xiaobo Sharon Hu, Wanli Chang. “Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks”. International Conference on Computer Aided Design (ICCAD). 2020.

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

2019

[7]       journal       Xiaotian Dai , Alan Burns. “Period Adaptation of Real-Time Control Tasks with Fixed-Priority Scheduling in Cyber-Physical Systems”. Journal of Systems Architecture (JSA). 2020. (*) This work is presented at Ada-Europe 2019.

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

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

[4]       journal       Xiaotian Dai , Wanli Chang, Shuai Zhao and Alan Burns. “A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design”. ACM Transaction on Embedded Computer System (TECS). 2019. (*) This work is presented at EMSOFT 2019.

[3]       journal       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.

2018 (and before)

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

[1]   conference   Xiaotian Dai , Alan Burns. “Predicting Worst-Case Execution Times in Long-Lived Real-Time Systems”. International Conference on Reliable Software Technologies (Ada-Europe). 2017.


» Publication by Topic

Real-Time Scheduling

[9]   conference   Xiaotian Dai , Shuai Zhao, Yu Jiang, Xun Jiao, Xiaobo Sharon Hu, Wanli Chang. “Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks”. International Conference on Computer Aided Design (ICCAD). 2020.

[7]       journal       Xiaotian Dai , Alan Burns. “Period Adaptation of Real-Time Control Tasks with Fixed-Priority Scheduling in Cyber-Physical Systems”. Journal of Systems Architecture (JSA). 2020. (*) This work is presented at Ada-Europe 2019.

[4]       journal       Xiaotian Dai , Wanli Chang, Shuai Zhao and Alan Burns. “A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design”. ACM Transaction on Embedded Computer System (TECS). 2019. (*) This work is presented at EMSOFT 2019.

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

[1]   conference   Xiaotian Dai , Alan Burns. “Predicting Worst-Case Execution Times in Long-Lived Real-Time Systems”. International Conference on Reliable Software Technologies (Ada-Europe). 2017.

Real-Time and Embedded Systems

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

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

Safety and Verification

[3]       journal       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.

Robotics and Autonomous Systems

[10]       journal       Seyed Amir Tafrishi, Xiaotian Dai , Vahid Esmaeilzadeh Kandjani. “Line-Circle-Square (LCS): A Multilayered Geometric Filter for Edge-Based Detection”. Preprint to ArXiv. 2020.

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