Xiaotian Dai
Xiaotian Dai
Real-Time Systems Group (RTSRG), University of York
Verified email at york.ac.uk - Homepage
Cited by
Cited by
Model based system assurance using the structured assurance case metamodel
R Wei, TP Kelly, X Dai, S Zhao, R Hawkins
Journal of Systems and Software 154, 211-233, 2019
A dual-mode strategy for performance-maximisation and resource-efficient CPS design
X Dai, W Chang, S Zhao, A Burns
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-20, 2019
Period adaptation of real-time control tasks with fixed-priority scheduling in cyber-physical systems
X Dai, A Burns
Journal of Systems Architecture (JSA) 103, 101691, 2020
MCS-IOV: Real-time I/O virtualization for mixed-criticality systems
Z Jiang, N Audsley, P Dong, N Guan, X Dai, L Wei
IEEE Real-Time Systems Symposium (RTSS), 326-338, 2019
All in one network for driver attention monitoring
D Yang, X Li, X Dai, R Zhang, L Qi, W Zhang, Z Jiang
IEEE International Conference on Acoustics, Speech and Signal Processing …, 2020
Fixed-priority scheduling and controller co-design for time-sensitive networks
X Dai, S Zhao, Y Jiang, X Jiao, XS Hu, W Chang
Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020
Predicting worst-case execution time trends in long-lived real-time systems
X Dai, A Burns
Ada-Europe International Conference on Reliable Software Technologies, 87-101, 2017
DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency
S Zhao, X Dai, I Bate, A Burns, W Chang
IEEE Real-Time Systems Symposium (RTSS), 2020
Towards an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems
Z Jiang, X Dai, P Dong, R Wei, D Yang, N Audsley, N Guan
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2021
Flexible and Adaptive Real-Time Task Scheduling in Cyber-Physical Control Systems
X Dai
University of York, 2018
Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems---Requirements and Open Challenges
X Dai, S Zhao, IJ Bate, A Burns, X Guo, W Chang
IEEE Real-Time and Embedded Technology and Applications Symposium, 2021
Line-Circle-Square (LCS): A multilayered geometric filter for edge-based detection
SA Tafrishi, X Dai, VE Kandjani
Robotics and Autonomous Systems, 103732, 2021
Timing-accurate general-purpose I/O for multi-and many-core systems: scheduling and hardware support
S Zhao, Z Jiang, X Dai, I Bate, I Habli, W Chang
2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020
The system can't perform the operation now. Try again later.
Articles 1–13