Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [41 references]  Display  Hide  Download
Contributor : Rabéa Ameur-Boulifa Connect in order to contact the contributor
Submitted on : Thursday, January 16, 2020 - 1:27:27 PM
Last modification on : Wednesday, November 3, 2021 - 8:15:34 AM
Long-term archiving on: : Friday, April 17, 2020 - 4:14:30 PM


Files produced by the author(s)


  • HAL Id : hal-02442221, version 1


Assioua Yasmine, Ameur-Boulifa Rabea, Guitton-Ouhamou Patricia. Towards Formal Verification of Autonomous Driving Supervisor Functions. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02442221⟩



Record views


Files downloads