Entwicklung sicherheitskritischer Software TÜV-zertifizierte C-Bibliotheken für funktionale Sicherheit

Von Sebastian Gerstl 1 min Lesedauer

Anbieter zum Thema

Die qualifizierten C-Bibliotheken von TASKING wurden vom TÜV NORD auf die Einhaltung der funktionalen Sicherheitsanforderungen der ISO 26262 zertifiziert. TASKING bietet nun zertifizierte Versionen der C-Bibliothek an, die zusätzlich zum Compiler-Toolset separat lizenziert werden können.

Mit den vorzertifizierten C-Bibliotheken von TASKING lässt sich die Entwicklung von Software für Safety-kritische Anwendungen erheblich beschleunigen.(Bild:  TASKING)
Mit den vorzertifizierten C-Bibliotheken von TASKING lässt sich die Entwicklung von Software für Safety-kritische Anwendungen erheblich beschleunigen.
(Bild: TASKING)

Die Verwendung zertifizierter Softwarekomponenten reduziert die Kosten, den Zeit- und Arbeitsaufwand für die endgültige Zertifizierung sicherheitsrelevanter Systeme erheblich. Die Verwendung einer zertifizierten C-Bibliothek ist von entscheidender Bedeutung und wird von den funktionalen Sicherheitsnormen gefordert, da der Bibliothekscode in die Anwendung integriert und auf dem Zielgerät installiert wird.

Eine fehlerhafte Bibliothek kann die funktionale Sicherheit der Anwendung gefährden. Daher müssen für die Entwicklung von Software, die die funktionalen Sicherheitsanforderungen gemäß Normen wie ISO 26262 oder IEC 61508 erfüllen muss, sowohl ein qualifizierter Compiler als auch eine qualifizierte C-Bibliothek verwendet werden.

Die zertifizierten C-Bibliotheken von TASKING sind speziell für den Einsatz in eingebetteten Systemen konzipiert und hinsichtlich Codegröße, Ausführungsgeschwindigkeit und Genauigkeit mathematischer Funktionen hoch optimiert. Die Bibliotheken sind ISO C-kompatibel und bieten etwa 600 Funktionen. Davon sind etwa 200 Funktionen für den Einsatz in ASIL-D-Software geeignet, während die übrigen Funktionen für den Einsatz in ASIL- oder QM-Software auf niedrigerer Ebene qualifiziert sind. Dies ermöglicht eine einfache Integration der Bibliothek in bestehende Projekte, die Anbindung an Betriebssysteme von Drittanbietern und die Verwendung von Debugging und Protokollierung im Printf-Stil.

Die Bibliotheken werden mit einem Sicherheitshandbuch in sowohl menschenlesbarem (pdf) als auch maschinenlesbarem (ReqIF) Format geliefert. Das ReqIF-Format erleichtert den automatischen Import von Richtlinien aus dem Sicherheitshandbuch in das Anforderungsmanagementsystem des Benutzers.

Der formale Nachweis für die korrekte Integration der Bibliothek wird durch eine Abdeckungsanalyse der Richtlinien im Sicherheitshandbuch erstellt, wodurch eine zusätzliche Überprüfung der Bibliotheksfunktionen durch den Benutzer entfällt. Die Struktur der ReqIF-Datei ist so, dass alle Sicherheitsanforderungen eindeutig identifizierbar sind und die Wiederverwendung und gemeinsame Nutzung von Sicherheitsanalysen verschiedener Entwicklungsteams sowie die (teilweise) Wiederverwendung von Sicherheitsanalysen, die an verschiedenen Versionen des QClib-Produkts durchgeführt wurden, ermöglicht wird.

(ID:50237173)

Jetzt Newsletter abonnieren

Verpassen Sie nicht unsere besten Inhalte

Mit Klick auf „Newsletter abonnieren“ erkläre ich mich mit der Verarbeitung und Nutzung meiner Daten gemäß Einwilligungserklärung (bitte aufklappen für Details) einverstanden und akzeptiere die Nutzungsbedingungen. Weitere Informationen finde ich in unserer Datenschutzerklärung. Die Einwilligungserklärung bezieht sich u. a. auf die Zusendung von redaktionellen Newslettern per E-Mail und auf den Datenabgleich zu Marketingzwecken mit ausgewählten Werbepartnern (z. B. LinkedIn, Google, Meta).

Aufklappen für Details zu Ihrer Einwilligung