Code-Generierung für sicherheitsrelevante Anwendungen
Software ohne Fehler
Fortsetzung des Artikels von Teil 7
Automatische Code-Generierung sorgt für reproduzierbare Ergebnisse
Die Methode der automatischen Code-Generierung führt zu absolut reproduzierbaren Ergebnissen: Die gleiche Eingabe erzeugt ohne Ausnahme die gleiche Ausgabe. Darüber hinaus muss ein Code-Generator auf eine zuverlässige Art und Weise richtigen Code erzeugen: Die vorherrschende Sprache für die Programmierung von Software für Fahrzeugsteuergeräte ist C. Die manuelle Programmierung von sicherheitsrelevanter Software in C wird durch eine Vielzahl von Möglichkeiten für fehlerhafte Programmierung und Fällen, in denen das Verhalten oder die Kompilierung der Sprache undefiniert ist, erschwert. Durch eine automatische Code-Generierung lassen sich diese Probleme systematisch vermeiden. Empirisch wurde belegt, dass die Fehlerrate in generiertem C-Code eine Größenordnung unter der Fehlerrate von manuellem C-Code hoher Güte liegt. Dabei hängt die hohe Qualität nicht vom Können des Programmierers ab und wird auf konstant hohem Niveau an 365 Tagen im Jahr erreicht.
Natürlich können Fehler im Code-Generator zu Fehlern in der generierten Software führen. Aufgrund der Reproduzierbarkeit der Code-Generierung lassen sich diese Fehler aber vergleichsweise einfach identifizieren. Nach einer Korrektur des Code-Generators können die Instanzen der Fehler durch eine erneute Generierung systematisch und zuverlässig aus dem Code entfernt werden.
Jobangebote+ passend zum Thema
- Software ohne Fehler
- Vermeiden von Fehlern im Software-Entwurf
- Modularität, Abstraktion und Kapselung
- Vermeiden von Mehrdeutigkeiten
- Sichere numerische Operationen
- Unterstützung von Echtzeit-Systemen
- Absicherung des Entwurfs in der Simulation
- Automatische Code-Generierung sorgt für reproduzierbare Ergebnisse
- Automatisches Einhalten von Spracheinschränkungen
- Vermeidung von Laufzeitfehlern
- Markieren von potentiellen Problemen bei der Kompilierung
Lesen Sie mehr zum Thema
Das könnte Sie auch interessieren
Software-Entwicklung leicht gemacht
Statische Analyse-Tools tragen zur Erfüllung der ISO 26262 bei
Sicherheitsdienstleistungen
Escrypt-Übernahme durch ETAS von Kartellbehörden absegnet
ETAS GmbH
Rapid-Prototyping-Tool erlaubt Funktionsvalidierung in Simulink
Embedded Systems
ETAS will Sicherheitsspezialist Escrypt übernehmen
Sicherheitselektronik
Silver Atena kooperiert mit sitronic
Messung, Applikation, Diagnose
Kooperationsvereinbarung zwischen ETAS und Kvaser
Gefahr und Risiko
Generische Software-Module zur Entwicklung sicherer Steuergeräte-Software
Toshiba Electronics Europe
Mikrocontroller für ISO-26262-konforme Steuergeräte
