Automatisierter Sicherheitsnachweis für eine elektronische Parksperre

In diesem Fachbeitrag wird die automatisierte, hierarchische Fehleranalyse als Lösung für die komplexen Sicherheitsnachweise nach ISO 26262 vorgestellt. Die Methode ermöglicht eine Reduktion der Simulationsdauer um über 90 % ohne Informationsverlust, was die Effizienz und Sicherheit von Sicherheitsnachweisen für elektronische Systeme erheblich verbessert. Am Beispiel eines Parksperrenaktors wird gezeigt, wie die hierarchische Fehleranalyse die Anzahl der notwendigen Simulationsdurchläufe von über zwei Millionen auf circa 125.000 reduziert. Die Simulation zeigte keine kritischen Einzelfehler oder latenten Fehler, wodurch der Sicherheitsnachweis in einem Bruchteil der sonst benötigten Zeit erbracht wurde. Die Methode kombiniert eine automatisierte Fehleranalyse mit intelligenter Fehlergruppierung und Clusteranalyse, um die Komplexität zu verringern und sicherheitsrelevante Informationen zu erhalten. Zudem wird die Anwendung der Methodik bei der Softwarevalidierung beschrieben, wobei die Reaktion der Software auf Fehlerzustände und -kombinationen in Echtzeit verifiziert wird. Die Ergebnisse zeigen die hohe Qualität der Systemauslegung und die Effektivität des Analyseverfahrens auf. Dieser Ansatz bietet eine effiziente und zuverlässige Lösung für die Sicherheitsvalidierung komplexer elektronischer Systeme.