Correct-by-construction instantiation of abstract scenarios

Kurzfassung

In the automotive domain, scenario-based development is the answer to the increasing complexity of highly automated driving functions. Scenario-based methods cluster the large scenario space by so-called abstract scenarios which can be used to sample an infinite number of concrete scenarios. Because abstract scenarios constrain driving maneuvers by excessive use of additional constraints, constraint solving techniques may be required to find concrete scenario instances. In order to guarantee correctness of simulation runs with respect to the abstract scenario, realistic vehicle dynamics need to be considered during the instantiation process. This work proposes an encoding scheme for abstract scenarios into linear constraint systems for the generation of correct-by-construction concrete scenarios. It covers both temporal and spatial aspects of the abstract scenario, as well as simple, but realistic vehicle dynamics. The applicability of the method is shown by demonstrating it on a set of basic driving maneuvers. This paper extends the previous version by presenting further experimental results and giving an overview over practical applications.