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 10
Markieren von potentiellen Problemen bei der Kompilierung
Viele Programmiersprachen – so auch C – legen keine Vorschriften für die Reihenfolge der Auswertung eines Ausdrucks fest. Dadurch entstehen Probleme bei der Verwendung von Funktionen mit Seiteneffekten, die sich durch eine Änderung des Funktionszustands beim Aufruf ergeben.
Ein Code-Generator ist nicht in der Lage, die Auswertungsreihenfolge bei der Kompilierung festzulegen. Er kann jedoch Code generieren, der durch die Auswertungsreihenfolge nicht verändert wird oder – wenn das nicht möglich ist – diejenigen Fälle kennzeichnen, in denen die Reihenfolge Einfluss auf das Ergebnis der Auswertung eines Ausdrucks hat. Dadurch lassen sich potentielle Risiken zielgerichtet erkennen. Der Code-Generator von Ascet unterstützt beide Methoden.
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
