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

140
mit dem Paderborn Center for Parallel Comput -
ing, geht es um die Frage, wie die Forschung an
zukünftigen Netzarchitekturen durch Testbeds
unterstützt werden – Onelab2 dient der Ent -
wicklung einer solchen Testbed-Infrastruktur.
Unsere konkrete Aufgabe ist dabei, die Nutzung
von Virtualisierungstechniken in solchen Test -
beds zu vereinfachen und dadurch die Vorgabe
beliebiger Topologien für ein gewünschtes
Experiment einfach und effizient möglich zu
machen.
A MAC for voice support in wireless multi-hop
networks
Dieses durch DoCoMo Eurolabs finanzierte
Projekt arbeitet an einer Kombination von
„kooperativer Kodierung“ mit Medienzugriffs -
protokollen; Ziel ist eine bessere Unterstützung
von Sprachkommunikation in Multihop-Netzen.
Entwicklung eines extrem verbrauchsarmen,
skalierbaren, Tandemprozessor-basierten
Funksystems für sensorische, aktuatorische
und kennzeichnende Anwendungen (TANDEM),
ein Forschungsvorhaben welches vom BMBF
gefördert wird.
System-independent prototyping environment
for the development of new wireless communication
protocols (gefördert durch BMBF):
Entwicklung einer neuartigen Prototypisie -
rungs umgebung für drahtlose MAC-Protokolle,
die systemübergreifende Protokollentwürfe und
Leistungstests ermöglicht. Der Ansatz besteht
aus einem systemunabhängigen Spezifikationsund
Analyseteil (Frontend) und einem austauschbaren,
systemabhängigen Generierungs -
teil (Backend), die in Kombination Imple men -
tierungen und Tests drahtloser MAC-Protokolle
vereinfachen und beschleunigen.
Aktuelle Kooperationen
Technische Universität Berlin, Technische Uni -
versität Delft, Niederlande
Titel: MiXiM – Ein Simulator für mobile drahtlose
Netze
Beschreibung: MiXiM stellt die Funktionalität
zur Simulation mobiler drahtloser Netze in
++OMNeT++ zur Verfügung. MiXiM vereint mehrere
eigenständige Werkzeuge (Mobility Frame -
work, ChSim, MAC Simulator, Positif Frame -
work) in einem. Die Fachgruppe Rechnernetze
steuerte ChSim, ihre Implementierung mehrerer
Kanalmodelle, zu MiXiM bei.
Signalion GmbH
Titel: SORBAS – Software Radio Prototyping
System
Beschreibung: In der Kooperation mit Signalion
ist die Arbeitsgruppe Rechnernetze seit 2005
maßgeblich an der Entwicklung von Teilfunk -
tionen einer Experimentalplattform für drahtlose
Übertragungssysteme – eines sog. Software
Radio Prototyping Systems – beteiligt.
Department of Systems and Computer
Engineer ing, Carleton University, Ottawa,
Kanada
Titel: Soft-decision cooperative relaying
Be schreibung: Ziel der Kooperation ist die
gemeinsame Entwicklung neuer Übertragungsprotokolle
die im Zusammenspiel mit aktuellen
Kodier- und Dekodierverfahren kooperative
Verbindungen effizienter ausnutzen als bisherige
Verfahren.
Telefonica
Titel: Untersuchung von Routing-Update-
Storms im Interdomain-Routing des Internets
Beschreibung: In dieser Kooperation mit einem
Industriepartner soll untersucht werden, in wieweit
es möglich ist, durch gezielte Manipulation
von Routing-Tabellen Traffic Engineering-Effekte
zu erzeugen und inwieweit dies zu Instabili -
täten führen kann.
Gastwissenschaftler
Sebastian Szyszkowicz, Department of Systems
and Computer Engineering, Carleton University,
Ottawa, Kanada
Patente
Valentin, S.; Volkhausen, T.; Karl, H.: „Verfahren
und Vorrichtung zur Schätzung von Kanal -
parametern (EFEC)“, Patent DE 10 2008 007
113.7, Januar 2008
Valentin, S.; Karl, H.; Aad, I.: “Transceiver apparatus
for cooperative wireless network“, Patent
no. JP2008228289, September 25, 2008
Prof. Dr. rer. nat.
Uwe Kastens
Personal
Sekretariat
Sigrid Gundelach
Wissenschaftliche Mitarbeiter/innen
Dipl.-Inform. Bastian Cramer
Dipl.-Inform. Ralf Dreesen
Dipl.-Inform. Dennis Klassen
Dipl.-Inform. Karsten Klohs
Dipl.-Inform. Rebekka Neumann
Dr. rer. nat. Michael Hußmann
Dr. rer. nat. Peter Pfahler
Dr. rer. nat. Michael Thies
Technischer Mitarbeiter
Dipl.-Ing. Tobias Schultz-Friese
Publikationen
Kastens, U.; Waite; William M.: Reusable specification
modules for type analysis. Software –
Practice and Experience, John Wiley & Sons,
(accepted for publication), 2008
Kastens U.; Kleine Büning, H.: Modellierung –
Grundlagen und formale Methoden. Hanser
Verlag, 2. Auflage
Cramer B.: Ein Konzept zur Simulation und
Animation visueller Sprachen Technical Report
tr-ri-08-293, Universität Paderborn
Oeters R.; Kastens U.; Rust C.; Schnake, L.:
Benefits from realizing a location-based mobile
hotel service with Java Card 3.0 Technischer
Bericht, Reihe Informatik tr-ri08-292-1 Uni ver -
sität Paderborn
Cramer B.; Schmidt C.; Kastens U.: Generating
visual structure editors from high-level specifications,
Technical Report tr-ri-08-290, Univer -
sität Paderborn
Klassen D.; Cramer B.; Kastens U.: Entwicklung
und Evaluierung einer domänenspezifischen
Sprache für SPS-Schrittketten. In Modellierung
2008, Workshop Domänenspezifische Modellie -
rungssprachen, Berlin, März 2008
Jungeblut, T.; Klassen D. et al.: Design Space
Exploration of Multiprocessor Architectures for
Baseband & Application Processing. Poster beim
EASY-C Public Workshop, Dresden, Dezember
2008
Dreesen, R.; Jungeblut, T. et al.: Ressourceneffiziente
VLIW-Prozessoren. Poster beim 12.
BMBF-Statusseminar Mobile Kommunikation,
Freiburg, Juni 2008
Promotionen
Dr. rer. nat. Michael Hußmann
Compiler-Driven Dynamic Reconfiguration of
Architectural Variants, 28. April 2008
Weitere Funktionen
U. Kastens
Mitglied des Vorstandes der International
Graduate School on Dynamic Intelligent
Systems
Mitglied des Vorstandes der s-lab (Software
Quality Lab)
Mitglied der IFIP Working Group 2.4: Software
Implementation Technology
Mitglied des Vorstandes des Fakultätentages
Informatik (FTI)
Leiter der Studienkommission des
Fakultätentages Informatik
Gutachter für die DFG
Vertrauensdozent der Gesellschaft für
Informatik (GI)
P. Pfahler
Moderator im hochschuldidaktischen
Weiterbildungsprogramm der Universität
Paderborn
Aktuelle Forschungsprojekte
MxMobile: Multi-Standard Mobile Platform
Dieses BMBF-Projekt ist eine Kooperation zwischen
der Infineon Technologies AG, der Uni -
versität Paderborn, der TU Dresden sowie zehn
weiteren Partnern aus Industrie und Forschung.
Ziel ist die Evaluierung von feinkörnig-parallelen
Prozessorarchitekturen, die flexibel in mobilen
Endgeräten einsetzbar sind. Die Prozesso -
ren sollen sowohl die Steuerung drahtloser
Kommunikationsprotokolle als auch die Verar -
bei tung von Multimedia-Daten übernehmen.
Für die Entwurfsraumexploration nutzen wir
Prozessorspezifikationen, die die Modellierung
der Architektur auf sehr hohem Niveau erlauben.
Aus diesen Spezifikationen werden Soft -
ware-Entwicklungswerkzeuge (Übersetzer,
Simulatoren) generiert, um sehr schnell Lei s -
tungsdaten von Prozessorvarianten bezogen
auf die spätere Anwendungssoftware erheben
zu können. Den Schwerpunkt unserer Aktivi tä -
ten im Jahr 2008 bildeten Software-Werkzeuge
für eine vergleichende Simulation von Prozes -
sor architekturen mit dedizierten Hardware-
Beschleunigern auf Software-Ebene, auf Hard -
ware-Entwurfsebene und als Hardware-Proto -
typ. Aus eventuell auftretenden Abweichungen