Abstract
AbstractThe growing relevance of artificial intelligence (AI) for technical systems offers significant potential for the realization and operation of autonomous systems in complex and potentially unknown environments. However, unlike classical solution approaches, the functionality of an AI system cannot be verified analytically, which is why data-driven approaches such as scenario-based testing are used. With the increasing complexity of the required functionality of the AI-based system, the quantity, and quality of the data needed for development and validation also increase. To meet this demand, data generated synthetically using simulation is increasingly being used. Compared to the acquisition of real-world reference data, simulation offers the major advantage that it can be configured to test specific scenarios of interest. This paper presents an architecture for the systematic generation of virtual test scenarios to establish synthetically generated test data as an integral part of the development and validation process for AI systems. Key aspects of this architecture are the consistent use of digital twins as virtual 1-to-1 replicas and a simulation infrastructure that enables the generation of training and validation data for AI-based systems in appropriate quantity, quality, and time. In particular, this paper focuses on the application of the architecture in the context of two use cases from different application domains.
Funder
Bundesministerium für Wirtschaft und Technologie
RWTH Aachen University
Publisher
Springer Science and Business Media LLC
Reference23 articles.
1. Dahmen U, Osterloh T, Roßmann J (2021) Generation of virtual test scenarios for training and validation of AI-based systems. In: IEEE international conference on progress in informatics and computing (PIC), pp 64–71
2. Fremont DJ, Dreossi T, Ghosh S, Yue X, Sangiovanni-Vincentelli AL, Seshia SA (2019) Scenic: a language for scenario specification and scene generation. In: Proceedings of the 40th ACM SIGPLAN conference on programming language design and implementation, pp 63–78
3. Association for Standardization of Automation and Measuring Systems ASAM OpenSCENARIO® Standard 29.07.2022. https://www.asam.net/standards/detail/openscenario/
4. Dreossi T, et al. (2019) VerifAI: a toolkit for the formal design and analysis of artificial intelligence-based systems. In: Dillig I, Tasiran S (eds) Computer aided verification (CAV), vol 11561. Springer. https://doi.org/10.1007/978-3-030-25540-4_25
5. Dosovitskiy A, Ros G, Codevilla F, Lopez A, Koltun V (2017) CARLA: an open urban driving simulator