Comprehensive modular verification and validation framework for … · 2018-05-14 · April 17,...

8
PUBLIC April 17, 2018 1 This project has received funding from the ECSEL Joint Undertaking under grant agreement No 692455. This Joint Undertaking receives support from the European Union’s Horizon 2020 research and innovation programme and Austria, Denmark, Germany, Finland, Czech Republic, Italy, Spain, Portugal, Poland, Ireland, Belgium, France, Netherlands, United Kingdom, Slovakia, Norway. ENABLE-S3 ECSEL EU PROJECT Comprehensive modular verification and validation framework for automated systems - ENABLE-S3 Jürgen Holzinger, Andrea Leitner, AVL, April 17, 2018 http://www.enable-s3.eu/

Transcript of Comprehensive modular verification and validation framework for … · 2018-05-14 · April 17,...

Page 1: Comprehensive modular verification and validation framework for … · 2018-05-14 · April 17, 2018 PUBLIC 7 Development & validation challenges • Complex control systems with

PUBLICApril 17, 2018 1

This project has received funding from the ECSEL Joint Undertaking under grant agreement No 692455. This Joint Undertaking receives support from the European Union’s Horizon 2020 research and innovation programmeand Austria, Denmark, Germany, Finland, Czech Republic, Italy, Spain, Portugal, Poland, Ireland, Belgium, France, Netherlands, United Kingdom, Slovakia, Norway.

ENABLE-S3ECSEL EU PROJECT

Comprehensive modular verification and validation framework for automated systems -ENABLE-S3

Jürgen Holzinger, Andrea Leitner, AVL, April 17, 2018

http://www.enable-s3.eu/

Page 2: Comprehensive modular verification and validation framework for … · 2018-05-14 · April 17, 2018 PUBLIC 7 Development & validation challenges • Complex control systems with

PUBLICApril 17, 2018 2

How can we make sure that the system behaves correctly in every

situation?

Page 3: Comprehensive modular verification and validation framework for … · 2018-05-14 · April 17, 2018 PUBLIC 7 Development & validation challenges • Complex control systems with

PUBLICApril 17, 2018 33

Page 4: Comprehensive modular verification and validation framework for … · 2018-05-14 · April 17, 2018 PUBLIC 7 Development & validation challenges • Complex control systems with

PUBLICApril 17, 2018 6

Expected ADAS/AD Validation Efforts

~106

Level 4 Level 5Level 3Level 2Level 1

~108

Single

ADASPartial

Automation

Limited Self-

Driving

High /Full

Automation

Required Equivalent

Road-Kilometers for

Validation *

* Prof. Winner FZD,

Absicherung

automatisches Fahren,

6.FAS Tagung München

2013

On-road validation ~ x 106 km

HIL/VIL-Test bed validation ~ y 107 Eq.R.km

SIL/MIL - Virtual Validation

~ 108 Equivalent Road km

Virtual Validation will

be the dominant

validation method

Page 5: Comprehensive modular verification and validation framework for … · 2018-05-14 · April 17, 2018 PUBLIC 7 Development & validation challenges • Complex control systems with

PUBLICApril 17, 2018 7

Development & validation challenges

• Complex control systems with intensive interaction on-board and with the environment

• Uncountable potential scenarios which might occur in reality

• Test definitions (e.g. scenarios), test plans and conditioning, test reports differ from test environments and test tools

• No or not enough unit under tests available for real life testing

• Real life test can be too dangerous for humans

• Many of the necessary test situations do occur just by accident in real world - reproducibility?

• Realistic tests in pure simulation environments are often not possible

• Safety and security are tied together

• Certification of automated vehicles is unclear

Page 6: Comprehensive modular verification and validation framework for … · 2018-05-14 · April 17, 2018 PUBLIC 7 Development & validation challenges • Complex control systems with

PUBLICApril 17, 2018 8

Modular validation framework in ENABLE-S3

Validation scenarios

Full scenario coverage with all

variationsx*10^12 tests

Virtual world models

Reusable validation procedures

Intelligent accelerated validation

y*10^3 tests

Scenario variations

System variants

Environment

Routes

Personality types

Scenario parameters

Runtime validation

Input from other related projects

Real world data analysis

Results of safety &

security analysis

Scenario extraction

Hardware in the loop

System variants in the loop

Validation Methodology Validation Platform

Proving groundModel/Software in

the loop

… other parameters

Page 7: Comprehensive modular verification and validation framework for … · 2018-05-14 · April 17, 2018 PUBLIC 7 Development & validation challenges • Complex control systems with

PUBLICApril 17, 2018 14

Seamless development and test environments

11

MIL Cloud simulation

MIL / SIL Office Simulation

VIL - Vehicle in the loop

HIL - Hardware in the loop

Knowledge about country / region specifics for automated driving (traffic signs, traffic lights, traffic rules,

traffic density, driver behavior, …)

Seamless use of models

Seamless data management

Seamless data processing and reports

Seamless use of tools

Seamless use of test scenarios

MIL / SIL Cloud Simulation

Page 8: Comprehensive modular verification and validation framework for … · 2018-05-14 · April 17, 2018 PUBLIC 7 Development & validation challenges • Complex control systems with

THANK YOU

The research leading to these results has received funding from the H2020-ECSEL-2015-2-IA-two-stage for ENABLE-S3 – European Initiative to Enable Validation for Highly Automated Safe and Secure Systems Joint Undertaking under grant agreement

n° 692455 and from specific national programs and / or funding authorities.

Contact: [email protected], [email protected]