Skip to main content
SpringerLink
Log in

Validation and Verification of Automated Systems

Results of the ENABLE-S3 Project

  • Book
  • © 2020

Overview

Editors:
  1. Andrea Leitner

    1. AVL LIST GMBH, Graz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Daniel Watzenig

    1. Virtual Vehicle Research Center, Graz University of Technology, Graz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Javier Ibanez-Guzman

    1. API : TCR RUC 0 52, Renault S.A., Guyancourt, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Discusses the emerging topic of testing automated systems from the viewpoint of academia and industry
  • Summarizes the main results of the European research project ENABLE-S3, covering all relevant aspects of testing automated systems including testing methodologies as well as testing environments
  • Complemented by articles from related international activities from the USA and Asia

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

Access this book

Log in via an institution
eBook USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 129.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  3. V&V Technology Bricks for Scenario-Based Verification & Validation

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Using Scenarios in Safety Validation of Automated Systems

      • Sytze Kalisvaart, Zora Slavik, Olaf Op den Camp
      Pages 27-44

    3. Traffic Sequence Charts for the ENABLE-S3 Test Architecture

      • Werner Damm, Eike Möhlmann, Astrid Rakow
      Pages 45-60

    4. A Scenario Discovery Process Based on Traffic Sequence Charts

      • Werner Damm, Eike Möhlmann, Astrid Rakow
      Pages 61-73

    5. Digital Map and Environment Generation

      • Gerald Temme, Michael Scholz, Mohamed Mahmod
      Pages 75-87

    6. Systematic Verification and Testing

      • Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook, Rupert Schlick et al.
      Pages 89-104

    7. Reliable Decision-Making in Autonomous Vehicles

      • Gleifer Vaz Alves, Louise Dennis, Lucas Fernandes, Michael Fisher
      Pages 105-117

    8. Radar Signal Processing Chain for Sensor Model Development

      • Martin Holder, Zora Slavik, Thomas D’hondt
      Pages 119-133

    9. Functional Decomposition of Lidar Sensor Systems for Model Development

      • Philipp Rosenberger, Martin Holder, Marc René Zofka, Tobias Fleck, Thomas D’hondt, Benjamin Wassermann et al.
      Pages 135-149

    10. Camera Sensor System Decomposition for Implementation and Comparison of Physical Sensor Models

      • Marcel Mohr, Gustavo Garcia Padilla, Kai-Uwe Däne, Thomas D’hondt
      Pages 151-163

    11. Seamless Tool Chain for the Verification, Validation and Homologation of Automated Driving

      • Andrea Leitner, Jürgen Holzinger, Hannes Schneider, Michael Paulweber, Nadja Marko
      Pages 165-176

  4. Applications

    1. Front Matter

      Pages 177-177
      Download chapter PDF

    2. Validation Framework Applied to the Decision-Making Process for an Autonomous Vehicle Crossing Road Intersections

      • Mathieu Barbier, Javier Ibanez-Guzman, Christian Laugier, Olivier Simonin
      Pages 179-205

    3. Validation of Automated Valet Parking

      • Hasan Esen, Maximilian Kneissl, Adam Molin, Sebastian vom Dorff, Bert Böddeker, Eike Möhlmann et al.
      Pages 207-220
Back to top

Keywords

About this book

The book summarizes the main results of the the project ENABLE-S3 covering the following aspects: validation and verification technology bricks (collection and selection of test scenarios, test executions envionments incl. respective models, assessment of test results), evaluation of technology bricks in selected use cases and standardization and related initiatives. ENABLE-S3 is an industry-driven EU-project and aspires to substitute todays' cost-intensive verification and validation efforts by more advanced and efficient methods. In addition, the book includes articles about complementary international activities in order to highlight the global importance of the topic and to cover the wide range of aspects that needs to be covered at a global scale.

Editors and Affiliations

  • AVL LIST GMBH, Graz, Austria

    Andrea Leitner

  • Virtual Vehicle Research Center, Graz University of Technology, Graz, Austria

    Daniel Watzenig

  • API : TCR RUC 0 52, Renault S.A., Guyancourt, France

    Javier Ibanez-Guzman

Bibliographic Information

  • Book Title: Validation and Verification of Automated Systems

  • Book Subtitle: Results of the ENABLE-S3 Project

  • Editors: Andrea Leitner, Daniel Watzenig, Javier Ibanez-Guzman

  • DOI: https://doi.org/10.1007/978-3-030-14628-3

  • Publisher: Springer Cham

  • eBook Packages: Energy, Energy (R0)

  • Copyright Information: Springer Nature Switzerland AG 2020

  • Hardcover ISBN: 978-3-030-14627-6Published: 21 November 2019

  • Softcover ISBN: 978-3-030-14630-6Published: 21 November 2020

  • eBook ISBN: 978-3-030-14628-3Published: 10 November 2019

  • Edition Number: 1

  • Number of Pages: XI, 320

  • Number of Illustrations: 11 b/w illustrations, 132 illustrations in colour

  • Topics: Transportation, Quality Control, Reliability, Safety and Risk, Automotive Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation