Jahresbericht informatik 2009 - KIT – Fakultät für Informatik

Die Institute der Fakultät und ihre Forschungsvorhaben
RENDITION
(S. Röcker)
Die gemeinschaftlichen akademischen und industriellen Forschungen im Bereich des
Internets der Dinge lassen angereichertes und entscheidungsrelevantes Wissens zur flexiblen
Komposition und Steuerung von Geschäftsprozessen entstehen. Letztlich ist für die
Verwertung und Akzeptanz sicherzustellen, dass diese adäquat und entsprechend der
Erwartungen potentieller Interessenten kommuniziert werden. Über die Darstellung hinaus
sollen potentielle Kunden an diese neue Ansätze und Technologien herangeführt werden.
Im Projekt RENDITION hilft TecO neue Netzwerke zwischen Innovatoren und möglichen
Kunden zu knüpfen, um gezielt die Außenwirkung aktueller Forschungsvorhaben zu potenzieren
und Projektergebnisse zu transferieren.
Prozessorganisation in eingebetteten ubiquitären Rechnersystemen
(C. Decker)
Die Abbildung von Prozessen auf Sensorknoten ist der entscheidene Schritt für die
Integration in große heterogene Systeme. Prozesse werden in Dienste zerlegt und in ein spezielles
Laufzeitsystem auf die Sensorknoten geladen. Das spezifische Verhalten der Knoten,
z.B. Energiesparmechanismen und verteilte Kooperationsmechanismen, wird online durch
einen Regelkreis realisiert. Der Ansatz wurde in einem neuen Betriebssystem für
Sensorknoten implementiert. Die abschließende Arbeit von Herrn Decker wurde mit dem
Preis des Fördervereins des "Forschungszentrum Informatik" als beste Dissertation des
Jahres 2009 ausgezeichnet.
Softwaremodelle für ubiquitäre Umgebungen
(T. A. Riedel)
In ubiquitären Systemen interagieren Dinge untereinander und mit ihrer Umwelt, während
das klassische Rechnersystem als zentrale Schnittstelle und Koordinator zurücktritt.
Anwendungen werden zu verteilten, lose organisierten Prozessen, die sich in die Umgebung
integrieren. Eine solche Systemsicht verlangt nach neuen Metamodellen für die
Softwareentwicklung, um Applikationskontext und ubiquitäre Informationstechnik modellierbar
zu machen. Es wird erforscht, welche Einflüsse z.B. unzuverlässiger
Nachrichtenaustausch und indeterministische Teilprozesse in der realen Welt auf die
Spezifizierbarkeit einer Anwendungssemantik haben.
144