Skip to Main content Skip to Navigation
Conference papers

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

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 the Automatic Park Assist (APA) function.
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02308453
Contributor : Matthieu Roy <>
Submitted on : Tuesday, October 8, 2019 - 3:08:56 PM
Last modification on : Wednesday, November 4, 2020 - 3:12:03 PM

File

CARS_2019_paper_5.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02308453, version 1

Citation

Assioua Yasmine, Ameur-Boulifa Rabea, Guitton-Ouhamou Patricia. 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⟩

Share

Metrics

Record views

53

Files downloads

230