Im Artikel werden mögliche Technologien für die Entwicklung von Software hoher Fehlerfreiheit und Zuverlässigkeit für kritische Anwendungsfälle in Straßenfahrzeugen diskutiert. Typische elektronische Subsysteme werden im Hinblick auf die notwendige Fehlerfreiheit in 4 Niveauebenen eingeteilt (Bahnverfolgungs- Brems-, Lenkungssysteme in die höchste, Einspritz- und Zündsysteme in die niedrigste). Analysiert werden Themen und Sachgebiet, die genauer untersucht werden müssen, die Ursachen zufälliger und systematischer Fehler in solchen Subsystemen, die Verwendung von Sprachen nach formalen Spezifikationen (für Elektronik-Auftragnehmer) und die Softwareentwicklung mit den 3 Komplexen: Programmiersprachen, Compiler und Codierungsnormen. Bei der Software-Verifikation und -Validation werden statische und dynamische Methoden, die statische Code-Analyse und der dynamische Test betrachtet. Hinweise zur Wahl der Technologien werden abgeleitet, Schlußfolgerungen über zukünftige Entwicklungen gezogen.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    High-integrity software for automotive applications


    Additional title:

    Software mit hoher Fehlerfreiheit für Anwendungen im Kraftfahrzeug


    Contributors:


    Publication date :

    1991


    Size :

    7 Seiten, 3 Bilder, 1 Tabelle, 14 Quellen




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    High-integrity software for automotive applications

    Cullyer,W.J. / Univ.of Warwick,GB | Automotive engineering | 1991


    High-Integrity Software for Automotive Applications

    Cullyer, W J | SAGE Publications | 1991




    Automotive lamp integrity checking system

    Legg,G.J. / Webb,S.F. / AB Electronic Products,GB | Automotive engineering | 1984