ISO 26262 Software-Compliance in der Automobilindustrie

AUTOSAR C++14-Konformität

AUTOSAR C++14 bietet keine expliziten Richtlinien zum Erreichen der Konformität. Da die Richtlinien von AUTOSAR C++ 14 jedoch auf MISRA C++ 2008 basieren, ist es sinnvoll, sich bei der Erreichung der Konformität an die MISRA-Konformitätsrichtlinien zu halten.

Der Wunsch besteht darin, ein statisches Analysetool zu haben, das so viele Richtlinien wie möglich abdeckt. Die Regeln, die mit statischer Analyse nicht durchgesetzt werden können, erfordern manuelle Überprüfungen, die kostspielig sind.

Wie bei der Einhaltung von MISRA C muss ein Verfahren zur Handhabung von Abweichungen festgelegt werden. Das Abweichungsverfahren formalisiert die Schritte, die unternommen werden müssen, wenn die Entwicklung von einer bestimmten Richtlinie abweichen muss. Wie von MISRA vorgeschrieben, wird erwartet, dass „… das Verfahren darauf basiert, für jede Abweichung oder Abweichungsklasse eine Freigabe einzuholen.“

Dies ist ein besonders wichtiges Puzzleteil. Es verhindert, dass Entwickler das Abweichungskonzept missbrauchen und nach Belieben abweichen. Tatsächlich benötigen Sie in Ihrem System formelle Tickets, die jede Abweichung im Quellcode dokumentieren. Dasselbe gilt für die Compliance-Matrix und alle zusätzlichen Konfigurationen und Prozessbeschreibungen, die zur Durchsetzung der Compliance erstellt werden. MISRA C++2008 ist hier wirklich eindeutig und erfordert eine „Formalisierung innerhalb des Qualitätssystems“.

Wenn schließlich alle in Punkt 2008 von MISRA C++ 4.3 beschriebenen Verfahren für AUTOSAR C++14 vorhanden sind, können wir die Konformität durch den Nachweis folgender Punkte beanspruchen:

• Es wurde eine Compliance-Matrix erstellt, die zeigt, wie Compliance durchgesetzt wurde.
• Der gesamte C++-Code im Produkt entspricht den Regeln des AUTOSAR C++ 14-Dokuments. Andernfalls handelt es sich um dokumentierte Abweichungen.
• Es wird eine Liste aller Fälle geführt, in denen die Regeln nicht eingehalten wurden, und für jeden Fall gibt es eine entsprechend unterzeichnete Abweichung.

Unterstützung für AUTOSAR C ++ 14 im Parasoft C / C ++ - Test

Die einzige praktische Möglichkeit, die Einhaltung eines Codierungsstandards wie AUTOSAR C++14 durchzusetzen, ist ein statisches Analysetool wie Parasoft C/C++test, ein Codequalitätstool, das mehrere Testtechnologien unterstützt. Parasoft C/C++test unterstützt AUTOSAR C++14 und bietet eine Reihe integrierter Prüfer (Regeln) zur Überprüfung der Einhaltung von Standards wie MISRA C 2023, MISRA C++ 2023, MISRA C 2012, MISRA C++ 2008, JSF AV C++, SEI CERT C/C++, HIC++, CWE Top 25, CWE On the Cusp, OWASP und mehr.

Parasoft Compliance Packs bieten Benutzern standardspezifische Konfigurationen, die automatische Generierung von Compliance-Dokumentation, ein Rahmenwerk zur Risikobewertung und dynamische Compliance-Reporting-Dashboards (DTP), um Stakeholdern die einfache Aggregierung, Korrelation und Anwendung von Analysen zu ermöglichen und so die Berichterstattung für jeden Schritt entlang der komplexen Software-Lieferkette zu zentralisieren.

Durch die 100-prozentige Abdeckung erforderlicher und automatisierter Regeln gewährleistet die Testtool-Suite von Parasoft die AUTOSAR-Konformität während des gesamten Softwareentwicklungszyklus, verbessert die Codequalität und reduziert die mit Ressourcen und Markteinführungszeit verbundenen Kosten.