Paper accepted at SafeComp 2017

The paper entitled “Model-Based Safety Analysis of Vehicle Guidance Systems” by Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz and Matthias Volk, has been accepted at SafeComp 2017. The paper emerged from a co-operation with BMW and presents a model-based approach towards the safety analysis of vehicle guidance systems by comparing different mappings from functional blocks onto different hardware platforms.