DFG-Projekt "SafeRobotics"

Formale Fehlerbaumanalyse, Spezifikation und Testen von hybriden Echtzeitsystemen in Anwendung auf die Servicerobotik

Zusammenfassung:

In diesem Forschungsprojekt werden formale Methoden entwickelt bzw. angepasst, die geeignet sind, eine große Klasse von Servicerobotik-Anwendungen als Sichere Systeme zu gestalten. Das Verfahren lässt sich allgemein nutzen, um Sicherheitsanforderungen an hybride Echtzeitsysteme zu spezifizieren und deren Einhaltung nachzuweisen. Die Anwendung der Methode auf den Bremer Autonomen Rollstuhl ist zentraler Bestandteil des Vorhabens. Auf dem zukunftsträchtigen Gebiet der Rehabilitationsrobotik ist die Idee des beweisbar korrekten Systemverhaltens bisher nur in Ansätzen vorhanden. Dies gilt insbesondere für Fälle, in denen die Anforderungen der gemeinsamen Steuerung durch Mensch und Maschine zu berücksichtigen sind.

Laufzeit:

Februar 2001 - Januar 2004

Projektleiter:

Mitarbeiter:

Weitere Informationen:

Autor: Axel Lankenau

SafeRobotics

Zuletzt geändert am: 2. August 2005