Information Technology Reference
In-Depth Information
Using Guided Simulation to Assess Driver
Assistance Systems
Martin Fränzle
1
, Tayfun Gezgin
2
, Hardi Hungar
2
, Stefan Puch
1
,andGerald
Sauter
1
1
Carl von Ossietzky Universität Oldenburg,
Department of Computer Science, 26111 Oldenburg, Germany,
{fraenzle,stefan.puch,gerald.sauter}
@informatik.uni-oldenburg.de
2
OFFIS, Escherweg 2, 26121 Oldenburg, Germany,
{hungar,gezgin}@offis.de
Abstract. The goal of our approach is the model-based prediction
of the effects of driver assistance systems. To achieve this we inte-
grate models of a driver and a car within a simulation environment
and facethe problemof analysingthe emergent effects oftheresulting
complex system with discrete, numeric and probabilistic components.
In particular, it is di
cult to assess the probability of rare events,
though we are specifically interested in critical situations which will
be infrequent for any reasonable system. For that purpose, we use
a quantitative logic which enables us to specify criticality and other
properties of simulation runs. An online evaluation of the logic per-
mits us to define a procedure which guides the simulation towards
critical situations and allows to estimate the risk connected with the
introduction of the assistance system.
Keywords: Guided Simulation, Formal Specification, Model Integration,
Model-based Design, Assistance System, Driver Modelling
1
Introduction
The design of an assistance system in the automotive domain (and elsewhere)
requires several exploration and evaluation activities with potential users of
the system to assess the effect of the system under development. As a conse-
quence, the development process is dicult to organize, it is expensive and
time consuming. The goal of the IMoST
3
project is to reduce the amount of
involvement of human test subjects through the introduction of executable
The research reported here has been mainly performed in the project IMoST
which is funded by the Ministry of Science and Culture of Lower Saxonia.
3
The full name of the project is “Integrated Modelling for Safe Transportation”.
Further information can be found in [1] and at the URL
http://imost.
informatik.uni-oldenburg.de/
