Scenario‐based Verification and Validation of Automated Transportation Systems

Abstract

The research and development activities performed by the DLR Institute of Systems Engineering for Future Mobility (DLR‐SE) are organized via so‐called assets. We present a scenario‐based verification and validation process and relate selected research activities.Verification and validation approaches of automated transportation systems based on driving a certain number of kilometers are infeasible. Therefore, the DLR‐SE asset “Scenario‐based Verification and Validation of Automated Transportation Systems” investigates methods and prototyping tools for verifying and validating automated transportation systems employing scenarios as the main structuring element to capture complex traffic evolutions. While there are many different approaches, our focus is formally specifying relevant abstract scenarios that are readable by humans while also being machine‐readable. This allows us to automatize the verification and validation process, which increases confidence in, for example, the safety of the systems due to a dramatically increased number of executed tests while reducing the manual effort from humans.