Skip to main content

Use Cases for Simulation in the Development of Automated Driving Systems

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2021)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 13036))

Included in the following conference series:

Abstract

Developing an automated driving system (ADS) is difficult, because a large, heterogeneous set of traffic situations has to be handled by the system. At present, data collection does not provide the means to capture them sufficiently comprehensive. And real-world testing is not feasible in the required amount. So virtual techniques, namely simulation, will play an important role in the development of an ADS, in particular in its verification and validation.

Because such a system is highly safety critical, the development will have to follow at least the process recommendations of the ISO 26262 (or similar directives). This permits to identify activities which can be supported by simulation within the overall development context.

This paper describes three such use cases for simulation in detail. Each use case is presented with its objective, the scope and level of the modeling, and tooling. Further, it is discussed what it takes or would take to realize the use case-what appears to be available and what might be lacking.

The paper thus contributes to an overview of the role virtual testing and exploration techniques might play in the development of ADS. It provides guidelines for practitioners who are faced with the task of selecting the methods to support a complex development process. And it hints at shortcomings of present-day tools, or necessary prerequisites to use those which are available.

This research was partially funded by the German Federal Ministry for Economic Affairs and Energy, Grant No. 19A18017 B (SET Level 4to5), based on a decision by the Parliament of the Federal Republic of Germany. The responsibility for the content lies with the author.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Hungar, H.: Scenario-based validation of automated driving systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 449–460. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03424-5_30

    Chapter  Google Scholar 

  2. International Organization for Standardization: ISO 26262:2018 Road vehicles - Functional safety (2018)

    Google Scholar 

  3. International Organization for Standardization: ISO/PAS 21448:2019 Road vehicles - Safety of the intended functionality (2019)

    Google Scholar 

  4. SET Level Project. https://setlevel.de/en. Accessed 31 July 2021

  5. Treiber, M., Kesting, A.: Traffic Flow Dynamics. Springer, Berlin Heidelberg (2013)

    Book  MATH  Google Scholar 

  6. Lopez, P.A., et al.: Microscopic traffic simulation using SUMO. In: 21st IEEE Intelligent Transportation Systems Conference (ITSC) (2018)

    Google Scholar 

  7. Ulbrich, S., Menzel, T., Reschka, A., Schuldt, F., Maurer, M.: Defining and substantiating the terms scene, situation and scenario for automated driving. IEEE International Annual Conference on Intelligent Transportation Systems (ITSC) (2015)

    Google Scholar 

  8. Hungar, H.: A concept of scenario space exploration with criticality coverage guarantees. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12478, pp. 293–306. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-61467-6_19

    Chapter  Google Scholar 

  9. PEGASUS Project. https://www.pegasusprojekt.de/. Accessed 15 June 2020

  10. VVM Project. https://www.vvm-projekt.de/en/. Accessed 31 July 2021

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hardi Hungar .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Hungar, H. (2021). Use Cases for Simulation in the Development of Automated Driving Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2021. Lecture Notes in Computer Science(), vol 13036. Springer, Cham. https://doi.org/10.1007/978-3-030-89159-6_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-89159-6_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-89158-9

  • Online ISBN: 978-3-030-89159-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics