Linh Thi Xuan PHAN,
Ph.D. Postdoctoral Researcher
Dept of Computer Information Science
University of Pennsylvania
"A Compositional Multi-Modal Framework for Real-Time Embedded Systems"
Real-time embedded systems are becoming increasingly complex. A modern car now contains up to 100 microprocessors that run from 2000 to 3000 software functions, and the next generation of these systems is expected to be more intelligent, dynamic and adaptive. Despite active research on real-time analysis over the past decades, ensuring the safety of current and future real-time embedded systems remains a challenge due to their quickly growing complexity and adaptivity.
In this talk, I will present a new approach to this problem that is based on compositional and multi-modal modeling and analysis. This approach improves the accuracy of analysis results, and it enables safe and efficient component-based design of real-time embedded systems. I will also give an overview of my research in this area, and I will highlight several ongoing projects that target systems in avionics, automotive and cloud computing.
____________________________________________________________________________
|