Abstract
In the development and testing of autonomous driving systems, high-definition (HD) maps play an indispensable role by providing vehicles with precise information about their surroundings, encompassing road markings, topographical features, and intricate junction layouts. Despite their importance, creating HD maps through real-world data acquisition or manual design can be laborious, time-consuming, and hard to ensure correctness and diversity. This paper introduces a model-based framework for the automated construction of HD maps. The framework considers junctions as essential components within the road network topology. It formulates the inherent constraints of junction configurations and their interconnections through a Maximum Satisfiability (MaxSAT) model. Based on the optimized configuration for the junctions, the framework defines and integrates the external and internal road connections linked to these junctions, alongside assigning corresponding traffic signal systems. In the experimental evaluation, the comparison with real-world maps and embedded maps in open-source simulation platforms demonstrates that the generated map maintains a compelling balance between diversity and structural simplicity, thus effectively replicating the complexity of real-life road networks. Moreover, the usability of the generated maps has been validated via simulation-based testing of an open-source autopilot system, uncovering several map-related issues.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
When a road does not belong to any junction, its index is -1.
References
Ansótegui, C., Bonet, M.L., Levy, J.: Sat-based maxsat algorithms. Artif. Intell. 196, 77–105 (2013)
Apache software foundation: xerces c++ parser. http://xerces.apache.org/xerces-c/ (2024)
ASAM: Opendrive v1.7.0 user guide (2021). https://www.asam.net/standards/detail/opendrive
Baidu Apollo team: Apollo: open source autonomous driving (2017). https://github.com/ApolloAuto/apollo
BeamNG.AI: Beamng (2022). https://documentation.beamng.com/tutorials/ai/
Becker, D., Ruß, F., Geller, C., Eckstein, L.: Generation of complex road networks using a simplified logical description for the validation of automated vehicles. In: IEEE ITSC, pp. 1–7 (2020)
Castellano, E., Cetinkaya, A., Arcaini, P.: Analysis of road representations in search-based testing of autonomous driving systems. In: IEEE QRS, pp. 167–178 (2021)
CODE SYNTHESIS: XSD binding. https://www.codesynthesis.com/ (2024)
Contra costa transportation authority: gomentum station. https://gomentumstation.net/ (2024)
Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: Carla: an open urban driving simulator. In: CoRL, pp. 1–16. PMLR (2017)
Elghazaly, G., Frank, R., Harvey, S., Safko, S.: High-definition maps: comprehensive survey, challenges and future perspectives. IEEE Open J. ITS 4, 527–550 (2023)
Fremont, D.J., et al.: Formal scenario-based testing of autonomous vehicles: from simulation to the real world. In: IEEE ITSC, pp. 1–8 (2020)
Gambi, A., Mueller, M., Fraser, G.: Automatically testing self-driving cars with search-based procedural content generation. In: ACM SIGSOFT ISSTA, pp. 318–328 (2019)
Kalra, N., Paddock, S.M.: Driving to safety: how many miles of driving would it take to demonstrate autonomous vehicle reliability? Transp. Res. Part A: Policy Pract. 94, 182–193 (2016)
Klischat, M., Liu, E.I., Holtke, F., Althoff, M.: Scenario factory: creating safety-critical traffic scenarios for automated vehicles. In: IEEE ITSC, pp. 1–7 (2020)
Li, C., Cheng, C.H., Sun, T., Chen, Y., Yan, R.: Comopt: combination and optimization for testing autonomous driving systems. In: IEEE ICRA, pp. 7738–7744 (2022)
Li, C.M., Manya, F.: Maxsat, hard and soft constraints. In: Handbook of satisfiability, pp. 903–927. IOS Press (2021)
MathWorks: RoadRunner (2023). https://www.mathworks.com/products/roadrunner.html
Muktadir, G.M., Jawad, A., Paranjape, I., Whitehead, J., Shepelev, A.: Procedural generation of high-definition road networks for autonomous vehicle testing and traffic simulations. SAE Int. J. CAV 6(12-06-01-0007), 99–120 (2022)
OpenStreetMap contributors: planet dump retrieved from https://planet.osm.org . https://www.openstreetmap.org (2024)
Richter, A., Scholz, M.: Deploying guidelines and a simplified data model to provide real world geodata in driving simulators and driving automation. Transport. Res. F: Traffic Psychol. Behav. 61, 305–313 (2019)
Rong, G., et al.: Lgsvl simulator: a high fidelity simulator for autonomous driving. In: IEEE ITSC, pp. 1–6 (2020)
Tang, Y., et al.: Route coverage testing for autonomous vehicles via map modeling. In: IEEE ICRA, pp. 11450–11456 (2021)
Acknowledgments
This work has been partly funded by Major Project of ISCAS (ISCAS-ZD-202302), the Natural Science Foundation of China (Grant No.62132020), and the CAS Project for Young Scientists in Basic Research (Grant No. YSBR-040).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Wang, S., Li, C., Sun, T., Jia, F., Yan, R., Yan, J. (2024). Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems. In: Chin, WN., Xu, Z. (eds) Theoretical Aspects of Software Engineering. TASE 2024. Lecture Notes in Computer Science, vol 14777. Springer, Cham. https://doi.org/10.1007/978-3-031-64626-3_24
Download citation
DOI: https://doi.org/10.1007/978-3-031-64626-3_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-64625-6
Online ISBN: 978-3-031-64626-3
eBook Packages: Computer ScienceComputer Science (R0)