Automatically Assessing Correctness of Autonomous Vehicles (Auto-CAV)
Research Project , 2018 – 2021

While autonomous vehicles can potentially increase road safety and create a safer environment, they are extremely complex systems. The complexity arises not only from the design but also from verifying the correctness of the design. It is of high importance for the end customers that all software that is a part of the autonomous driving system is safe to use and works as expected. In this research project, methods to improve verification of autonomous driving, such as formal verification and system modelling will be addressed. The goal of this project is to establish formal verification as an efficient tool in the development of safety critical software in autonomous vehicles. To achieve this goal, efficient methods to obtain formal models of complex software systems and formal specifications of system requirements will be developed. This will not only result in improved quality of the software developed but also in ensuring correct and safe behaviour of the autonomous vehicles.

Participants

Martin Fabian (contact)

Professor vid Chalmers, Electrical Engineering, Systems and control, Automation

Collaborations

Zenuity

Gothenburg, Sweden

Funding

VINNOVA

Funding Chalmers participation during 2018–2021 with 1,400,000.00 SEK

Related Areas of Advance and Infrastructure

Transport

Areas of Advance

More information

Latest update

2018-10-29