Requirements to Models of Automotive Software: Application to the Automatic Park Assist function. Yasmine, A., Rabea, A., & Patricia, G. 2019.
Requirements to Models of Automotive Software: Application to the Automatic Park Assist function [link]Paper  abstract   bibtex   
International audienceIn 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
@article{yasmine_requirements_2019,
	title = {Requirements to {Models} of {Automotive} {Software}: {Application} to the {Automatic} {Park} {Assist} function},
	shorttitle = {Requirements to {Models} of {Automotive} {Software}},
	url = {https://core.ac.uk/display/231931420?recSetID=},
	abstract = {International audienceIn 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},
	language = {en-gb},
	urldate = {2021-01-27},
	author = {Yasmine, Assioua and Rabea, Ameur-Boulifa and Patricia, Guitton-Ouhamou},
	year = {2019},
	keywords = {⛔ No DOI found},
}

Downloads: 0