Neben kunden-spezifischen Aufträgen arbeiten wir derzeit an folgenden Forschungsprojekten:

Virtual Spacecraft Design

Virtual Spacecraft Design (VSD) ist ein Studie im Rahmen des Technology Research Programms der Europäischen Weltraumbehörde ESA. Unter der Leitung von EADS Astrium begann 2005 eine Analyse des gegenwärtigen Prozesses im Spacecraft System Level Engineering. Die Zielsetzung von VSD ist eine Verbesserung dieses Prozesses, um eine optimalere, modell-basierte und virtuelle Darstellung eines Spacecrafts zu erreichen.

Im Rahmen dieses Projekts erstellt ScopeSET die benötigten modell-basierten Werkzeuge auf Basis von Eclipse, EMF und GMF. Diese Werkzeuge beinhalten die Anbindung an eine SpaceSystems Reference Database, sowie eine Integration mit den 3D Visualisierungs-Werkzeugen. Die graphischen Editoren sind an SysML angelehnt, beinhalten aber zusätzliche domain-spezifische Merkmale und eine Integration mit Doors und Catia.

Alle Werkzeuge werden weitestgehend nach MDA  Ansätzen entwickelt und stellen eine Fortsetzung unserer bisherigen SysML Projekte dar.

SuReal, Sicherheitsgarantien unter Realzeitanforderungen

SuReal ist ein vom Bundesministerium für Bildung und Forschung gefördertes Projekt. Gemeinsam mit Partnern aus der Industrie, mit Forschungsanstalten und mit Universitäten, definiert ScopeSET einen durchgängigen Entwicklungsprozess, der spezial auf die Entwicklung von Embedded Systemen zugeschnitten ist. Daher stehen sicherheitskritische Aspekte bei diesem Projekt im Vordergrund, die durch die Bereitstellung einer entsprechenden Tool-Kette zu jedem Zeitpunkt im Prozess formal verifiziert werden können.

ScopeSET wird im Rahmen diese Projektes die UML Unterstützung zur Verfügung stellen. Dazu gehört die Definition eines UML Profiles zur Beschreibung von Nicht-Funktionalen-Eigenschaften (NFE), wie z.B. den Zeitaspekten in Embedded Systemen. Über spezielle MDA basierte Transformationsregeln wird dann ein Modell-Checker angeschlossen, der die erstellten Modelle verifiziert. Anschließend werden die Modelle in die Zielumgebung transformiert, wo weitere formelle Verifikationen durchgeführt werden.

Mit den Ergebnissen von SuReal lassen sich verlässliche Systeme entwickeln, bei denen sichergestellt ist, dass im Modell spezifizierte zeitliche Aspekte von Embedded Systemen auch eingehalten werden.

Weitere Details über SuReal auf Anfrage oder unter http://www.sureal-projekt.org/index.html.

SysML mit Eclipse

Gemeinsam mit einem Kunden aus der Luft- und Raumfahrtindustrie erstellt ScopeSET momentan einen grafischen Editor zur Beschreibung von erweiterten SysML Internal Block Diagrammen. Die am Markt zur Verfügung stehenden Werkzeuge können die Anforderungen des Kunden nicht erfüllen. Bei den zur Verfügung stehenden SysML Umgebungen handelt es sich fast immer um modifizierte UML Werkzeuge, die von Systemingenieuren nur bedingt einsetzbar sind. Daher soll in einer Studie der Prototyp eines Internal Block Diagram Editors erstellt werden.

Der Editor wird auf Basis des Eclipse Graphical Modeling Frameworks (GMF) erstellt. Durch den konsequenten Einsatz des GMF MDA Prozesses erfolgt hierbei eine Validierung des zu Grunde liegenden Metamodells. Gleichzeitig wird dadurch eine erhöhte Flexibilität für spätere Anpassungen und Erweiterungen gewährleistet. Ein weiterer Aspekt in diesem Projekt ist die Berücksichtigung SysML spezifischer Modellierungsarten, insbesondere im Graphik-Bereich. Hier ergeben sich Anforderungen die sich mehr aus dem CAD als aus dem Software-Design ableiten.

Die Ergebnisse dieses Projekts werden unter der Eclipse Public License zur Verfügung gestellt. Eine Erweiterung um andere SysML Diagramm-Typen sowie Integrationen mit anderen Standards wie z.B. STEP ist geplant.

Weitere Details zu diesem Projekt auf Anfrage.