Code-Generierung für sicherheitsrelevante Anwendungen
Software ohne Fehler
Fortsetzung des Artikels von Teil 4
Sichere numerische Operationen
Ascet ermöglicht es, valide Wertebereiche, welche realen Umgebungsbedingungen entsprechen oder sich aus der Bedeutung von Berechnungsreihenfolgen ergeben, festzulegen und zu formalisieren. Beispielsweise dürfen Geschwindigkeitswerte nicht kleiner Null sein, ebenso wenig dürfen Temperaturwerte, die unterhalb von –273,15°C liegen, als gültig interpretiert werden. Es können sogar komplette Gültigkeitsintervalle, z.B. für Sensoren, definiert werden.
Die Wertebereiche bilden auch die Grundlage für die automatische Generierung eines Laufzeitschutzes bei Grenzwertverletzungen und von Grenzwerten für die nachfolgenden Unit-Tests.
Zusätzlich dazu unterstützt Ascet Festkomma-Arithmetik. Gleitkomma-Arithmetik kann in sicherheitsrelevanten Anwendungen zu Problemen führen. So lässt sich die faktische Gleichheit von Werten schwer feststellen. In Folge dessen können beispielsweise beim Kürzen schwerwiegende Genauigkeitseinbußen auftreten.
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
