Connectivity and autonomy bring a revolution to automotive systems and software. However, the wireless communication and machine learning techniques, even the models themselves, may lose system guarantees which are important for vehicles as safety-critical systems. In this talk, we will introduce the concept of runtime monitoring which verifies systems during runtime, guides systems to react, and provides system guarantees. The use cases include intelligent intersection management, motion planning, vehicle-to-everything communication, and authentication. Current achievements and research challenges will be covered in the talk.
Chung-Wei Lin is an Associate Professor at the Department of Computer Science and Information Engineering, National Taiwan University (NTU). He received the Ph.D. degree in Electrical Engineering and Computer Sciences from the University of California, Berkeley. He was a researcher at the Toyota InfoTechnology Center, USA, from 2015 to 2018. He won the 2016 Best Paper Award of ACM Transactions on Design Automation of Electronic Systems. He received the Yushan Young Fellowship from the Ministry of Education in 2018 and the Young Scholar Fellowship (Einstein Program) from the Ministry of Science and Technology in 2019. He received the Distinguished Teaching Award from NTU in 2022 and the Distinguished Mentoring Award from NTU in 2023. His research includes cyber-physical systems, connected and autonomous vehicles, security, system design methodology, and model-based design.