Dr. Stephanie Kemper

Abstract:

In this talk, I will present syntax and semantics of a visual logic VL used to specify (sequences of) traffic situations - involving communications - on the highway.

VL was developed in the context of driver assistance system development, and is intended to bridge the (terminology) gap between system engineers and traffic psychologists developing driver assistance systems, and scientists modelling, analysing and verifying such systems. To achieve this goal, the logic is intuitive and simple, thus easy to understand and apply, yet it has a formal, automaton-based semantics which allows to use well-established tools and formalisms for further analysis of the system.