1 Research Statement

My research interests are in the design and evaluation of systems infrastructure for safety-critical, embed-ded and cyber-physical systems (CPS), such as automotive, avionics, aerospace and medical devices. Since many CPS directly impact human safety and the environment, they must sense, process and react to external events with stringent performance requirements. Any transient violation of the performance re-quirements may lead to system failures, resulting in catastrophic consequences. The overarching goal of my research is to provide CPS with the predictable real-time performance that is verifiable at design time in a quantitative metric and guaranteed at runtime with high assurance. To achieve this goal, my research entails the development and enhancement of operating systems (OSs), hypervisors, programming models, and mathematical modeling and analysis techniques. Building Cyber-Physical Systems with Multi-Core Platforms Modern multi-core platforms have great potential to meet the increasing computational demands of CPS. The use of multi-core processors also gives an opportunity to consolidate multiple applications onto a single hardware platform, which leads to a significant reduction in space and cost requirements. However, although multi-core processors are widely used in general-purpose domains, they are as of yet rarely used in safety-critical domains. The reason is due to the lack of predictability, resulting from various hardwar