Requirements to Models of Automotive Software: Application to the Automatic Park Assist function. Yasmine, A., Rabea, A., & Patricia, G. 2019.
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
{"_id":"QnTEEwQYsP5bRgfrS","bibbaseid":"yasmine-rabea-patricia-requirementstomodelsofautomotivesoftwareapplicationtotheautomaticparkassistfunction-2019","author_short":["Yasmine, A.","Rabea, A.","Patricia, G."],"bibdata":{"bibtype":"article","type":"article","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":[{"propositions":[],"lastnames":["Yasmine"],"firstnames":["Assioua"],"suffixes":[]},{"propositions":[],"lastnames":["Rabea"],"firstnames":["Ameur-Boulifa"],"suffixes":[]},{"propositions":[],"lastnames":["Patricia"],"firstnames":["Guitton-Ouhamou"],"suffixes":[]}],"year":"2019","keywords":"⛔ No DOI found","bibtex":"@article{yasmine_requirements_2019,\n\ttitle = {Requirements to {Models} of {Automotive} {Software}: {Application} to the {Automatic} {Park} {Assist} function},\n\tshorttitle = {Requirements to {Models} of {Automotive} {Software}},\n\turl = {https://core.ac.uk/display/231931420?recSetID=},\n\tabstract = {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},\n\tlanguage = {en-gb},\n\turldate = {2021-01-27},\n\tauthor = {Yasmine, Assioua and Rabea, Ameur-Boulifa and Patricia, Guitton-Ouhamou},\n\tyear = {2019},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Yasmine, A.","Rabea, A.","Patricia, G."],"key":"yasmine_requirements_2019","id":"yasmine_requirements_2019","bibbaseid":"yasmine-rabea-patricia-requirementstomodelsofautomotivesoftwareapplicationtotheautomaticparkassistfunction-2019","role":"author","urls":{"Paper":"https://core.ac.uk/display/231931420?recSetID="},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["requirements","models","automotive","software","application","automatic","park","assist","function","yasmine","rabea","patricia"],"title":"Requirements to Models of Automotive Software: Application to the Automatic Park Assist function","year":2019}