Simulating Non-Functional Communication Requirements in Automotive Software

Abstract


This paper proposes an approach to support the early validation of non-functional communication requirements in the development of automotive embedded software, particularly for Advanced Driver Assistance Systems (ADAS) that incorporate V2X (Vehicle-to-Everything) communication as a complementary input. The approach integrates the ns-3 network simulator as a systematic tool during the initial stages of the V-model, focusing on the data link layer, specifically the MAC and PHY sublayers, using the IEEE 802.11p protocol and its evolution, IEEE 802.11bd. Simulations are conducted in parallel with requirements elicitation, enabling the assessment and refinement of key parameters such as latency, reliability, packet loss, and communication range. By anticipating the analysis of these properties through simulation, the approach aims to reduce rework in later verification phases and improve the definition of system architecture. The ns-3 environment offers a reproducible, scalable, and low-cost solution for evaluating communication behavior under adverse conditions, contributing to more informed decisions early in the automotive software lifecycle.
Keywords: Non-Functional Requirements Validation, V2X Communication, IEEE 802.11p/802.11bd Simulation, Automotive Embedded Software

References

2011. ISO/IEC 25010:2011 Systems and software engineering — Systems and software Quality Requirements and Evaluation (SQuaRE) — System and software quality models. [link]

Junling Bu, Guozhen Tan, Nan Ding, Mingjian Liu, and Caixia Son. 2014. Implementation and Evaluation of WAVE 1609.4/802.11p in ns-3. In Proceedings of the 2014 Workshop on Ns-3 (Atlanta, Georgia, USA) (WNS3 ’14). Association for Computing Machinery, New York, NY, USA, Article 1, 8 pages. DOI: 10.1145/2630777.2630778

CT Engineering Group. 2023. The power of V2X technology to improve driver assistance and traffic management. [link] Accessed: 2025-07-04.

IEEE Standards Association. 2023. IEEE Standard for Information Technology— Telecommunications and Information Exchange Between Systems—Local and Metropolitan Area Networks—Specific Requirements—Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications Amendment 5: Enhancements for Next Generation V2X. IEEE Std 802.11bd-2022 (2023). DOI: 10.1109/IEEESTD.2023.10063942

Martin Klapez, Carlo Augusto Grazia, Luca Rold, and Maurizio Casoni. 2019. IEEE 802.11p under congestion in an Infrastructure-to-Vehicle communication approach. In 2019 International Conf. of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE). 1–6. DOI: 10.23919/EETA.2019.8804505

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

Luiz F. Martins, Michel R. V. Chaudron, Patrícia A. Silveira, Matheus S. Paixão, Auri M. R. Vincenzi, and Fábio G. de Freitas. 2025. Testing Context-Aware Software Systems: From the Voices of the Automotive Industry. IEEE Trans. on Industrial Informatics 21, 3 (2025), 3025–3036. DOI: 10.1109/TII.2025.3529918

Diego Javier Reinoso-Chisaguano, Xavier Alejandro Flores Cabezas, Juan Pablo Astudillo León, Martha Cecilia Paredes Paredes, Pablo Anibal Lupera Morillo, and Luis F Urquiza-Aguiar. 2022. A Fast and Accurate Approximation of IEEE 802.11 Physical Layer Models for Network Simulators. Electronics 11, 23 (2022), 3900.

Miguel Sepulcre, Manuel Gonzalez-Martín, Javier Gozalvez, Rafael Molina-Masegosa, and Baldomero Coll-Perales. 2022. Analytical Models of the Performance of IEEE 802.11p Vehicle to Vehicle Communications. IEEE Trans. on Vehicular Technology 71, 1 (2022), 713–724. DOI: 10.1109/TVT.2021.3124708
Published
2025-09-22
PESTANA, Larissa; MIRANDA, Breno. Simulating Non-Functional Communication Requirements in Automotive Software. In: BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST), 10. , 2025, Recife/PE. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2025 . p. 156-158. DOI: https://doi.org/10.5753/sast.2025.14415.