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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    High-integrity software for automotive applications


    Weitere Titelangaben:

    Software mit hoher Fehlerfreiheit für Anwendungen im Kraftfahrzeug


    Beteiligte:
    Cullyer, W.J. (Autor:in)


    Erscheinungsdatum :

    1991


    Format / Umfang :

    7 Seiten, 3 Bilder, 1 Tabelle, 14 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    High-integrity software for automotive applications

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


    High-Integrity Software for Automotive Applications

    Cullyer, W J | SAGE Publications | 1991



    High integrity real-time software

    Allerton, D J | SAGE Publications | 2007


    High integrity real-time software

    Allerton, D. | Online Contents | 2007