18.01.2013 Aufrufe

fsp selbstorganisierende mobile sensor- und ... - SomSed

fsp selbstorganisierende mobile sensor- und ... - SomSed

fsp selbstorganisierende mobile sensor- und ... - SomSed

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Diese Eigenschaften sind schwer zu formulieren <strong>und</strong> momentan kaum zu überprüfen <strong>und</strong> unterschiedliche<br />

Systeme sind so nicht vergleichbar. Daher ist es notwendig, zunächst formale Beschreibungen,<br />

Bewertungskriterien <strong>und</strong> Kontrollverfahren zu entwickeln.<br />

4.3.2 ZIELSETZUNG<br />

Mittelfristig ist die Vision, für <strong>selbstorganisierende</strong> Systeme eine Zertifizierung zu etablieren wie sie<br />

ähnlich in anderen Ingenieursdisziplinen bereits üblich ist. Dieses impliziert eine Kontrolle <strong>und</strong> Bewertung<br />

von komplexen <strong>selbstorganisierende</strong>n Systemen <strong>und</strong> ermöglicht eine Vergleichbarkeit. Es ist beabsichtigt,<br />

die Zertifizierung auf Basis der Bewertungsverfahren mit industriellen Partnern zu entwickeln <strong>und</strong><br />

zunächst im Luftfahrtbereich einzuführen, da der Luftfahrtbereich aus zweierlei Gründen für dieses<br />

Forschungsfeld besonders interessant ist: Zum einen sind Systeme in Flugzeugen besonders sicherheitsrelevant<br />

<strong>und</strong> benötigen daher ohnehin eine besonders aufwändige Zertifizierung, d. h. der erfolgreiche<br />

Einsatz von selbstorganiserenden Systemen aus SOMSED in Flugzeugen hängt von der Kontrollierbarkeit<br />

<strong>und</strong> Bewertbarkeit ab. Zum anderen ist dieses Anwendungsfeld für das Land Hamburg strategisch von<br />

großer Bedeutung. Außerdem bestehen sehr gute interdisziplinäre Kooperationsmöglichkeiten innerhalb<br />

der TUHH.<br />

4.3.3 EIGENE VORARBEITEN<br />

Die Vorarbeiten bestehen aus folgenden durch Prof. Schupp, Prof. Gollmann <strong>und</strong> Prof. Timm-Giel<br />

betreuten Bachelorarbeiten:<br />

• Source Code Duplication Detection in WSN Routing Protocols using Clone Detection<br />

Techniques and Tools<br />

• Invariant Detection in Sensor Network Applications Inter-context Control-Flow Graph in nesC<br />

with Improved Split-Phase Handling<br />

4.3.4 GEPLANTE FORSCHUNGSAKTIVITÄTEN<br />

Geplant bzw. in Bearbeitung ist die Beantragung der folgenden Forschungsprojekte:<br />

• Selbstgenerierende Sensornetzprotokolle<br />

DFG-Projekt (Schupp, Timm-Giel)<br />

• Entwicklung, Kontrolle <strong>und</strong> Bewertung von <strong>selbstorganisierende</strong>n IT-Systemen<br />

DFG-Projekt (Gollmann, Schupp, Timm-Giel <strong>und</strong> weitere Interessierte)<br />

• Architektur eines <strong>selbstorganisierende</strong>n IT-Systems in der Flugzeugkabine<br />

Forschungsprojekt (LUFO IV-4) (God, Gollmann, Schupp, Timm-Giel <strong>und</strong> weitere Interessierte)<br />

4.4 BIOSOCIONIC COMPUTING<br />

Beteiligte Institute: Regelungstechnik Werner<br />

Softwaresysteme Möller<br />

Rechnertechnologie Zimmermann<br />

4.4.1 MOTIVATION<br />

Selbstorganisierende Phänomene in der belebten Natur demonstrieren, dass relativ simple Individuen wie<br />

Ameisen durch Kooperation im Schwarm komplexe Aufgaben lösen können. Inspiriert durch diese<br />

21

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!