Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...

Entwurf Verteilter Realzeitsysteme
Prof. Dr. rer. nat. Franz J. Rammig
„Eingebettete Systeme: verteilt, rekonfigurierend, zuverlässig“
Unsere technische Umgebung wird
zunehmend informatisiert. War diese
Informatisierung lange Zeit auf isolierte
Objekte (Fahrzeuge, Geräte, Fertigungs -
zellen) beschränkt, so erleben wir nun
eine nächste Stufe, die durch immer
komplexere Kommunikationsstrukturen
zwischen immer intelligenter werdenden
Komponenten charakterisiert wird.
Eingebettete Systeme, Kommunika tions -
systeme und Mobilität müssen daher
als vernetzte Gesamtheit gesehen werden.
In der Fachwelt werden für derartige
Systeme Begriffe wie „Autonomic
Computing“, „Organic Computing“ oder
„Biologically Inspired Computing“
diskutiert.
Institut für Informatik
Eingebettete Systeme und Systemsoftware
74
Online Verifikation komponentenbasierter, rekonfigurierbarer einge betteter
Systeme
Modellierung eines rekonfigurierbaren Systems mithilfe der Verhaltens-,
Struktur- und Geometriesicht
Wir stellen uns der Herausforderung,
für dieses Szenario, d.h. für verteilte
eingebettete Realzeitsysteme (engl.
Distributed Embedded Real-Time
Systems, DERTy) wesentliche Kompo -
nenten einer durchgängigen Entwurfs -
methodik bereitzustellen. Dabei konzentrieren
wir uns derzeit auf drei
Hauptthemen:
DERTy UML: Spezifikation, Modellie rung
und formale Verifikation eingebetteter
Realzeitsysteme
DERTy DREAMS: komponentenbasierte
verteilte Realzeitbetriebssysteme und
Softwaresynthese
DERTy RuSt: rekonfigurierbare Hardund
Softwaresysteme
Prof. Dr. rer. nat. Franz J. Rammig
ist seit 1983 Professor für Praktische Informatik
an der Universität Paderborn, seit 1993 Stif -
tungsprofessor im Heinz Nixdorf Institut, Spe -
zial gebiet Entwurf verteilter eingebetteter
Realzeitsysteme. Seit 1984 hochschulseitiger
Vorstand des C-LAB. 1998 bis 1999 Vize präsi -
dent der Gesellschaft für Informatik (GI); Ver tre -
ter Deutschlands im TC10 (Computer Systems
Technology) der International Federation for
Information Processing (IFIP) und 2002 bis
2007 Chairman IFIP TC10; Träger des IFIP Silver
Core; Mitglied der NRW Akademie der Wissen -
schaften und der Künste und von acatech,
Deutsche Akademie der Technikwissen schaf ten;
Mitglied im zentralen Auswahlausschuss der
Alexander von Humboldt Stiftung; Mitinitiator
zweier DFG-Schwerpunkt programme (1040:
Entwurf eingebetteter Systeme und 1148:
Rekon figurierbare Rechen systeme); Beteiligung
an zwei Sonder for schungs bereichen
(376: Effiziente Nutzung massiv paralleler
Rechen systeme und 614: Selbstoptimierung
im Maschinenbau); stellvertretender Sprecher
des SFB614.
wwwhni.uni-paderborn.de/eps
Selbstoptimierendes RTOS. Zur Laufzeit werden durch Rekonfigurierung
die Komponenten der Betriebssystemplattform an die Anforderungen
einer Anwendung angepasst.
Dynamische Lastverteilung von Diensten in einem feingranular verteilt
arbeitenden Realzeit-Betriebssystem