Aufgrund des szenarienbehafteten Charakters von Conformance Tests ist es möglich, dass verschiedene Implementierungen von Automotive-Kommunikationscontrollern den Test bestehen, innerhalb des Steuergeräteverbundes aber trotzdem nicht fehlerfrei miteinander kommunizieren. Die Auswirkungen dadurch entstehender sporadischer Fehler können katastrophal sein und betreffen den OEM und die gesamte Zulieferkette. Als Alternative liefert die formale Verifikation den Beweis, dass sich eine Hardwarebeschreibung spezifikationsgemäß verhält. Sie deckt das vollständige Verhalten ab und beschränkt sich nicht auf ausgewählte Szenarien. Die Verwendung formal verifizierter Buskomponenten hat positive Auswirkungen auf die Systemintegration, da die Kompatibilität formal sichergestellt ist. Dadurch kann eine ungleich höhere Qualität des Gesamtsystems erreicht werden. Der hier vorgestellte Beitrag gibt anhand einer FlexRay und LIN Implementierung einen Einstieg und Überblick in die Methodik, Vorteile und Grenzen der formalen Verifikation.
Due to scenario-dependent Conformance Testing it is possible that different hardware implementations of automotive bus controllers, although they pass the tests, are not able to correctly communicate within a network. The effects of resulting sporadic errors can be catastrophic and may affect the OEM as well as the complete supply chain. Alternatively, formal verification can deliver proof that a hardware description behaves exactly as required by a specification. It covers the entire state space of possible behaviour and is not limited to chosen scenarios. Using such formally verified hardware components has positive effects on system integration, since compatibility of components is formally assured thus increasing the quality of the overall system. This paper gives a brief introduction to formal verification and discusses its advantages and limits by taking verification of FlexRay and LIN implementations as real-life case studies.
Sicherung von Zuverlässigkeit und Interoperabilität bei der fahrzeuginternen Kommunikation mittels formaler Verifikation
Ensuring reliability and interoperability for intra vehicular communication by formal verification
Internationaler Kongress Elektronik im Kraftfahrzeug - Electronic Systems for Vehicles, 14 ; 345-356
VDI-Berichte ; 2075
2009
12 Seiten, 2 Bilder, 11 Quellen
Aufsatz (Konferenz)
Deutsch
Effizienter Einsatz von Ethernet zur fahrzeuginternen Kommunikation
Kraftfahrwesen | 2014
|Benutzerschnittstelle einer fahrzeuginternen Komponente
Europäisches Patentamt | 2016
|