Entdecken Sie das TÜV-zertifizierte GoogleTest mit Agentic AI für C/C++-Tests!
Details ansehen »
ISO/PAS 8800:2024
ISO/PAS 8800 ist die erste internationale Spezifikation für die Sicherheit von KI-Systemen in der Automobilindustrie. Parasoft unterstützt OEMs und Zulieferer bei der Implementierung von ISO/PAS 8800 in einen Engineering-Workflow durch die Automatisierung von Verifizierung, Validierung und Rückverfolgbarkeit – die Grundlage für die Sicherheitsnachweise von ADAS-, SDV- und autonomer Software.
ISO/PAS 8800:2024, Straßenfahrzeuge – Sicherheit und künstliche Intelligenz, ist die erste internationale Spezifikation für die funktionale Sicherheit von KI in Serien-Straßenfahrzeugen. Sie definiert einen Rahmen für das Management von KI-Risiken über den gesamten Entwicklungszyklus hinweg. ISO/PAS 8800 ersetzt nicht die bereits von Ihrem Team verwendeten Standards, sondern baut darauf auf.
Parasoft automatisiert die Verifizierung, Validierung und Rückverfolgbarkeit, die ISO/PAS 8800 für sicherheitskritische Software hinter KI-gestützten Fahrzeugfunktionen vorschreibt.
Technische Sicherheit für KI gemäß ISO/PAS 8800
Künstliche Intelligenz birgt eine neue Art von Risiken, die mit herkömmlichen funktionalen Sicherheitsnormen nicht erfasst werden können. ISO 8800 bietet der Automobilindustrie einen gemeinsamen Rahmen für deren Management, ohne ISO 26262 oder SOTIF aufgeben zu müssen.
Ein KI-Element kann zwar wie implementiert funktionieren, aber dennoch unsicher sein, weil es an Daten oder Generalisierungsfähigkeit mangelt, um eine Situation wie beispielsweise einen teilweise verdeckten Fußgänger angemessen zu bewältigen.
ISO/PAS 8800 erweitert explizit ISO 26262, ISO 21448 (SOTIF) und ISO/IEC 22989, indem es die KI-Ebene hinzufügt, anstatt die Sicherheitspraktiken zu ersetzen.
Die Abdeckung, Ausgewogenheit und Vollständigkeit der Trainingsdaten sowie die Berücksichtigung von Grenzfällen durchlaufen jeweils einen Lebenszyklus aus Definition, Verifizierung und Validierung.
KI kann nicht als absolut sicher bewiesen werden, daher baut man ein vertretbares Sicherheitskonzept auf, das auf Beweisen wie Robustheit, Abdeckung, architektonischen Schutzmechanismen und Überwachung basiert.
Die Arbeit endet nicht mit der Inbetriebnahme: Betriebliche Überwachung, Felddaten, regelmäßige Neubewertungen und kontrollierte OTA-Updates gewährleisten die Sicherheit der KI während der gesamten Lebensdauer des Fahrzeugs.
ISO/PAS 8800 steht nicht für sich allein. Es baut auf Ihren Grundlagen für funktionale Sicherheit und SOTIF auf und fügt die KI-spezifische Ebene der Qualitätssicherung hinzu.
Erweitert ISO 26262 und SOTIF auf KI/ML und behandelt dabei Datenqualität, Robustheit, das Assurance-Argument, KI-gestützte Verifizierung und Validierung sowie die operative Überwachung.
Gewährleistet die funktionale Sicherheit von E/E-Systemen durch die systematische und zufällige Fehlerdisziplin, die Ihr Team bei jedem ASIL praktiziert.
Gewährleistet die Sicherheit der beabsichtigten Funktionalität durch die Berücksichtigung von Leistungsbeschränkungen und vorhersehbarem Missbrauch von Sensor- und Entscheidungssystemen.
Regelt die Cybersicherheit über den gesamten Lebenszyklus von Fahrzeugen durch Bedrohungsmodellierung, Risikobewertung und Sicherheitskontrollen, auf denen die KI-gestützte Qualitätssicherung von ISO/PAS 8800 basiert.
ISO/PAS 8800 betont die frühzeitige Identifizierung von KI-Risiken durch einen Shift-Left-Ansatz. Die Automotive-Suite von Parasoft verifiziert die sicherheitskritische Software rund um jedes KI-Element und generiert entsprechende Nachweise zur Unterstützung der ISO/PAS-8800-Konformität.
Erkennen Sie herkömmliche Softwarefehler, bevor sie KI-Aktivierungen auslösen. 100%ige Abdeckung der Sicherheitsstandards MISRA, AUTOSAR C++14 und CERT sowie CWE und OWASP.
Wo KI-Ausgaben sicherheitskritische Software speisen, beweisen Sie mit TÜV SÜD-zertifiziertem GoogleTest, dass sich Steuerungslogik, Schutzmechanismen und Sicherheitsmechanismen korrekt verhalten, unterstützt durch Anweisungs-, Zweig- und MC/DC-Abdeckung.
Validieren Sie die verbundenen Dienste und zonalen/SDV-Schnittstellen, von denen die KI abhängt, und simulieren Sie ECU- und Backend-Abhängigkeiten, damit die Tests nie auf Hardware warten müssen.
Die bidirektionale Rückverfolgbarkeit verknüpft Anforderungen mit Testfällen, Ergebnissen und Code über zentrale Dashboards, die die Beweise für Ihre Sicherheitsargumentation liefern.
KI-Agenten verbinden sich mit statischen Analyse-, Abdeckungs- und Normendaten, beheben selbstständig Verstöße, schließen Abdeckungslücken und generieren konforme Begründungen, um mit der iterativen KI-Sicherheitsarbeit Schritt zu halten.
Wie Automobilteams Parasoft nutzen, um den von ISO/PAS 8800 geforderten KI-Sicherheitsnachweis zu erbringen.
Wahrnehmungs- und Entscheidungsmodelle benötigen Schutzmechanismen, Ausweichlogik und Sicherheitsvorkehrungen. Durch zertifizierte Komponententests, MC/DC-Abdeckung und statische Analysen wird sichergestellt, dass KI-Ausgaben niemals unkontrolliert die Aktoren erreichen.
Mehr erfahren »
C / C ++ - Test
C/C++-Test-CT
KI-Funktionen basieren auf Hochgeschwindigkeitsnetzen und vernetzten Diensten. Automatisieren Sie End-to-End-API-Tests mit SOAtest und virtualisieren Sie Steuergeräte- und Backend-Abhängigkeiten, sodass Integrationstests skalierbar sind, ohne auf Hardware warten zu müssen.
Mehr erfahren »
SOAtest
Virtualisieren
C / C ++ - Test
C/C++-Test-CT
Verlagern Sie die Qualitätskontrolle von manueller Arbeit auf intelligente Automatisierung. Der MCP-Server von Parasoft verbindet KI-Agenten mit Daten zu statischer Analyse, Abdeckung und Standards, um Verstöße autonom zu beheben, Abdeckungslücken zu schließen und Konformitätsbegründungen zu erstellen.
Mehr erfahren »
C / C ++ - Test
C/C++-Test-CT
DTP
Durch die Integration von Tests in CI/CD erhalten OEMs und Tier-1-Zulieferer kontinuierlichen Einblick in Risiken, die Einhaltung von MISRA und CERT wird sichergestellt und es werden revisionssichere Nachweise und Rückverfolgbarkeit für die Qualitätssicherung generiert.
Mehr erfahren »
C / C ++ - Test
DTP
„Parasoft lässt sich nahtlos in unsere CI/CD-Pipeline integrieren. Wir haben Testautomatisierung und statische Codeanalyse frühzeitig in den Entwicklungszyklus eingebunden – ein enormer Gewinn für die Qualitätssicherung in sicherheitskritischen Automobilprojekten.“
-Solero Technologies
Erfahren Sie, wie Parasoft die Verifizierung, Validierung und Rückverfolgbarkeit automatisiert, die Ihren Sicherheitsnachweis für KI-Systeme in der Automobilindustrie sowohl für KI- als auch für traditionelle Software untermauern.
GoogleTest 
DTP 
