Projekte
Dieses ist ein kurzer Überblick über die momentanen laufenden Projekte. Die abgeschlossenen Projekte finden sich hier.
Sicherungskomponente für Autonome Mobile Systeme (SAMS)
Ziel des Projektes ist die Entwicklung einer Sicherungskomponente für die sichere Servicerobotik, die einen mobilen Roboter auf Grund siner Geschwindigkeit und den Entfernungsdaten eines Laserscanners rechtzeitig vor einem Hindernis stoppt. Die Kontrollsoftware dieser Komponente wird formal entwickelt und verifiziert. Ziel ist ein Gutachten über die Zulassungsfähigkeit durch den TÜV. Dieses Projekt wird in Zusammenarbeit mit dem Industriepartner Leuze lumiflex durchgeführt. [→ Mehr.]
Förderung: BMBF, Laufzeit: 2006- 2009.
Formale Entwicklung für sichere Robotik (FormalSafe)
FormalSafe zielt auf die computergestützte Verwaltung der vielen Arten von Dokumenten, die in der Entwicklung hochzuverlässiger Systeme vorkommen, mit Anwendungen auf dem Gebiet der Sicheren Robotik. [→ Mehr.]
Förderung: BMBF, Laufzeit: 2008- 2010.
Ontology-Driven Management of Change (OMoC)
OMoC zielt auf die Entwicklung von Methodiken, Techniken und Werkzeuge, um ein Änderungsmanagement für informelle aber trotzdem intern strukturierte Dokumente zu unterstützen. [→ Mehr.]
Förderung: DFG, Laufzeit: 2008-2010
Generische Algorithmen und Komplexitätsschranken in Koalgebraischer Modallogik
Dieses Projekt entwickelt eine Erweiterung herkömmlicher existierender generisches algorithmischer Methoden für koalgebraische Modallogik, welches als ein generisches semantisches Rahmenwerk in allgemeinem Sinne angesehen werden. Darüber hinause werden die so entwickelten Algorithmen in einem Werkzeug implementiert, welches damit den bestehenden Coalgebraic Logic Satisfiability Solver (CoLoSS) erweitert.
Förderung: DFG, Laufzeit: 2007- 2009
.Service-Orientierte ArchiteKturen zur Unterstützung von Netzwerken im Rahmen Öffentlicher Sicherheit (SoKNOS)
SoKNOS zielt auf die Erforschung und Entwicklung einer Dienste-Plattform bzw. einer spezifischen Service Orientierten Architektur (SoA) für den Bereich öffentliche Sicherheit. Zu diesem Zweck wird zunächst ein realistisches Szenario entwickelt und modelliert. Als technische Basis für die Zusammenarbeit von unterschiedlichen Akteuren und die Integration von Prozessen wird eine Dienste-Plattform erforscht. Auf deren Grundlage wird eine Leitstandarchitektur entwickelt. Betriebswirtschaftliche und rechtliche Aspekte werden im Rahmen von Begleitprojekten untersucht. [→ Mehr.]
Förderung: BMBF, Laufzeit: 2007 - 2009.
Supported Human Autonomy for Recovery and Enhancement of cognitive and motor abilities using information technologies (SHARE-it)
Ziel des Projektes SHARE-it ist es, ein skalierbares und adaptives System von Zusatzkomponenten für Sensoren und Assistenztechnologien zu entwickeln, die modular zu einer intelligenten Heimumgebung integriert werden können, welche die Autonomie des einzelnen Bewohners erhöht und erhält.
Förderung: EU, Laufzeit: 2007- 2009.
Die folgenden Projekte werden als Grundlagenforschung in Zusammenarbeit mit der Universität Bremen durchgeführt.