• Navigation überspringen
  • Zur Navigation
  • Zum Seitenende
Organisationsmenü öffnen Organisationsmenü schließen
Lehrstuhl für Informatik 12
  • FAUZur zentralen FAU Website
  1. Friedrich-Alexander-Universität
  2. Technische Fakultät
  • English
  • Deutsch
  • Department Informatik
  • UnivIS
  • Lageplan
  1. Friedrich-Alexander-Universität
  2. Technische Fakultät

Lehrstuhl für Informatik 12

Menu Menu schließen
  • Lehrstuhl
    • Aktuelles
    • Personal
    • Stellenangebote
    • Kontakt und Anfahrt
    Portal Lehrstuhl
  • Forschung
    • Arbeitsgruppen
    • Projekte
    • Veröffentlichungen
    • Kooperationen
    Portal Forschung
  • Lehre
    • Lehrveranstaltungen
    • Organisatorisches
    • Allgemeines
    Portal Lehre
  1. Startseite
  2. Forschung
  3. Arbeitsgruppen
  4. System-level Design Automation

System-level Design Automation

Bereichsnavigation: Forschung
  • Arbeitsgruppen
    • Approximate Computing
    • Architecture and Compiler Design
    • Effiziente Algorithmen und Kombinatorische Optimierung
    • Reconfigurable Computing
    • System-level Design Automation
  • Projekte
    • 2D/3D-Videoüberwachung
    • AEOS
    • AlKoP
    • AMMOD
    • Approximate Computing on FPGAs
    • Automobilsensorik@ESI
    • BUILDABONG
    • CogniPower
    • CoMap
    • CRAU
    • DIANA
    • DRAQA
    • EVOLIVO
    • ExaStencils
    • Fit4ML
    • GEFA
    • HBS: Graduiertenkolleg „Heterogene Bildsysteme“, Projekt B3
    • HighPerMeshes
    • HIPAcc
    • HLESI
    • INI.FAU: Entwurf und Evaluierung hochverfügbarer Ethernet-basierter E/E-Architekturen für latenz- und sicherheitskritische Anwendungen
    • INI.FAU: Integrale Sicherheitsarchitektur – Modellierung, Analyse, Optimierung und Variantenmanagement
    • INI.FAU: Parallelisierung und Ressourcenabschätzung von Algorithmen für heterogene FAS-Architekturen
    • InvasIC: Sonderforschungsbereich/Transregio 89 — Invasives Rechnen
      • Charakterisierung und Analyse Invasiver Algorithmen zur Entwurfszeit (A04)
      • Grundlagen Invasiven Rechnens (A01)
      • Invasive eng gekoppelte Prozessorfelder (B02)
      • Invasive NoCs – autonome, selbst-optimierende Kommunikationsinfrastrukturen für eingebettete Mehrprozessor-Systeme (B05)
      • Simulation invasiver Anwendungen und invasiver Architekturen (C02)
      • Simulative Entwurfsraumexploration (C02)
      • TCPA_INT – Integration und Verbindung von eng gekoppelten Prozessorfeldern (T01)
      • Übersetzung und Code-Erzeugung für Invasive Programme (C03)
      • Validierung und Demonstrator (Z02)
      • Zentrale Dienste des SFB/Transregio und Öffentlichkeitsarbeit (Z01)
    • JReliability
    • KISS
    • KoDaK
    • LEJOS für den Unterricht
      • Erste Schritte
      • Programmierung
      • Tutorials
    • MAP
    • ml-lib
    • MMSys
    • Opt4J
    • Organic Bus
    • PARO
      • PARO – Details
    • Partikelschwarm-Optimierung
    • PowerEval
    • rc-openlib
    • ReCoNets
    • ReCoNodes
    • ReKoSys
    • ReProVide
    • SatFPGA
    • SecRec
    • Security Concepts for PSoCs
    • SEIS
    • SFB694 Teilprojekt B5
    • SpecVer
    • SystemC-basierte Performance-Abschätzung des Channel-Subsystems der System z Architektur
    • SystemCoDesigner
    • SysteMoC
    • Timetabling
  • Veröffentlichungen
    • Digitale Hardware/Software-Systeme
    • Digitale Hardware/Software-Systeme – Spezifikation und Verifikation
  • Kooperationen

System-level Design Automation

Kontakt

Dr.-Ing. Joachim Falk

  • Telefon: +49 9131 85-25143
  • E-Mail: joachim.falk@fau.de

Prof. Dr.-Ing. Jürgen Teich

  • Telefon: +49 9131 85-25150
  • E-Mail: juergen.teich@fau.de

In der Arbeitsgruppe System-Level Design Automation (SDA) wird der automatische Entwurf eingebetteter Hardware-Software-Systeme auf Systemebene erforscht. Hierzu gehören u. a. die Bereiche Modellierung, Systemsynthese und Optimierung eingebetteter Systeme.

Hierbei werden Anwendungen und verfügbare Architekturen durch Systembeschreibungssprachen modelliert, auf deren Basis simulative wie formale Analyseverfahren automatisch angewendet und Hardware- sowie Softwarekomponenten generiert werden können. Ein spezieller Fokus ist hierbei die Betrachtung mehrerer konkurrierender Qualitätsmerkmale wie Rechtzeitigkeit, Zuverlässigkeit, Kosten oder Energieverbrauch. Aus diesem Grund erforscht die Gruppe SDA neuartige Verfahren im Bereich der Mehrzieloptimierung. Die entwickelten Methoden finden eine breite Anwendung, von mobilen Endgeräten, über Vielkernrechensysteme, bis zu verteilten Systemen wie beispielsweise dem Bordnetz im Automobil.

Aktuell laufende Projekte

  • SystemCoDesigner
  • InvasIC: Sonderforschungsbereich/Transregio 89 — Invasives Rechnen
    • Grundlagen Invasiven Rechnens (A01)
    • Charakterisierung und Analyse Invasiver Algorithmen zur Entwurfszeit (A04)
    • Invasive eng gekoppelte Prozessorfelder (B02)
    • Übersetzung und Code-Erzeugung für Invasive Programme (C03)
    • TCPA_INT – Integration und Verbindung von eng gekoppelten Prozessorfeldern (T01)
    • Zentrale Dienste des SFB/Transregio und Öffentlichkeitsarbeit (Z01)
    • Validierung und Demonstrator (Z02)

Open Source Projekte

  • JReliability
  • Opt4J
  • SysteMoC

Abgeschlossene Projekte

  • AEOS
  • Automobilsensorik@ESI
  • CogniPower
  • CRAU
  • DIANA
  • GEFA
  • HLESI
  • INI.FAU: Entwurf und Evaluierung hochverfügbarer Ethernet-basierter E/E-Architekturen für latenz- und sicherheitskritische Anwendungen
  • INI.FAU: Integrale Sicherheitsarchitektur – Modellierung, Analyse, Optimierung und Variantenmanagement
  • KoDaK
  • PowerEval
  • SEIS
  • SFB694 Teilprojekt B5
  • SpecVer
  • SystemC-basierte Performance-Abschätzung des Channel-Subsystems der System z Architektur
Lehrstuhl für Informatik 12
Hardware-Software-Co-Design

Cauerstraße 11
91058 Erlangen
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Interna
Nach oben