Ziel des Projektes SHIP ist es, die semantische Modellierung und Analyse, und darauf basierende Verifkationstechniken zu nutzen, zu erweitern und zu adaptieren, um verläßliche, verteilte heterogene Prozesse zu entwerfen, zu simulieren, zu implementieren und zu adaptieren.
Mit der zunehmenden Möglichkeit, bestehende Systeme über Netzwerke miteinander zu verbinden wächst auch der Wunsch, verschiedene Einzelgeräte und Sensoren zu intelligenten Gesamtlösungen zu kombinieren. SHIP erlaubt es, bisher isolierte Systeme als Einheit zusammenzufassen, um sie in Abhängigkeit voneinander zu steuern und zu synchronisieren.
Das Schlüsselkonzept von SHIP ist ein semantisches Modell, in dem die Daten der physikalischen Umgebung und der Einzelgeräte zusammengeführt werden, um neues Wissen automatisch ableiten zu können. Komplexes Verhalten kann in Monitoren beschrieben werden, um Situationen wie etwa ein Fehlverhalten eines Gerätes zu erkennen bzw. Geräte situationsabhängig zu steuern.
Ergebnisse
- Das SHIPtool ist eine prototypische Implementation der Konzepte.
- Im Rahmen des Projektes wurden mehrere Anwendungsszenarien entwickelt. Eine wurde auf der CeBIT 2013 vorgestellt, und demonstriert die Orchestrierung von Diensten in der instrumentierten Wohnumgebung, dem Bremer Ambient Assisted Living Lab.
- Eine zweite Anwendung wird zur Zeit im Rahmen des Projektes SIMPLE entwickelt, und betrifft die leitlinienkonforme Patientenbehandlung.
- Eine weitere Anwendung ist das SmartTies-System zur Verwaltung und Überwachung der zu zertifizierenden Dokumente in der Entwicklung sicherheitskritischer Software. SmartTies basiert auf dem System DocTIP.
