Research
Cyber-Physical Systems
My research is focused on foundations of Cyber-Physical Systems (CPS). CPS are next-generation computer systems which sense and actuate physical environment. Their examples are autonomous driving vehicles, unmanned aerial vehicles, and intelligent surgery robots. CPS can potentially revolutionize entire our life.
One important aspect of CPS is real-time systems because CPS interact physical entities which are sensitive to time. Real-time systems are systems whose correctness depends on their temporal aspects as well as their functional aspects. In Real Time scheduling, its performance is evaluated by timeliness on timing constraints (deadlines). On the other hand, speed/average case performance/throughput, which is used for performance metric in traditional system research, are less significant. Its key property is predictability on timing constraints.
Machine Learning Security and Autonomous Driving
Federated Learning
Mixed Criticality Embedded Systems
Many safety-critical real-time systems such as avionics and automotive consist of multiple functionalities with different criticality. For example, an Unmanned Aerial Vehicle (UAV) consists of flight-related (high-critical) functionalities and mission-related (low-critical) functionalities. An increasing trend is to integrate multiple components with different criticality into a single shared platform, called Mixed-Criticality (MC) systems, in order to reduce manufacturing cost.