Im immer größer werdenden Maße werden Steuer- und Regelungsaufgaben in der Automobiltechnik durch elektronische Steuereinheiten realisiert Die Komplexität dieser Steuerungsgeräte wird in Zukunft noch zunehmen. Gerade der Übergang von einer Vielzahl einzelner Steuergeräten zu einer Realisierung auf einer verteilten Zielarchitektur verlangt einen abgestimmten und eng verzahnten Entwurfsprozess zwischen Hersteller und Zulieferfirmen. Ziel dieses Projektes ist es formale Verifikationstechniken zur Unterstützung des Entwurfs von Steuergeräten an der Schnittstelle zwischen Herstellern und Zuliefern bereitzustellen. Diese sollen auf der einen Seite den Hersteller bei Integrationsfragen unterstützen und auf der anderen Seite dem Zulieferer IP-Schutz bieten. In diesem Projekt sollen hierzu kompositionelle Verifikationstechniken entwickelt werden. Die Herausforderung in diesem Projekt liegt darin, Methoden für die Anwendung in der industriellen Praxis bereitzustellen.