This thesis can also be done in English. Please find the corresponding English version of the task and requirement profile.
Mitarbeitende des Instituts für Regelungstechnik erforschen im Forschungsverbundprojekt AUTOtech.agil unter anderem Methoden und Konzepte im Kontext der Absicherung automatisierter Straßenfahrzeuge. Aufgrund der Komplexität der Systeme selbst sowie der offenen Welt, in der diese zukünftig operieren sollen, sind Restrisiken im Betrieb trotz größter Sorgfalt während der Entwicklung unvermeidlich. Eine besondere Rolle kommt daher dem strukturierten Sicherheitsnachweis zu, den es basierend auf durchgängigen und systematischen Sicherheitsbetrachtungen zu erbringen gilt.
Die Sicherheitsargumentation (engl. Safety Assurance Case) im Projekt verfolgt unter anderem das Ziel, die Abwesenheit unzumutbarer Risiken für die Abschlussdemonstration mithilfe von Evidenzen (z. B. Testprotokolle, Gefährdungslisten...) aus dem Entwicklungsprozess zu belegen. Die entstehende Sicherheitsargumentation ist besonders durch die Beteiligung verschiedener Funktionsexperten geprägt. Diese Sicherheitsargumentation ist semi-formal (Goal Structuring Notation, GSN) modelliert.
Im Rahmen einer Masterarbeit sollen Methoden untersucht werden, Unsicherheiten in der Sicherheitsargumentation zu bewerten. Dazu gilt es insbesondere, mathematische Ansätze zur Erfassung und Propagation von Evidenzunsicherheiten durch eine Argumentation in der Literatur zu identifizieren. Weiterhin soll eine anforderungsbasierte Auswahl einer Methode erfolgen. Die notwendigen Annahmen zur Anwendung dieser Methode auf eine Argumentation sind zu definieren. Anschließend ist die Anbindung (Programmierung als Feature) der Unsicherheitserhebung und -berechnung an einen visuellen GSN-Editor vorzunehmen. Anhand eines Minimalbeispiels (Teilargumentation) soll ein Proof of Concept erfolgen, für dessen Umsetzung Experten aus dem Projekt im Zuge der initial notwendigen Erhebung von Evidenzunsicherheiten befragt werden können.
Erforderlich sind...
Hilfreich sind Erfahrungen/Wissen im Kontext...