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: Erfüllung der ISO 26262 mit vorqualifizierten Entwicklungstools in einem fehlerresistenten und effizienten Workflow (42:27)
- Consulting Services: ISO 26262 Prozesseinsatz
- Artikel: Nutzung von Simulink für Projekte nach ISO 26262
- Video: Edit-Time-Checks zum schnelleren Auffinden von Konformitätsproblemen (1:28)
- Video: ASIC- und FPGA-Workflow für ISO 26262 und IEC 61508 (3:06)
- 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
- ERTS Beitrag: Modellqualitätsziele für die Entwicklung von Embedded Software mit MATLAB und Simulink (Renault, PSA, Valeo, Delphi)
- 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