Skip to main content

Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems

  • Conference paper
  • First Online:
Theoretical Aspects of Software Engineering (TASE 2024)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14777))

Included in the following conference series:

  • 446 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    When a road does not belong to any junction, its index is -1.

References

  1. Ansótegui, C., Bonet, M.L., Levy, J.: Sat-based maxsat algorithms. Artif. Intell. 196, 77–105 (2013)

    Article  MathSciNet  Google Scholar 

  2. Apache software foundation: xerces c++ parser. http://xerces.apache.org/xerces-c/ (2024)

  3. ASAM: Opendrive v1.7.0 user guide (2021). https://www.asam.net/standards/detail/opendrive

  4. Baidu Apollo team: Apollo: open source autonomous driving (2017). https://github.com/ApolloAuto/apollo

  5. BeamNG.AI: Beamng (2022). https://documentation.beamng.com/tutorials/ai/

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. CODE SYNTHESIS: XSD binding. https://www.codesynthesis.com/ (2024)

  9. Contra costa transportation authority: gomentum station. https://gomentumstation.net/ (2024)

  10. Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: Carla: an open urban driving simulator. In: CoRL, pp. 1–16. PMLR (2017)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. Li, C.M., Manya, F.: Maxsat, hard and soft constraints. In: Handbook of satisfiability, pp. 903–927. IOS Press (2021)

    Google Scholar 

  18. MathWorks: RoadRunner (2023). https://www.mathworks.com/products/roadrunner.html

  19. 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)

    Google Scholar 

  20. OpenStreetMap contributors: planet dump retrieved from https://planet.osm.org . https://www.openstreetmap.org (2024)

  21. 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)

    Article  Google Scholar 

  22. Rong, G., et al.: Lgsvl simulator: a high fidelity simulator for autonomous driving. In: IEEE ITSC, pp. 1–6 (2020)

    Google Scholar 

  23. Tang, Y., et al.: Route coverage testing for autonomous vehicles via map modeling. In: IEEE ICRA, pp. 11450–11456 (2021)

    Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Rongjie Yan .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics