FWF - Modellbasierte Laufzeit - Modellbasierte Laufzeit Diagnose für autonome mobile Systeme (MoRDAMS)

Das Model-based Runtime Diagnosis for Autonomous Mobile Systems (MoRDAMS) Projekt zielt auf die Bereitstellung von Hardware- and Software-Modellen für mobile Roboter. Diese Modelle sollen die automatische Diagnose und Rekonfiguration von Robotern ohne menschliche Hilfe ermöglichen. Dadurch können alle Potentiale von Robotern in realen Umgebungen über einen längeren Zeitraum hinaus gewährleistet werden. Derzeit brauchen mobile Roboter eine häufige Wartung, die entweder zur Laufzeit oder nach Abschaltung der Maschine erfolgt. Durch die Einführung von Selbstreparaturmechanismen können Roboter weniger störungsanfällig gebaut werden. Um die Modelle der Hardware und Software direkt für die Diagnose und Rekonfiguration zu nützen, sollen im MoRDAMS Projekt modellbasierte Techniken zur Anwendung kommen. Diese wurden bereits erfolgreich in unterschiedlichen Anwendungen wie zum Beispiel die Fehlersuche in Programmen oder in der Fahrzeugtechnik verwendet. Alle Modelle, die während des Projekts entwickelt werden, sollen anhand von realen Testszenarien überprüft werden. The dabei verwendeten Testszenarien und die erhobenen Daten sollen der wissenschaftlichen Verwendung durch Veröffentlichung-über-das-Internet-zur- Verfügung gestellt werden. Somit hilft das MoRDAMS Projekt nicht nur die Modellierung zu verbessern sondern auch Testdaten zur Verfügung zu stellen. Zusammenfassend verfolgt das MoRDAMS Projekt folgende wissenschaftliche Ziele: (1) Die Modellierung von Systemen, die aus Hardware und Software aufgebaut sind, zum Zweck der Diagnose und Rekonfiguration, (2) Die Anwendung der modellbasierten Diagnose und Rekonfiguration zur Laufzeit eines Systems unter Verwendung der zur Verfügung stehenden Resourcen und unter Berücksichtigung von zeitlichen Aspekten, und (3) die Extraktion von Beobachtungen für die Diagnose und Rekonfiguration aus den direkten Sensordaten.