Systematic Use Case Driven Environmental Modeling for Early Validation of Automated Driving Functionalities

Abstract

In the automotive industry, current activities focus heavily on the development of automated driving systems (ADS). ADS process environmental data from different sensors, which are fused to generate a model of the surrounding world. Actors in the generated model are objects, which are e.g., classified as vehicles or pedestrians. The actors run in parallel, as in the real world actions from traffic participants can be taken independently and asynchronously from each other. Different actors may have impose different use cases in the interaction with the system. For verification and validation of these functionalities a method is required, that allows for a realistic and hence parallel modeling of the system under test’s environment. Additionally, the method should allow for structured testing in compliance with international norms such as the ISO 26262 and the first international standard for software testing ISO/IEC/IEEE 29119, published in 2013. In this contribution we present an approach for creating environmental models for structured testing of automated driving systems with a constructive method. One step is the enumeration of all possible sequences, but we first decompose the task into manageable units by input/output dependency analysis. The expected behavior is formalized in temporal logic. In doing so, the effort for the creation of the model is feasible in industry. On the other hand, the test model guarantees the representation of all possible scenarios of use, making it a stable basis to derive significant test cases. We applied the method on an embedded system functionality. The functionality’s components were architectured using the AUTOSAR 3.2 standard and implemented with Matlab Simulink. The proposed method allows for a use case driven and feasible creation of environmental models for the early validation of automated driving functionalities.