Sicherheitsbewertung von (autonomen) Verhaltensentscheidungen durch Methoden der hybriden Verifikation (B07)

• Fachliche Zuordnung: Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
• Förderung: Förderung von 2006 bis 2010
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 13634853

Im Fokus des Teilprojekts steht die Entwicklung von Methoden bzw. eines Echtzeit-Software-Toolszur Sicherheitsbewertung von autonomen oder semi-autonomen Verhaltensentscheidungen eines KognitivenAutomobils. Ein solches Sicherheitsmodul könnte als überwachender Co-Pilot bezeichnet werden,der seine Zustimmung bei kritischen Fahrmanövern geben sollte. Als methodischer Ansatz wirdauf Verifikationsmethoden für hybride (ereignisdiskret-kontinuierliche) dynamische Systeme aufgebaut.

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 28: Kognitive Automobile
• Antragstellende Institution: Karlsruher Institut für Technologie (KIT) ; Campus Süd (aufgelöst)
• Mitantragstellende Institution: Technische Universität München (TUM)
• Teilprojektleiter: Professor Dr.-Ing. Martin Buss