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.
Domaines
Systèmes embarqués
Origine : Fichiers produits par l'(les) auteur(s)
Licence : Copyright (Tous droits réservés)
Licence : Copyright (Tous droits réservés)