Code-Generierung für sicherheitsrelevante Anwendungen
Software ohne Fehler
Fortsetzung des Artikels von Teil 2
Modularität, Abstraktion und Kapselung
Komplexität ist eine der maßgeblichen Ursachen von Entwicklungsfehlern. Häufig lässt sich ein Entwurf in seiner Gesamtheit nicht von allen daran Beteiligten in allen Feinheiten verstehen. Komplexe Systeme lassen sich jedoch besser verstehen und beherrschen, wenn die Details auf der unteren Ebene abstrahiert und das System in Teile zerlegt wird, die leicht zu handhaben und zu testen sind.
Ascet verwendet als Framework für das Erstellen und Zusammenführen von Entwürfen eine objektbasierte Modellierungssprache mit einer hierarchischen Klassenstruktur. Durch die genaue Definition der intermodularen Schnittstellen sind anderen Systemteilen nur die jeweils notwendigen Informationen zugänglich (Bild 1). Hierdurch wird sowohl der beabsichtigte als auch der unbeabsichtigte Zugriff auf interne Funktionen von Modulen vermieden.
Jobangebote+ passend zum Thema
Die Interaktion zwischen verschiedenen Modulen erfolgt durch Nachrichten, die gesendet oder empfangen werden (Bild 2). Jede Nachricht verfügt über genau einen Sender und einen oder mehrere Empfänger. Dadurch werden mögliche Sequenzierungsprobleme zwischen Sendern und Empfängern vermieden und sichergestellt, dass die Empfänger immer die aktuellsten Daten erhalten.
- 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
