certitudo – Kompetentes Prüfen und Testen für Automotive-Software

Automotive

Spurhalteassistenten, Bremsassistenten, Fahrerassistenzsysteme mit Sensoren, die das Fahrzeugumfeld erfassen, Rückspiegel, die durch Kamerasysteme ersetzt werden, Vernetzung von Fahrzeugen (mit dem Fahrer, mit anderen Fahrzeugen, mit mobilen Endgeräten, mit der Infrastruktur), automatische Einparksysteme (z.B. Automated Valet Parking) und intelligentes Infotainment sind alles Systeme in Fahrzeugen, die durch Software gesteuert werden. Und wo Software eingesetzt wird, insbesondere, wenn sie sicherheitsrelevante Aufgaben übernimmt, muss diese u.a. auch getestet, geprüft, verifiziert und validiert werden.

 

Normenkonformität

Wir arbeiten u.a. nach folgenden Normen

  • ISO 26262: „Funktionale Sicherheit für Straßenfahrzeuge“
  • IEC 61508 „Funktionale Sicherheit sicherheitsbezogener elektrischer/elektronischer/programmierbarer elektronischer Systeme”

Auch die standardisierte Software-Architektur AUTOSAR (AUTomotive Open System ARchitecture) mit ihren einzelnen Bestandteilen ist uns geläufig.

 

Software-Entwicklungsprozess

Wir unterstützen Sie als Dienstleister in allen Phasen Ihres Software-Entwicklungsprozesses. Unsere Mitarbeiter haben große Erfahrung in allen Bereichen rund um das Thema Software-Entwicklungsprozess für Ihre spezifische Automotive-Anwendung beginnend mit dem Aufstellen von Anforderungen (Requirement Engineering), über die Definition von geeigneten Architekturen und Designs, Sourcecode-Analysen, den verschiedenen Teststufen bis hin zur Verifikation und Validierung. Dabei ist es für uns nicht relevant, ob Ihr Entwicklungsprozess auf dem Wasserfall-Modell, dem V-Modell oder auf einem agilen Entwicklungs-Ansatz (z.B. SCRUM) aufsetzt.

 

Verifikation und Validierung

Auch in den Bereichen Verifikation und Validierung sind wir Ihr kompetenter Ansprechpartner. Durch unsere jahrelangen Projekterfahrungen in der Verifikation und Validierung können wir gemeinsam mit Ihnen die optimale Verifikations- und Validierungs-Vorgehensweise erstellen und Sie bei der Umsetzung innerhalb der Projekte praktisch unterstützen.

 

MISRA-C Programmierstandard

Der MISRA-C Programmierstandard, von der englischen MISRA (Motor Industry Software Reliability Association) erarbeitet, wurde von der Automobilindustrie als der einzuhaltende Programmierstandard festgelegt. Der MISRA-C Programmierstandard definiert eine Untermenge des Sprachumfangs von C, d. h. er umfasst Richtlinien, die zu einer Qualitätssteigerung (insbesondere der Softwarequalitätsaspekte, der Zuverlässigkeit und der Wartbarkeit) in der Software-Entwicklung führen sollen. Damit erfüllt er eine der wichtigsten Forderungen der zentralen Norm ISO 26262 der Automobilindustrie: die Einhaltung angemessener Codierungs-Regeln.

Die certitudo GmbH hat in mehreren Projekten erfolgreich die Einführung und Umsetzung des MISRA-C Programmierstandards begleitet. Wir unterstützen Sie auch dabei, den MISRA-C Programmierstandard bei Bestandsprodukten nachträglich einzuführen und umzusetzen. Wir kennen verschiedene Tools, die Ihnen bei der Erfüllung der Vorgaben aus der ISO 26262 – die Einhaltung des MISRA-C Programmierstandards – helfen werden.

 

Referenzprojekt

Für den Automobilhersteller AUDI entwickelte ein Zulieferer verschiedene vorausschauende Sicherheitsfunktionen zur Unfallvermeidung bzw. Reduzierung der Kollisionsgeschwindigkeit (Warnkaskade, Ansteuerung von Bremse und/oder Lenkung, etc.) und für eine optimale Insassenpositionierung (Ansteuerung der Sitze bzw. des reversiblen Gurtstraffers, etc.). Dafür wurden u.a. eine Night-Vision-Kamera, Front-/Seitenradar, Heckradar, ein elektronisches Stabilisierungssystem (ESC), Car2Car pWLAN, Mobilfunk, ein Luftfeder-Fahrwerk sowie ein Laserscanner eingesetzt.

 

Im Rahmen der von  AUDI geforderten ASPICE Konformität Level 2 hat die certitudo GmbH für den Zulieferer die Einhaltung des MISRA-C Programmierstandards für die entwickelten Software-Komponenten, bestehend aus ca. 150 Software-Module, geprüft. Ein Großteil der Software-Module entstammt dabei modellbasierter Entwicklung mit MATLAB / Simulink mit autogeneriertem Code. Die gefundenen Abweichungen wurden mit der Entwicklungsabteilung diskutiert und anschließend entweder behoben oder mit nachvollziehbaren Begründungen akzeptiert. Im Zuge des Projektes wurde eine Arbeitsanweisung für die Prüfung und Korrektur der Abweichungen zum MISRA-C Programmierstandard erstellt. Zur Prüfung der Einhaltung des MISRA-C Programmierstandards wurden die Tools Polyspace und MXAM verwendet.

 

Des Weiteren hatte die certitudo GmbH die Aufgabe nach Änderung der Software-Module die funktionale Unversehrtheit der Software-Module regressionsmäßig durch Ausführung der vorhandenen Modultests nachzuweisen.