Navigating Dimensionality Through State Machines in Automotive System Validation

Laurenz Adolph, Barbara Schütt, David Kraus, Eric Sax

2025

Abstract

The increasing automation of vehicles is resulting in the integration of more extensive in-vehicle sensor systems, electronic control units, and software. Additionally, vehicle-to-everything communication is seen as an opportunity to extend automated driving capabilities through information from a source outside the ego vehicle. However, the validation and verification of automated driving functions already pose a challenge due to the number of possible scenarios that can occur for a driving function, which makes it difficult to achieve comprehensive test coverage. Currently, the establishment of Safety Of The Intended Functionality (SOTIF) mandates the implementation of scenario-based testing. The introduction of additional external systems through vehicle-to-everything further complicates the problem and increases the scenario space. In this paper, a methodology based on state charts is proposed for modeling the interaction with external systems, which may remain as black boxes. This approach leverages the testability and coverage analysis inherent in state charts by combining them with scenario-based testing. The overall objective is to reduce the space of scenarios necessary for testing a networked driving function and to streamline validation and verification. The utilization of this approach is demonstrated using a simulated, signalized intersection with a roadside unit that detects vulnerable road users.

Paper Citation

in Harvard Style

Adolph L., Schütt B., Kraus D. and Sax E. (2025). Navigating Dimensionality Through State Machines in Automotive System Validation. In Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD; ISBN 978-989-758-729-0, SciTePress, pages 125-132. DOI: 10.5220/0013080800003896

in Bibtex Style

@conference{modelsward25,
author={Laurenz Adolph and Barbara Schütt and David Kraus and Eric Sax},
title={Navigating Dimensionality Through State Machines in Automotive System Validation},
booktitle={Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD},
year={2025},
pages={125-132},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013080800003896},
isbn={978-989-758-729-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD
TI - Navigating Dimensionality Through State Machines in Automotive System Validation
SN - 978-989-758-729-0
AU - Adolph L.
AU - Schütt B.
AU - Kraus D.
AU - Sax E.
PY - 2025
SP - 125
EP - 132
DO - 10.5220/0013080800003896
PB - SciTePress