Während heute schon viele Sicherheitssysteme im Auto integriert sind, kann eine weitere Verbesserung durch eine engere Kopplung der unterschiedlichen Systeme kombiniert mit neuen Telematik-Diensten erreicht werden. Die Realisierung solcher integrierter Sicherheitssysteme erfordert eine leistungsfähige und hoch zuverlässige Elektronikarchitektur. Diese Thematik wird in dem von der EU geförderten Projekt EASIS aufgegriffen. OFFIS ist in diesem Projekt verantwortlich für die Entwicklung praxisorientierter Richtlinien für formale Verifikationstechniken.