Generische Strukturierung von Sicherheitsnachweisen von Fahrcomputern für automatisierte Fahrzeugsysteme des Level 3

Abstract

ZusammenfassungDie Entwicklung sicherheitsrelevanter elektronischer Steuerungssysteme für automatisierte Fahrzeugsysteme des Level 3 ist eine komplexe und anspruchsvolle Entwurfs- und Nachweisaufgabe. Dieser Beitrag zeigt auf, dass eine erfolgreiche Entwicklung sicherheitsrelevanter elektronischer Steuerungssysteme für Kraftfahrzeuge ein gegenläufiger Prozess ist. Top-Down-Entwurfsvorgaben im Sinne einer Vorgabe konkreter Sicherheitsanforderungsstufen können zumeist erst bei der Entwicklung einer konkreten Anwendung auf Fahrzeugebene getroffen werden. Um die Innovationsdynamik in der Automobilindustrie nicht zu hemmen, sind auch „Bottom-up“ entstehende generische Produkte und Anwendungen mit wohl dokumentierten Annahmen erforderlich. Dieser Beitrag stellt Anforderungen an generische Sicherheitsnachweise auf und zeigt, wie diese über das Konzept „sicherheitsbezogener Anwendungsregeln“ miteinander bruchlos verknüpft werden können. Grundlage hierfür ist ein eindeutig definierter Anwendungskontext sowie eine verbindlich festgelegte Systemdefinition. Hierfür wird gezeigt, welchen Beitrag die Verwendung einer semi-formalen Notation für die generische Strukturierung funktionaler Sicherheitsanforderungen von Fahrcomputern für automatisierte Fahrzeugsysteme des Level 3 leisten kann.