Navigation

Contact

EMail: scam6p8gre@uol.deq8d

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

olpb8derog@informfuatikzmx8.unioj3-oldengaqkkburgyfry.de

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

ira.wempe@inddforv0zbumat8qf9ik.uni-oldenbuyx4nrg.opz/vde

A Visual Logic for the Description of Highway Traffic Scenarios

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.

Oliver kbTheel (oliver.thxqsweel@u478uol.de) (Changed: 2020-01-23)