Die Entwicklung von hochintegrierten Systemen in der Automobilindustrie erfordert typischerweise einen Nachweis der Konformität nach ISO® 26262, dem internationalen Standard für funktionale Sicherheit von Kraftfahrzeugen. ISO 26262 klassifiziert die verschiedenen Funktionen innerhalb des Fahrzeugs in Sicherheitsanforderungsstufen (Automotive Safety Integrity Levels, ASIL) von A bis D, wobei ASIL-D die höchste Stufe darstellt und die strengsten Anforderungen mit sich bringt. Hersteller und Zulieferer passen zunehmend ihre Steuergeräte-Entwicklungsprozesse an, um Anforderungen der ISO 26262 mit moderner modellbasierter Entwicklung abdecken zu können.
Die Verifikationstools von MATLAB, Simulink, Stateflow, Embedded Coder, MATLAB und Simulink sowie die Codeverfikationstools der Polyspace®-Familie wurden vom TÜV SÜD als qualifizierte Tools gemäß ISO 26262 für ASIL A-D zertifiziert. Die Qualifikation basiert auf einem automatisierten, anwendungsspezifischen Verifikations-Workflow. Dabei werden unter anderem auch Back-to-Back-Modell- und Code-Tests unter Verwendung des Processor-in-the-Loop (PIL)-Simulationsmodus in Simulink unterstützt, wie sie von ISO 26262 für die ASIL-Stufen C und D dringend empfohlen werden. Dies ermöglicht Entwicklern die Verwendung von Optimierungen in Code-Generierung und Compilern, einschließlich prozessorspezifischem Code, um reaktive und speichereffiziente Software zu entwickeln wie sie für Steuergeräte in Serienproduktion benötigt wird. Neben der Generierung von C-Code gehört auch die Generierung von C++- sowie AUTOSAR-Code zu den Anwendungsfällen der Toolqualifizierung von Embedded Coder nach ISO 26262.
HDL Coder ist ebenfalls vom TÜV SÜD als geeignet für die Entwicklung sicherheitsrelevanter Produkte für alle ASILs zertifiziert. HDL Coder generiert lesbaren und nachverfolgbaren VHDL- und Verilog-Code für beliebige FPGA-, ASIC- und SoC-Geräte. Er ist eng mit HDL Verifier verknüpft und generiert Testumgebungen für Back-to-Back-Tests mit HDL-Simulatoren und FPGA-Platinen.
Die Workflow-Dokumentationen, TÜV SÜD-Zertifikate und -Berichte, Testsuiten und zusätzliche Zertifizierungsartefakte werden gemeinsam im IEC Certification Kit (for ISO 26262 and IEC 61508) bereitgestellt. Zusätzlich führt der TÜV SÜD jährliche Audits der Softwareentwicklungs- und Qualitätssicherungsprozesse für Tools durch, die durch das IEC Certification Kit unterstützt werden.
„Ohne modellbasierte Entwicklung hätten wir mindestens 30 % mehr Zeit für die Entwicklung und Zertifizierung der ESCL-Anwendungssoftware benötigt. Die automatische Code-Generierung hat uns nicht nur Zeit und Aufwand eingespart, sondern auch all unsere Geschwindigkeits- und Speicheranforderungen erfüllt.“
Cheng Hui, Plattform- und Prozess-Manager, KOSTAL
Einsatz von MATLAB für ISO 26262
Schlüsselprodukte für die Entwicklung von ISO 26262-Applikationen:
Weitere Informationen zur MathWorks-Unterstützung für ISO 26262 finden Sie in folgenden Publikationen:
- Pressemitteilung: MathWorks IEC Certification Kit erfüllt ISO 26262, 2. Auflage
- Technischer Artikel: LG Chem – Entwicklung von AUTOSAR-konformer Software für ein Batteriemanagementsystem für Hybridfahrzeuge mit modellbasierter Entwicklung
- Anwenderbericht: KOSTAL erhält ISO-26262-ASIL-D-Zertifizierung mit modellbasierter Entwicklung
- Webinar: TI Hercules MCU Optimized Code from Simulink for IEC 61508 and ISO 26262 (45:06)
- Webinar: Einhaltung der ISO 26262 mit vorqualifizierten Entwicklungstools in einem robusten und effizienten Workflow (42:27)
- Consulting Services: ISO 26262 Prozesseinsatz
- Artikel: Nutzung von Simulink für Projekte nach ISO 26262
- Video: Edit-Time-Checks (Prüfung zur Bearbeitungszeit) zum schnelleren Auffinden von Konformitätsproblemen (1:28)
- Video: ASIC- und FPGA-Workflow für ISO 26262 und IEC 61508 (3:06)
- Whitepaper: 5 vermeidbare Fallstricke bei der Konformität mit ISO 26262
- SAE Beitrag: Modellbasierte Entwicklung für sicherheitsrelevante Anwendungen
- SAE Beitrag: Verifizierungs- und Validierungsworkflow für IEC 61508-Anwendungen
- MBEES Beitrag: Qualifizierung von Softwaretools nach ISO 26262
- ERTS Beitrag: Verifizierung und Validierung nach ISO 26262
- Handbuch: 10 Best Practices für den Einsatz von AUTOSAR mit Simulink
- Ressourcen: Automatisierung der Verifikation und Validierung mit Simulink
- Webinar: TI C2000 MCUs und MathWorks Simulink für IEC 61508 und ISO 26262
- Artikel: Ein ISO 26262-Workflow für automatisierte Fahranwendungen mit MATLAB: Richtlinien und nützliche Hinweise