Förderprojekte

Förderbeginn 01.01.2008

Daten- und Datenflußmodellierung in dienstbasierten Entwicklungsansätzen für eingebettete Systeme

Prof. Dr. Manfred Broy
Technische Universität München
Lehrstuhl für Informatik IV - Software & Systems Engineering

Prof. Dr. Ingolf Krueger
University of California, San Diego
Computer Science & Engineering

Die Entwicklung eingebetteter Systeme bringt mehrere Herausforderungen mit sich. Die Systeme sind normalerweise verteilt und weisen komplexe Abhängigkeiten und Interaktionen zwischen den verteilten Komponenten auf. Dienstbasierte Ansätze scheinen hier versprechend zu sein, da sie auf die unabhängige, systemweite Funktionalität fokussieren, anstatt nur das Verhalten einzelner Komponenten zu betrachten. Jedoch wird durch den Datenaustausch eine zusätzliche Komplexität verursacht. Oft existieren zusätzliche Abhängigkeiten aufgrund von gemeinsam ausgetauschten und veränderten Daten.
Ziel dieses Projektes ist es, dienstbasierte Ansätze so zu erweitern, dass auch die Datensicht auf eingebettete Systeme adäquat unterstützt wird. Datenabhängigkeiten müssen zusammen mit Interaktionen zwischen Diensten erfasst werden. Techniken, die das Prinzip der Informationskapselung unterstützen (wie z.B. die Sichtbarkeit von Variablen) müssen eingeführt werden. Des Weiteren müssen Initialwerte von Daten spezifiziert werden, um Initialkonfigurationen des Systems zu bestimmen.