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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    Ensuring reliability and interoperability for intra vehicular communication by formal verification


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


    Erscheinungsdatum :

    2009


    Format / Umfang :

    12 Seiten, 2 Bilder, 11 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




    Effizienter Einsatz von Ethernet zur fahrzeuginternen Kommunikation

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


    Datenanalyse von fahrzeuginternen Feinstaubsensoren

    MACNEILLE PERRY ROBINSON / GUSIKHIN OLEG YURIEVITCH | Europäisches Patentamt | 2016

    Freier Zugriff

    Benutzerschnittstelle einer fahrzeuginternen Komponente

    BUTTOLO PIETRO / RANKIN JAMES STEWART / GHOSH DIPANJAN et al. | Europäisches Patentamt | 2016

    Freier Zugriff

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

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


    VERFAHREN ZUR FAHRZEUGINTERNEN DATENVERARBEITUNG

    DUDAR AED M / MAKKI IMAD HASSAN / JENTZ ROBERT ROY | Europäisches Patentamt | 2025

    Freier Zugriff