Tasking
Neue Version des Safety Checker
Mit dem Safety Checker v3.0 führt Tasking die neueste Version des statischen Software-Analyse-Tools ein, bei der der Fokus auf dem Nachweis der Rückwirkungsfreiheit (Freedom from Interference, FFI) liegt. Das Analyse-Tool erleichtert die Sicherstellung der funktionalen Sicherheit.
Steuergeräte in Fahrzeugen integrieren mehrere Funktionen mit unterschiedlichen Sicherheitsanforderungen in ein und demselben Gehäuse. Der Tasking Safety Checker stellt die Rückwirkungsfreiheit sicher, um die Safety Argumentation gemäß ISO 26262 zu unterstützen.
Durch auf Compiler-Technologie basierende statistische Code-Analyse erkennt der Safety Checker kritische Speicherverletzungen und ermöglicht so die Integration von Software-Komponenten mit unterschiedlichen Sicherheitsanforderungen in einen Speicherbereich, auch wenn keine MPU (Memory Protection Unit) zur Verfügung steht oder die MPU beispielsweise aus Performance-Gründen nicht genutzt werden kann.
Auch in MPU-basierten System unterstützt der Safety Checker Software-Entwickler, da er eine Liste der Speicherverletzungen generiert und mühsames Debuggen reduziert wird.
Zudem überwacht der Safety Checker die Einhaltung von Richtlinien wie MISRA-C oder CERT-C. Der Safety Checker ist Compiler- und Hardwarearchitektur-unabhängig und kann in Continuous Integration Build-Umgebungen wie Jenkins integriert werden.
Die wesentlichen Neuerungen in der dritten Version des Safety Checker:
- Die neue grafische Benutzeroberfläche verbessert die Benutzerfreundlichkeit und bietet die Möglichkeit, Sicherheitsklassen und Zugriffsrechte zu definieren und Dateien/Funktionen den Sicherheitsklassen zuzuordnen.
- Die Möglichkeit Autosar-Konfigurationsdateien (.arxml) einzulesen, erleichtert es, Konfigurationsdateien zu erstellen und mit dem Steuergeräteprojekt synchron zu halten.
- Berichte können nun in HTML, XML oder PDF erstellt werden und enthalten Informationen wie das Protokoll über Zugriffsverletzungen, Funktionsaufrufdiagramm, MISRA/CERT-C Regelverstöße und Code-Metriken.
Der Tasking Safety Checker v3.0 ist ab sofort verfügbar.
Jobangebote+ passend zum Thema
Lesen Sie mehr zum Thema
Das könnte Sie auch interessieren
Windows-Treiber bRAWcap
Effizient abgreifen und abspielen auf 10G-Ethernet-Schnittstellen
Dienstleistungen on Demand
Valeo präsentiert Valeo anSWer
Herausforderungen an AD-Testsysteme
Ground Truth im HiL – Wunsch oder Wirklichkeit?
Viel prüfen ohne viel Platz
Temperaturtests von Batterien und Elektrobauteilen
