Code-Generierung für sicherheitsrelevante Anwendungen
Software ohne Fehler
Fortsetzung des Artikels von Teil 8
Automatisches Einhalten von Spracheinschränkungen
Der Standard ISO 26262 definiert in Teil 6 Abschnitt 8 Implementierungsrichtlinien, die sich an die in MISRA-C:2004 enthaltenen Richtlinien für die Anwendung von C in kritischen Systemen anlehnen [3]. Die Richtlinien in ISO 26262 sind größtenteils unabhängig von der Art der Programmierung. Allerdings gibt es einige Hinweise auf Fälle, in denen automatisch generierter Code von den Richtlinien abweichen kann. Ungeachtet dessen ist es bei Projekten, die sowohl generierten als auch manuellen Code enthalten, von Vorteil, einen einheitlichen Satz von Programmierregeln anzuwenden. In diesem Fall müssen bei der Verwaltung von Code aus unterschiedlichen Quellen keine gesonderten Vereinbarungen getroffen und beachtet werden.
Ohne wesentliche Auswirkungen auf das Eingabemodell oder auf die Laufzeit unterstützt Ascet diesen Ansatz durch die Generierung von bis zu 100 Prozent MISRA-C:2004-konformem C-Code. Das vereinfacht die Überprüfung von Quell-Code, der sich aus manuellen und automatisch generierten Anteilen zusammensetzt.
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
