Band 47, Heft 2

Zusammenfassung Es wird ein neues Datenmonitoring-Verfahren für drahtlose Sensornetzwerke vorgestellt. Das Verfahren kombiniert geografische Hashtabellen mit Aggregation innerhalb des Netzwerks. Anfragen werden in Gebieten abgearbeitet, deren Sensorknoten ihre Werte in Knoten nahe einer festgelegten Lokation innerhalb des Gebietes sammeln, wo sie leicht von außen abgefragt werden können. Das Verfahren ist robust gegenüber Knotenausfällen und -bewegungen und erzeugt sehr geringen Netzwerkverkehr. Dies wird durch verschiedene Simulationen bestätigt.

Zusammenfassung Eines der fundamentalen Probleme in Sensornetzwerken besteht darin, ein Bewusstsein für die Position eines Knotens im Netz zu entwickeln. Dabei wird fast immer davon ausgegangen, dass dies durch die Zuweisung von Koordinaten zu erfolgen hat. In diesem Artikel wird auf theoretischer, praktischer und simulativer Ebene ein kritischer Blick auf entsprechende Verfahren geworfen, und es werden Grenzen aufgezeigt. Es wird ein Ansatz vorgestellt, mit dem in der Zukunft eine abstrakte Form von Lokationsbewusstsein etabliert werden kann, und es wird gezeigt, wie Anwendungen davon massiv profitieren können. Er basiert auf einer graphenbasierten Modellierung des Netzes: Knoten mit bestimmten topologischen oder Umwelteigenschaften werden zu Clustern zusammengefasst, und Clusternachbarschaften dann als Graphen modelliert.

Zusammenfassung Ausgereifte Überwachungssensorik für dynamische Szenarien mit einer Vielzahl verschiedenartiger, separat oder kollektiv agierender Objekte ist bereits jetzt oder in absehbarer Zeit verfügbar. Die erzielbare Überwachungsleistung ist jedoch nicht allein durch die Leistungsfähigkeit der Einzelsensoren und der zugehörigen Auswertealgorithmik bestimmt. Die technologische Entwicklung wird vielmehr vorangetrieben durch die Vernetzung einer Vielzahl homogener oder heterogener Sensoren zu umfassenden Verbundsystemen. Dadurch kann eine Fülle einander ergänzender Aspekte eines Gesamtgeschehens erfasst werden, die nach intelligenter, sensorübergreifender Datenfusion die Ermittlung eines Lagebildes ermöglichen. Der vorliegende Beitrag diskutiert die generelle Aufgabenstellung der Multisensorfusion. Spezielle Lösungsansätze für Multisensortracking, Sensormanagement und Nutzung attributiver Sensorinformation werden anhand ausgewählter Beispiele erörtert.

Summury With the proliferation of sensor networks and sensor network applications, the overall complexity of such systems is continuously increasing. Sensor networks are now heterogeneous in terms of their hardware characteristics and application requirements even within a single network. In addition, the requirements of currently supported applications are expected to change over time. All of this makes developing, deploying, and optimizing sensor network applications an extremely difficult task. In this paper, we present the architecture of TinyCubus, a flexible and adaptive cross-layer framework for TinyOS-based sensor networks that aims at providing the necessary infrastructure to cope with the complexity of such systems. TinyCubus consists of a cross-layer framework that enables optimizations through cross-layer interactions, a configuration engine that distributes components efficiently by considering the roles of the sensor nodes and provides support to install components dynamically, and a data management framework that selects and adapts both system and data management components. Finally, relevant research challenges associated with the development of each framework are identified and discussed in the paper.

Summury In the field of IP based design, a SoC designer usually searches for IPs and after he has purchased some, he needs to further process them. To support these steps, a unified data exchange format like the IPQ Format is necessary. Based on this format, a toolbox has been developed which makes use of current Web Service technologies. Its concept supports a dynamic set of usable IP related Web Services. This enables the toolbox to be extended at any time without changing the code of the existing tools. It can be used to search for, parameterize, deliver, simulate, exchange IPs, etc. The results prove the applicability of the toolbox in the field of IP based design.

Zusammenfassung Der Bytecode Verifier ist ein essenzieller Bestandteil der Sicherheitsarchitektur der Programmierplattform Java. Die vorliegende Dissertation stellt eine formale, ausführbare Spezifikation des Bytecode Verifiers vor sowie den Beweis, dass diese korrekt ist. Die Formalisierung, vollständig im Theorembeweiser Isabelle durchgeführt, besteht aus einem abstrakten Framework für Bytecode-Verifikation, das mit zunehmend ausdrucksstarken Typsystemen instanziiert wird. Diese decken sämtliche wichtigen Eigenschaften der Java-Plattform ab. Die Formalisierung liefert zwei ausführbare, verifizierte Bytecode Verifier: den Standard-Algorithmus, wie er auf normalen Desktop-Rechnern benutzt wird, und einen Lightweight Bytecode Verifier für eingebettete Systeme mit Ressourcenbeschränkungen wie z.B. Java SmartCards.