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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Sicherung von Zuverlässigkeit und Interoperabilität bei der fahrzeuginternen Kommunikation mittels formaler Verifikation


    Additional title:

    Ensuring reliability and interoperability for intra vehicular communication by formal verification


    Contributors:
    Sander, Oliver (author) / Klimm, A. (author) / Becker, J.E. (author) / Becker, J. (author) / Kimmeskamp, T. (author) / Formann, J. (author) / Echtle, K. (author) / Weinberger, K. (author) / Bulach, S. (author)


    Publication date :

    2009


    Size :

    12 Seiten, 2 Bilder, 11 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German




    Effizienter Einsatz von Ethernet zur fahrzeuginternen Kommunikation

    Pallierer,R. / Ziehensack,M. / Elektrobit Automotive,Braunschweig,DE | Automotive engineering | 2014


    Datenanalyse von fahrzeuginternen Feinstaubsensoren

    MACNEILLE PERRY ROBINSON / GUSIKHIN OLEG YURIEVITCH | European Patent Office | 2016

    Free access

    Benutzerschnittstelle einer fahrzeuginternen Komponente

    BUTTOLO PIETRO / RANKIN JAMES STEWART / GHOSH DIPANJAN et al. | European Patent Office | 2016

    Free access

    VERFAHREN ZUR FAHRZEUGINTERNEN DATENVERARBEITUNG

    DUDAR AED M / MAKKI IMAD HASSAN / JENTZ ROBERT ROY | European Patent Office | 2025

    Free access

    Sicherung der technischen und betrieblichen Konformität und Interoperabilität

    Ebrecht, Lar / Busse, Martin / Meyer zu Hörste, Michael | IuD Bahn | 2012