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.
High-integrity software for automotive applications
Software mit hoher Fehlerfreiheit für Anwendungen im Kraftfahrzeug
1991
7 Seiten, 3 Bilder, 1 Tabelle, 14 Quellen
Aufsatz (Zeitschrift)
Englisch
High-integrity software for automotive applications
Kraftfahrwesen | 1991
|High-Integrity Software for Automotive Applications
SAGE Publications | 1991
|High integrity real-time software
SAGE Publications | 2007
|High integrity real-time software
Online Contents | 2007
|