Equipe System on Chip collection |
 |
Conference papers
Towards Formal Verification of Autonomous Driving Supervisor Functions
Abstract : In the software development lifecycle, errors and flaws can be introduced in the different phases and lead to failures. Establishing a set of functional requirements helps producing safe software. However, ensuring that the (being) developed software is compliant with those requirements is a challenging task due to the lack of automatic and formal means to lead this verification. In this paper, we present our approach that aims at analysing a collection of automotive requirements by using formal methods. The proposed approach for formal verification is evaluated by the application to supervisor functions of the autonomous driving (AD) system, the system in charge of self-driving.
Cited literature [41 references]
https://hal.archives-ouvertes.fr/hal-02442221
Contributor : Rabéa Ameur-Boulifa <>
Submitted on : Thursday, January 16, 2020 - 1:27:27 PM
Last modification on : Thursday, December 10, 2020 - 4:49:50 PM
Long-term archiving on: : Friday, April 17, 2020 - 4:14:30 PM
Contributor : Rabéa Ameur-Boulifa <>
Submitted on : Thursday, January 16, 2020 - 1:27:27 PM
Last modification on : Thursday, December 10, 2020 - 4:49:50 PM
Long-term archiving on: : Friday, April 17, 2020 - 4:14:30 PM
File
paper-extend.pdf
Files produced by the author(s)