Code-Generierung für sicherheitsrelevante Anwendungen
Software ohne Fehler
20. Januar 2012, 14:25 Uhr |
Von Dr. Darren Buttle
Diesen Artikel anhören
Fortsetzung des Artikels von Teil 9
Vermeidung von Laufzeitfehlern
Zur Vermeidung von Laufzeitfehlern verlangt die Regel 21.1 des Standards MISRA-C:2004 explizite Prüfungen. Durch das Einfügen derartiger Prüfungen an beliebigen Stellen verliert der Code an Effizienz. Andererseits ist das Identifizieren derjenigen Stellen, an denen solche Prüfungen erforderlich sind oder ohne nachteilige Auswirkungen weggelassen werden können, gleichermaßen schwierig und fehlerträchtig.
Code-Generatoren sind in der Lage, die Stellen im Code, an denen Laufzeitfehlerprüfungen eingebaut werden sollen, systematisch zu finden. Ascet generiert explizite Prüfungen, um folgende Laufzeitprobleme zu vermeiden:
- Division durch Null.
- Vorzeichenbehafteter Überlauf (der Versuch, die kleinste von der Hardware darstellbare ganze Zahl durch -1 zu dividieren).
- Unterlauf und Überlauf von Prozessor-Datentypgrößen.
- Überschreiten von Wertebereichsgrenzen (Verwendung von Wertebereichen, welche durch das Modell festgelegt sind, zur Ausnutzung von saturierender Arithmetik).
- Überschreiten von Indexgrenzen bei Arrays (Verhindern der Indizierung über den spezifizierten Index-Bereich hinaus).
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
