Requirements to Models of Automotive Software: Application to the Automatic Park Assist function - Télécom Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Requirements to Models of Automotive Software: Application to the Automatic Park Assist function

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 the Automatic Park Assist (APA) function.
Fichier principal
Vignette du fichier
CARS_2019_paper_5.pdf (148.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02308453 , version 1 (08-10-2019)

Identifiants

  • HAL Id : hal-02308453 , version 1

Citer

Yasmine Assioua, Rabéa Ameur-Boulifa, Patricia Guitton-Ouhamou. Requirements to Models of Automotive Software: Application to the Automatic Park Assist function. 5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy. ⟨hal-02308453⟩
273 Consultations
449 Téléchargements

Partager

Gmail Facebook X LinkedIn More