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 metadatas

Cited literature [41 references]  Display  Hide  Download

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 : Wednesday, June 24, 2020 - 4:19:42 PM
Document(s) archivé(s) le : Friday, April 17, 2020 - 4:14:30 PM

File

paper-extend.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02442221, version 1

Citation

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⟩

Share

Metrics

Record views

135

Files downloads

94