Practical Applications of Formal Methods to Next-generation Automotive Systems
Date and time: 14 June 2024, 10:00-11:00 CEST
Speaker: Toshiaki Aoki, Japan Advanced Institute of Science and Technology
Title: Practical Applications of Formal Methods to Next-generation Automotive Systems
Where: Room nr: 3412 (Sten Velander) 4th floor, Teknikringen 33, KTH main campus, Stockholm
Directions: https://www.kth.se/places/room/id/ee460121-00ca-472a-a5f5-bbe175d216d2
Zoom: https://kth-se.zoom.us/j/9776973454
Moderator/Administrator: Cyrille Artho, artho@kth.se
Abstract: We are working on practical applications of formal methods to automotive systems. We successfully applied the formal methods to automotive operating systems including OSEK/VDX, Classic AUTOSAR, and Adaptive AUTOSAR OSs so far. We would like to extend our target to more modern automotive system platforms, particularly those for automated driving systems. The modern automotive system consists of AI for perception and planning, control, and basic software for high-performance computing. Recently, we got a JST/CREST project titled ‘Formal Methods and Verification Tools for Next-generation Automotive System Platforms’ that focuses on modern automotive systems.
This project aims to propose formal methods and verification tools to ensure the safety and reliability of next-generation automotive system platforms. These formal methods and verification tools cover the perception of control functions, and we stick to their practical application to real systems. In this talk, I would like to introduce the overview of the JST/CREST project after showing our research results obtained so far.
Bio: Toshiaki Aoki is a professor at the Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology (JAIST). He is working on practical applications of formal methods. He has conducted joint projects with automotive companies and successfully verified commercial products using formal methods so far. He is the leader of a project titled “Formal Methods for Next Generation Automotive Systems” which has been accepted by JST/CREST last year. The overview of the project can be found in the following URL.