TIGP (AIoT) -- Modeling and Verification for Intelligent Vehicles: Intersection Management, Weakly-Hard Systems, and Automotive Security
- 講者林忠緯 教授 (國立臺灣大學 資訊工程學系)
- 時間2023-03-24 (Fri.) 14:00 – 16:00
Advanced driver assistance systems, autonomous functions, and connected applications bring a revolution to automotive systems and software. In this talk, three topics will be introduced: (1) graph-based modeling, scheduling, and verification for intersection management, where collision-freeness and deadlock-freeness are guaranteed for connected and autonomous vehicles, (2) system verification with weakly-hard constraints, where the level of fault tolerance can be formalized and quantified, and (3) automotive security and the corresponding liveness and truthfulness properties. 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 Academic Contribution Award from the College of Electrical Engineering and Computer Science, NTU in 2021 and the Distinguished Teaching Award from NTU in 2022. His research includes cyber-physical systems, connected and autonomous vehicles, security, system design methodology, and model-based design.