Skip to main content
  • Book
  • © 2020

Validation and Verification of Automated Systems

Results of the ENABLE-S3 Project

  • 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

Buy it now

Buying options

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

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

Table of contents (21 chapters)

  1. Front Matter

    Pages i-xi
  2. V&V Technology Bricks for Scenario-Based Verification & Validation

    1. Front Matter

      Pages 25-25
    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
  3. Applications

    1. Front Matter

      Pages 177-177
    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

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

Buy it now

Buying options

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