ISO 26262

Konformität nach ISO 26262

Konformität nach ISO 26262

für ISO 26262 ASIL-A, ASIL-B, ASIL-C und ASIL-D
 

Der ISO 26262 Standard ist die Adaption der IEC 61508 auf die spezifischen Bedürfnisse von elektrischen und elektronischen (E/E) Systemen in Straßenfahrzeugen. Die Axivion Suite deckt perfekt Verifikations-Schritte in der ISO 26262 mit Fokus auf statischen Prüfungen von Code und Entwurf ab.

Der Entwicklungsprozess beeinflusst direkt, ob die geforderte funktionale Sicherheit erreicht wird (z.B. durch Aktivitäten wie Anforderungsspezifikation, Entwurf, Implementierung, Verifikation, Validierung und Konfiguration).

Die Axivion Suite unterstützt speziell die Konformität nach ISO 26262-6:2018 - product development at the software level. Im V-Modell findet sich das Anwendungsgebiet der Axivion Suite in den Bereichen Software Unit Verification, Software Integration, Verification and Testing of Embedded Software.

Die Axivion Suite bietet Unterstützung, um die folgenden Aspekte sicherzustellen: Enforce low Complexity, use well trusted Design Principles, use of unambiguous graphical Representation, use of Language Subset, Enforcement of strong Typing, use of defensive Implementation Techniques, use of Style Guides, use of naming Conventions and concurrency Aspects.

Diese Anforderungen aus der ISO 26262-6:2018 werden durch die in der Axivion Suite enthaltenen Architekturprüfung, Klonerkennung, Zyklenerkennung, Erkennung toten Codes, Metriken, Stylechecks (MISRA C, MISRA C++, AUTOSAR C++14, CERT) und statische Code Analyse erfüllt.

Die Axivion Suite integriert sich in fast jedes CI-System. So lassen sich vergleichbare und wiederholbare Analyseergebnisse erzielen, die mittels des Delta-Mechanismus eine einfache Verfolgung von Veränderungen über die Zeit erlauben. Zugleich kann die Axivion Suite lokale Analysen durchführen, wodurch schnelle Checks und kurze Roundtrip-Zeiten erreicht werden.

Die Architekturprüfung der Axivion Suite kann Entwurfs- und Architekturbeschreibungen in Natural Language, informal Notation or semi-formal Notation nutzen, um die Implementierung in C oder C++ dagegen zu prüfen.

Freedom from Interference ist ein wichtiges Ziel in Safety-Projekten. Die Architekturprüfung kann dabei helfen, potentielle Verstöße bereits früh auf der Code-Ebene zu identifizieren, indem fehlgerichtete Aufrufe zwischen ASIL- und QM-Partitionen aufgespürt werden. Dadurch kann die Häufigkeit von MMU/MPU-Exceptions in den späteren Entwicklungsphasen mit dynamischer Ausführung reduziert und damit Entwicklungszeit gespart werden.



Abhängig vom Use Case des Kunden muss die Axivion Suite entsprechend dem erforderlichen TCL-Level qualifiziert werden.  Zu diesem Zweck bietet Axivion das Tool Qualification Kit an. Das Kit enthält eine Zusammenstellung von Codeverstößen gegen MISRA, CERT, and AUTOSAR C++14, um das Setup einer Analyse für beliebige ASIL-Level zu qualifizieren.

Eine Safety-Analyse mit der Axivion Suite kombiniert alle Stärken und Features wie die Architekturprüfung, Klonerkennung, Metrikberechnung, Styleguide-Checks (MISRA, CERT, AUTOSAR C++14), Erkennung toten Codes und Zyklus-Erkennung. Mit dem Tool Qualification Kit ist die Axivion Suite für die Anforderungen des jeweils benötigten TCL und für jedes ASIL-Level gerüstet.

Success Stories

Eine Auswahl unserer Success Stories zu ISO 26262