fsp selbstorganisierende mobile sensor- und ... - SomSed
fsp selbstorganisierende mobile sensor- und ... - SomSed
fsp selbstorganisierende mobile sensor- und ... - SomSed
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