Diese Website nutzt Cookies, um gewisse Funktionen gewährleisten zu können. Durch die Nutzung der Website stimmen Sie unseren Datenschutz-Richtlinien zu.
Nachrichten und Informationen zu Test- und Messtechnik für Elektronik in Entwicklung, Produktion und Service.  

Newsletter abonnieren

Alle 14 Tage alle News im Überblick
captcha 
Bitte geben Sie auch den angezeigten Sicherheitscode ein.

Aktuelle Test- und Messtechnik-News

Sicherstellung der funktionalen Sicherheit

Tasking SChecker14. September 2023 – Die TASKING GmbH stellt den Safety Checker v3.0 vor, die neueste Version des statischen Software Analyse-Tools mit Fokus auf den Nachweis der Rückwirkungsfreiheit (Freedom from Interference, FFI). 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 z. B. 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.

Durch wesentliche Neuerungen in der dritten Version des Safety Checker können Entwickler das Tool noch einfacher einsetzen:

  • 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.

www.tasking.com/



Weitere News zum Thema:

Aktuelle Termine

EMV-Fachtagung
26. bis 28. Sept.
zur Terminübersicht...
eMove360 - 2023
17. bis 19. Oktober
zur Terminübersicht...
Battery Experts Forum
07. bis 09. November
zur Terminübersicht...

  Weitere Veranstaltungen...
  Messe-/Kongresstermine
  Seminare/Roadshows

 


Banner-Werbung