Towards Formal Verification of Autonomous Driving Supervisor Functions - Equipe System on Chip Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Towards Formal Verification of Autonomous Driving Supervisor Functions

Résumé

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.
Fichier principal
Vignette du fichier
paper-extend.pdf (286.33 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02442221 , version 1 (16-01-2020)

Identifiants

  • HAL Id : hal-02442221 , version 1

Citer

Yasmine Assioua, Rabéa Ameur-Boulifa, Patricia Guitton-Ouhamou. 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⟩
255 Consultations
392 Téléchargements

Partager

Gmail Facebook X LinkedIn More