Our research project has been accepted for CREST(Core Research for Evolutional Science and Technology) program of JST(Japan Science and Technology Agency).

Project Webpage
Title: Formal Methods and Verification Tools for Next-generation Automotive System Platforms
PI: Toshiaki Aoki
Co-PI: Daisuke Ishii
Co-PI: Takashi Tomita
Research Period: Oct. 2023 – Mar. 2029
Outline:
In this research, we propose formal methods and verification tools to ensure the safety and reliability of next-generation automotive system platforms. The formal methods consist of a formal specification language, a control specification language, and formal verification methods using these languages. We propose the verification tools to support them as well. Such formal methods and verification tools cover perception to control functions of the next-generation automotive system platforms, and we stick in their practical application to real systems. The results of this research are expected to drastically improve the safety and reliability of automotive systems, and that will contribute to realizing our safe and reliable mobility society with next-generation cars including autonomous cars.