Equipe System on Chip collection |
 |
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.
Cited literature [9 references]
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
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)