Preliminary results of a case study: model checking for advanced automotive applications

Authors:
Stefan Eisler;Christian Scheidler;Bernhard Josko;Guido Sandmann;Joachim Stroop
Affiliations:
DaimlerChrysler AG, Berlin, Germany;DaimlerChrysler AG, Berlin, Germany;OFFIS, Oldenburg, Germany;OSC – Embedded Systems AG, Oldenburg, Germany;dSPACE GmbH, Paderborn, Germany
Venue:
FM'05 Proceedings of the 2005 international conference on Formal Methods
Year:
2005

Citing 2
Cited 0

VIS: A System for Verification and Synthesis

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic

Logic of Programs, Workshop

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model checking is a promising formal verification technique successfully applied in several industrial environments, such as in chip design and in the telecommunication industry. In this paper, preliminary results of an automotive case study are presented as performed in the context of the European project EASIS.