Startseite

Wir liefern ingenieurwissenschaftliche Antworten für Software-Ingenieure, die parallele Software im industriellen Rahmen für Multicore-Rechner, für daraus bestehende verteilte Systeme, sowie für vernetzte eingebettete Systeme entwickeln. Wir arbeiten Programm-Code-basiert, erstellen lauffähige Prototypen und evaluieren diese quantitativ und qualitativ.
Eckpunkte unserer Forschungsthemen:

  • Wir arbeiten an Programmiermodellen für heterogene Parallelität und erzeugen dafür portablen und effizienten Code für Multicores, GPUs, Acceleratoren, Mobile Geräte, FPGAs u.ä.
  • Wir unterstützen die Parallelisierung von Software für Multicore-Rechner. Unsere Werkzeuge analysieren Code-Repositories und helfen den System-Entwickelnden bei der Migration und Refaktorisierung.
  • Wir analysieren Programme. Unsere Code-Analysewerkzeuge sind schnell, interaktiv, inkrementell und arbeiten teilweise selbst parallel. Sie finden Wettlaufsituationen, konkurrierende Ressourcenzugriffe etc. im Code und zeigen den Software-Entwickelnden Verbesserungsvorschläge punktgenau und in der Entwicklungsumgebung an.
  • Wir testen parallelen Code und diagnostizieren Problemursachen. Unsere Werkzeuge erzeugen Testdaten, finden Ursachen von erratischem Laufzeitverhalten und schützen gegen Authentizitätsangriffe.

> Jahresbericht

Mitarbeitende

Julian Brandner Veronika Dashuber Tobias FeiglTobias Heineken Bernd Hindel Detlef Kips Patrick Kreutzer Florian Mayer Daniela Novac Norbert Oster Michael Philippsen Hans Jürgen Schneider Alma Sinanović Margit Zenk

> Übersicht

Projekte

AnaCoRe - Analyse von Code-Repositories AutoCompTest - Automatisiertes Testen von Übersetzern ICPC - International Collegiate Programming Contest an der FAU ORKA-HPC - OpenMP für rekonfigurierbare heterogene Architekturen SoftWater - Software-Wasserzeichen V&ViP - Verifikation und Validierung in der industriellen Praxis

> Übersicht  > Publikationen

Lehrveranstaltungen im SS2024

Optimierungen in Übersetzern (UE2) Analyse und Design objektorientierter Softwaresysteme mit der Unified Modeling Language (UML) (OOAD) Testen von Softwaresystemen (TSWS) "Hallo Welt!" für Fortgeschrittene

Lehrveranstaltungen im WS2023/24

Algorithmen und Datenstrukturen (AuD) Parallele und Funktionale Programmierung (PFP) Grundlagen des Übersetzerbaus (UE1) Ausgewählte Kapitel aus dem Übersetzerbau (UE3) Machine Learning: Introduction (ML-I) Machine Learning: Advances (ML-II)

> Raster