Safety analysis of inconsistencies using a formal verification tool for DSML - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Safety analysis of inconsistencies using a formal verification tool for DSML

Résumé

Safety software engineers lack automatic interaction tools during Autonomous Vehicle development, which can help them check the correctness of safety rules, ensure the system reliability in countless possible situations and its resistance to possible environmental conditions. In this paper, we discuss the benefits of the proposed approach to tackling these problems by proposing a language to safety software engineers to define formal safety requirements that follow one common format in the safety domain. Our framework is in charge of generating the verification engine to check inconsistencies and deploying a chosen solver. We discuss the necessity of using a SAT solver. The validity of the approach is illustrated in an application to a use case with a formal safety goal defined from a scenario. Our approach allows the safety software engineer to detect rule inconsistencies from his defined requirements and proceed to a modification.
Fichier principal
Vignette du fichier
DSC2022.pdf (354.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : Copyright (Tous droits réservés)

Dates et versions

hal-03846499 , version 1 (03-01-2023)

Identifiants

  • HAL Id : hal-03846499 , version 1

Citer

Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frédéric Mallet. Safety analysis of inconsistencies using a formal verification tool for DSML. DSC 2022 Europe VR - 21th Driving Simulation & Virtual reality Conference Europe, Sep 2022, Strasbourg, France. ⟨hal-03846499⟩
57 Consultations
64 Téléchargements

Partager

Gmail Facebook X LinkedIn More