Naslov
Testing of Model Verifier within Software Development in Automotive Industry

Autori
Kapular, Bruno ; Vranješ, Mario ; Kaštelan, Ivan ; Kovačević, Jelena

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
2021 Zooming Innovation in Consumer Technologies Conference (ZINC) / - Novi Sad, 2021, 252-257

ISBN
978-1-6654-0417-4

Skup
Zooming Innovation in Consumer Technologies Conference (ZINC 2021)

Mjesto i datum
Novi Sad, Srbija, 26.05.2021. - 27.05.2021

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
automotive software ; testing ; model verifier ; AUTOSAR

Sažetak
Modern vehicles are becoming more equipped every day with an increasing number of Advanced Driver-Assistance Systems (ADASs), and thus the amount of complex software on which these ADASs are based is growing. Although the introduction of standardization and automatic program code writing tools in the industry has somewhat facilitated the development of complex ADASs, there is still room for progress in the process of verifying their correctness. As manual writing of software tests for large systems is extremely time-consuming, more and more efforts are being made to automate this process. That is why a tool for automatic verification of models made according to the AUTOSAR standard, called System Definition Verifier (SDV), is being developed. However, this tool also requires verification itself as it is an automated tool. In this paper, a number of models are created to validate the SDV. As the use of the tool was found to be difficult, a graphical user interface (GUI) was created as part of this same project to make any future efforts easier. The created models and GUI are used to perform validation of specific SDV. Validation results given by the tested tool revealed that the SDV detected 97.26% of the error types present in the models, whereas the use of the created GUI accelerated the validation process significantly.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Računarstvo

POVEZANOST RADA