Abstract
The goal of our approach is the model-based prediction of the effects of driver assistance systems. To achieve this we integrate models of a driver and a car within a simulation environment and face the problem of analysing the emergent effects of the resulting complex system with discrete, numeric and probabilistic components. In particular, it is difficult 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 permits 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.
★ 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Baumann, H. Colonius, H. Hungar, F. Köster, M. Langner, A. Lüdtke, C. Möbus, J. Peinke, S. Puch, C. Schiessl, R. Steenken, and L.Weber. Integrated modelling for safe transportation - driver modeling and driver experiments, In: Fahrermodellierung in Wissenschaft und Wirtschaft, 2. Berliner Fachtagung für Fahrzeugsmodellierung. VDI Verlag, Düesseldorf, 2008.
L. de Alfaro, M. Faella, and M. I. A. Stoelinga. Linear and branching metrics for quantitative transition systems. In Proc. 31st Int’l Colloq. on Automata, Languages and Programming (ICALP04), Turku, Finland, volume 3142 of Lecture Notes in Computer Science, pages 97–109, Berlin, 2004. Springer.
IEEE 1516-2000 Standard for Modeling and Simulation (M&S). High level architecture - framework and rules. IEEE Computer Society Press, September 2000.
T. Gezgin. Observerbasierte on-the-fly Auswertung von QLTL-Formeln innerhalb eines HLA-Simulationsverbundes. Master’s thesis, Carl von Ossietzky University Oldenburg, 2009.
Claus Möbus and Mark Eilers. Further steps towards driver modeling according to the bayesian programming approach. In Vincent Duffy, editor, Digital Human Modeling, volume 5620 of Lecture Notes in Computer Science, pages 413–422. Springer Berlin / Heidelberg, 2009.
Claus Möbus, Mark Eilers, Hilke Garbe, and Malte Zilinski. Probabilistic and empirical grounded modeling of agents in (partial) cooperative traffic scenarios. In Vincent Duffy, editor, Digital Human Modeling, volume 5620 of Lecture Notes in Computer Science, pages 423–432. Springer Berlin / Heidelberg, 2009.
Gerald Sauter, Henning Dierks, Martin Fränzle, and Michael R. Hansen. Lightweight hybrid model checking facilitating online prediction of temporal properties. In Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT ’09, pages 20–22, Kgs. Lyngby, Denmark, 2009. Danmarks Tekniske Universitet.
L.Weber, M. Baumann, A. Lüdtke, and R. Steenken. Modellierung von Entscheidungen beim Einfädeln auf die Autobahn. To appear: Fortschritts-Berichte VDI: Der Mensch im Mittelpunkt technischer Systeme. 8. Berliner Werkstatt Mensch- Maschine-Systeme, 2009.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fränzle, M., Gezgin, T., Hungar, H., Puch, S., Sauter, G. (2011). Using Guided Simulation to Assess Driver Assistance Systems ★ . In: Schnieder, E., Tarnai, G. (eds) FORMS/FORMAT 2010. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14261-1_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-14261-1_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14260-4
Online ISBN: 978-3-642-14261-1
eBook Packages: EngineeringEngineering (R0)