Reducing Rework in Automotive Software through Simulation-Guided Verification

• Larissa Pestana Stellantis https://orcid.org/0009-0009-3163-2450
• Breno Miranda UFPE https://orcid.org/0000-0001-9608-9393

DOI: https://doi.org/10.5753/sast.2024.3884

Resumo

The development of automotive software predominantly follows the V-cycle, where each development phase has a corresponding verification phase. However, integration verification, which considers system complexity, only occurs at the end of the cycle. This results in a disparity between software verification and system verification, where functionally validated code during development becomes dysfunctional during system verification. The lack of adequate preparation leads to significant rework, with algorithm errors being identified only at the end of the cycle, delaying the transition from development to the initial phase of the V-cycle and increasing both costs and time. This research initially explores multiple verification approaches. After analyzing their relevance to the addressed issue, the focus is placed on Simulation-Guided Verification, which has the potential to transform the V-cycle into a W-cycle or V-INC (Verification Incremental Cycle), by inserting in-loop verifications at each development phase. Techniques such as Model-in-the-Loop (MiL), Software-in-the-Loop (SiL), Processor-in-the-Loop (PiL), Hardware-in-the-Loop (HiL), and Virtual-in-the-Loop (ViL) are employed for continuous and iterative verifications, ensuring early fault detection and significantly reducing rework, thereby enhancing the efficiency of automotive software verification.

Palavras-chave: Automotive Software Verification, Simulation-Guided Verification, V-Cycle, Integration Verification, In-Loop Verification Techniques (MiL, SiL, PiL, HiL, ViL)

Referências

S. Magnus Agren, Eric Knauss, Paolo Giusto, Grant Soremekun, Rogardt Heldal, and Daniela Damian. 2020. The Automotive Virtual Verification Ecosystem: Impediments and Enablers. IEEE Software 37, 5 (2020), 67–76. DOI: 10.1109/MS.2019.2905228

Fabio Falcini and Giuseppe Lami. 2021. System and Software Testing inAutomotive: an Empirical Study on Process Improvement Areas. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). 253–262. DOI: 10.1109/ICST49551.2021.00035

Sooyong Jeong, Yongsub Kwak, and Woo Jin Lee. 2016. Software-in-the-Loop simulation for early-stage testing of AUTOSAR software component. In 2016 Eighth International Conference on Ubiquitous and Future Networks (ICUFN). 59–63. DOI: 10.1109/ICUFN.2016.7536980

James Kapinski, Jyotirmoy Deshmukh, Xiaoqing Jin, Hisahiro Ito, and Ken Butts. 2015. Simulation-guided approaches for verification of automotive powertrain control systems. In 2015 American Control Conference (ACC). 4086–4095. DOI: 10.1109/ACC.2015.7171968

Bohan Liu, He Zhang, and Saichun Zhu. 2016. An Incremental V-Model Process for Automotive Development. In 2016 23rd Asia-Pacific Software Engineering Conference (APSEC). 225–232. DOI: 10.1109/APSEC.2016.040

Florian Muttenthaler, Stefan Wilker, and Thilo Sauter. 2021. Lean automated hardware/software integration test strategy for embedded systems. In 2021 22nd IEEE International Conference on Industrial Technology (ICIT), Vol. 1. 783–788. DOI: 10.1109/ICIT46573.2021.9453538

Mona Safar, Magdy A. El-Moursy, Mohamed Abdelsalam, Ayman Bakr, Keroles Khalil, and Ashraf Salem. 2019. Virtual Verification and Validation of Automotive System. In Journal of Circuits, Systems and Computers, Vol. 28. 1950071. DOI: 10.1142/S0218126619500713

Vassil Todorov, Frédéric Boulanger, and Safouan Taha. 2018. Formal Verification of Automotive Embedded Software. In 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE). 84–87.

VDA QMC Working Group 13 / Automotive SIG 2017. Automotive SPICE Process Assessment Model (version 3.1 ed.). VDA QMC Working Group 13 / Automotive SIG. Available at: [link].