Highlights

Computer and Communication Systems

Am Lehrstuhl für Technische Informatik (Computer and Communication Systems Group), wird an grundlegenden Herausforderungen der Informatik im Bereich der Selbstorganisation in massiv verteilten Systemen und der Realisierung adaptiver Methoden und Algorithmen in mobilen drahtlosen Netzen geforscht. Dabei stehen insbesondere Anwendungen in der Fahrzeug-zu-Fahrzeug-Kommunikation und in Sensornetzen im Vordergrund. Herausforderungen ergeben sich insbesondere durch die konsequente Miniaturisierung bis hin zu Nanotechnologie, die nur durch ein interdisziplinäres Herangehen erforscht und gelöst werden können, z.B. durch bio-inspirierte Ansätze. Ein weiterer Forschungsschwerpunkt liegt im Bereich der Netzwerksicherheit. Hier stehen Fragen des effizienten Netzwerkmonitorings in Hochgeschwindigkeitsnetzen zur Angriffserkennung im Kontext eines IT-Frühwarnsystems im Kern der Untersuchungen.
Forschungsprojekte umfassen die Realisierung modernster Sensorsysteme und der Informationsaustausch mit Hilfe von Datenstromansätzen, die Beacon-basierte Kommunikation zwischen Fahrzeugen sowohl für Sicherheits- als auch für Effizienzanwendungen, das Monitoring und die Analyse von Overlay-Kommunikationsprotokollen und die robuste Echtzeitkommunikation in industriellen drahtlosen Netzen.

Computational Logic

Die Computational Logic Gruppe hat im Bereich der automatischen Programmanalyse beachtliche Erfolge erreicht. Die vier in Innsbruck entwickelten Tools CeTA (Zertifizierte Terminierung), MKBtt (Vervollständigung), TCT (Komplexität) und TTT2 (Terminierung) befinden sich im Spitzenfeld im internationalen Vergleich.
Lesen Sie mehr unter http://cl-informatik.uibk.ac.at/news/termination-competition-2010-nbsp-20-july-2010/

Databases and Information Systems

eCOMPAGT
In einer Zusammenarbeit zwischen der Forschungsgruppe Datenbanken und Informationssysteme und der Sektion für Genetische Epidemiologie (Medizinische Universität Innsbruck) werden neue genetische Merkmale als Risikofaktoren für häufige Krankheiten lokalisiert. Dies geschieht, bedingt durch die  Komplexität und  Menge an biologischen Daten (in Form von Copy Number Variationen, CNVs), anhand neuartiger Algorithmen und Softwarelösungen, mit denen das immense Datenvolumen verwalt- und analysierbar wird.
Näheres unter eCOMPAGT

Kooperation SmApper
In einer Kooperation mit der Firma SmApper werden neue Konzepte zur Realisierung einer effizienten verteilten Verwaltung von Metadaten erforscht. Ziel ist es den Zugriff auf Metadaten, die aus Dateisystemen gesammelt werden, für spätere Analyse- und Verwaltungsprozesse zu ermöglichen und schon während des Erstellens einer Datei aktiv in den Prozess der Indizierung einzugreifen. Diese Trennung ermöglicht erstens eine Entlastung des Dateiservers, da sich über 30% aller Operationen auf Metadaten beziehen und ermöglicht zweitens eine verbesserte Metadatenorganisation.

Top

Distributed and Parallel Systems

Die Forschungsgruppe DPS ist nach der Aufnahme in das NoE (Network of Excellence) CoreGRID, nun auch noch in das NoE HiPEAC aufgenommen worden.

Ziel von CoreGRID ist die Stärkung und das Vorantreiben wissenschaftlicher Exzellenz in den Bereichen der GRID und Peer-to-Peer Technologien. An diesem NoE sind über 160 ForscherInnen und über 160 PhD StudentInnen aus 41 Institutionen beteiligt.  Der Hauptfokus liegt hierbei auf: knowledge & data management -  programming models - architectural issues: scalability, dependability, adaptability - Grid information, resource and workflow monitoring services - resource management and scheduling -  Grid systems, tools and environments.
Zum CoreGRID

HiPEAC koordiniert 13 Forschungscluster und Task Forces  in den Bereichen:
Multi-core architecture, Programming models and operating systems, Adaptive compilation, Interconnects, Reconfigurable computing, Design methodology and tools, Binary translation and virtualization, Simulation platform, Compilation platform , Task force on low power, Task force on reliability, Task force on applications, Task force on education
Zum HiPEAC

Top

Intelligent and Interactive Systems

Die Forschung der Intelligent and Interactive Systems Gruppe beschäftigt sich mit künstlichen Systemen, welche mit nicht für sie geschaffenen Umgebungen interagieren, wie z.B. menschliche oder natürliche Umgebungen. In diesem Kontext konzentrieren wir und auf visuelle Wahrnehmung in der Robotik und deren Rolle für das Verstehen und die Interaktion.

Das Europäische projekt PACO-PLUS hatte zum Ziel, Haushaltsroboter mit Lernfähigkeiten auszustatten, damit sie für sie neue Objekte und deren Handhabung selbständig erkunden können.  Bereits an der Universität Liège entwickelte Prof. Piater's Gruppe Methoden zum Erlernen von Objektmodellen, mittels derer Roboter die Fähigkeit, Objekte zu greifen, mit wachsender Erfahrung verbessern können. Diese Forschungslinie wird in den kommenden EU Projekten XPERIENCE (welches Methoden entwickelt, frühere Erfahrungen für künftige Lernprobleme nutzbar zu machen) und IntellAct (über das Verstehen von Absichten und Zielen beobachteter menschlicher Manipulationen für Überwachung und Automatisierung) weiter vorangetrieben.

Quality Engineering

entwickelt innovative Methoden und Werkzeuge zur Verbesserung von Qualität und Kosteneffizienz beim Management, Entwurf und Betrieb von Software-Systemen. Einen Schwerpunkt bilden dabei modellbasierte Techniken und die Themen Softwareprozesse, Anforderungsmanagement, modellbasierte Qualitätssicherung, Workflow Management und Security Engineering. Das anwendungsorientierte Forschungszentrum Quality Engineering Laura Bassi LaB – QE LaB – entwickelt zusammen mit Industriepartnern Methoden und Technologien für IT-Systeme im Spannungsfeld von Kooperation, Qualität und Evolution.

Aktuelle Projekte und Arbeiten:

QE LaB – Quality Engineering Laura Bassi Lab http://www.qe-lab.at/

SECTET – Interorganizational Workflow Security http://sectissimo.info/

COSEMA – Kollaboratives Security Management http://cosema.org/

Telling TestStories – Lebendige Requirements http://teststories.info/

Top