Prüfbare Erreichung von prüfbar sichersten Zuständen autonomer Maschinen in seltenen Szenarien

• Antragsteller: Dr. Mario Gleirscher
• Fachliche Zuordnung: Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme ; Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik ; Konstruktion, Maschinenelemente, Produktentwicklung ; Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2017 bis 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 381212925

Dieser Antrag betrifft die Fortsetzung meiner Förderung. Das Ziel meines Grundantrages ist die Erarbeitung einer formalen Methode für die Entwicklung von Risikoreduktionsmechanismen für autonome Maschinen. Solche Mechanismen sind zuständig (i) für die Erkennung und die Vorhersage von Gefahrensituationen im Maschinenbetrieb und (ii) für die Steuerung der Maschine derart, dass solche Gefahrensituationen oder deren gefährliche Konsequenzen vermieden werden. Der Grundantrag besteht aus vier Arbeitspaketen, wobei das Wichtigste davon über den Grundantrag hinaus Teil meiner langfristigen Forschung bleiben soll. Ich beantrage hiermit die Fortsetzung meines 1-jährigen Grundantrages für 6 weitere Monate, um meine Arbeiten an einer Methode für die Verifikation von Risiko bewussten autonomen Maschinen fortsetzen zu können.

• DFG-Verfahren: Forschungsstipendien
• Internationaler Bezug: Großbritannien
• Gastgeber: Professor Dr. Jim Woodcock