Xiaotian Dai

Xiaotian Dai
The University of York · Department of Computer Science

PhD in Computer Science

About

19
Publications
1,736
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
134
Citations
Introduction
Research Interests: - Real-Time Scheduling and Analysis (Flexible, Resillient and Adaptive); - Real-Time and Embedded Systems (Performance and Architecture); - Cyber-Physical Systems (Digital Twin; Control Scheduling Co-Design); - Autonomous Systems (Timing and Safety Assurance).

Publications

Publications (19)
Preprint
Full-text available
Emerging advanced control applications, with increased complexity in software but limited computing resources, suggest that real-time controllers should have adaptable designs. These control strategies also should be designed with consideration of the run-time behavior of the system. One of such research attempts is to design the controller along w...
Article
This paper presents a state-of-the-art filter that reduces the complexity in object detection, tracking and mapping applications. Existing edge detection and tracking methods are proposed to create suitable autonomy for mobile robots, however, many of them face overconfidence and large computations at the entrance to scenarios with an immense numbe...
Article
In Mixed-Criticality Systems (MCSs), timely handling of I/O operations is a key for the system being successfully implemented and appropriately functioned. The I/O system for a MCS must simultaneously enable different features, including isolation/separation, timing-predictability, performance, scalability and energy-efficiency. Moreover, such I/O...
Preprint
Full-text available
This paper presents a state-of-the-art filter that reduces the complexity in object detection, tracking and mapping applications. Existing edge detection and tracking methods are proposed to create suitable autonomy for mobile robots, however many of them face overconfidence and large computations at the entrance to scenarios with an immense number...
Article
Full-text available
Long-lived, non-stop cyber-physical systems (CPS) are subject to evolutionary changes that can undermine the guarantees of schedulability that were verified at the time of deployment. At the same time, knowledge gleamed from extended periods of execution can be exploited to reduce the uncertainties that were inevitably presented in the system model...
Article
Full-text available
The emerging scenarios of cyber-physical systems (CPS), such as autonomous vehicles, require implementing complex functionality with limited resources, as well as high performances. This paper considers a common setup in which multiple control and non-control tasks share one processor, and proposes a dual-mode strategy. The control task switches be...
Preprint
Full-text available
Assurance cases are used to demonstrate confidence in system properties of interest (e.g. safety and/or security). A number of system assurance approaches are adopted by industries in the safety-critical domain. However, the task of constructing assurance cases remains a manual, trivial and informal process. The Structured Assurance Case Metamodel...
Article
Assurance cases are used to demonstrate confidence in system properties of interest (e.g. safety and/or security). A number of system assurance approaches are adopted by industries in the safety-critical domain. However, the task of constructing assurance cases remains a manual, lenghty and informal process. The Structured Assurance Case Metamodel...
Thesis
Full-text available
In a Cyber-Physical Control System (CPCS), there is often a hybrid of hard real-time tasks which have stringent timing requirements and soft real-time tasks that are computationally intensive. The task scheduling of such systems is challenging and requires flexible schemes that can meet the timing requirements without being over-conservative. Fixed...
Conference Paper
Full-text available
In some long-lived real-time systems, it is not uncommon to see that the execution times of some tasks may exhibit trends. For hard and firm real-time systems, it is important to ensure these trends will not jeopardize the system. In this paper, we first introduce the notion of dynamic worst-case execution time (dWCET), which forms a new perspectiv...

Network

Cited By

Projects

Project (1)
Project
Modelling and Optimising Complex Heterogenous Architectures (MOCHA) project targets for high performance and high parallelism scheudling and allocation for embedded systems with high computational demand and real-time guarantees.