Sonderforschungsbereiche

Sonderforschungsbereiche (SFB) sind auf die Dauer von bis zu zwölf Jahren angelegte Forschungseinrichtungen der Hochschulen, in denen Wissenschaftler und Wissenschaftlerinnen über die Grenzen ihrer jeweiligen Fächer, Institute, Fachbereiche und Fakultäten hinweg im Rahmen eines übergreifenden und wissenschaftlich exzellenten Forschungsprogramms zusammenarbeiten.

Sie werden von der Deutschen Forschungsgemeinschaft (DFG) gefördert.

Die Technische Fakultät ist an folgenden Sonderforschungsbereichen beteiligt:
 

• Automatic Verification and Analysis of Complex Systems (AVACS) / SFB-TR 14
  Kontakt: Prof. Dr. Bernd Becker
  

• Raumkognition: Schliessen - Handeln - Interagieren / SFB TR 8
  Spatial Cognition: Reasoning, Action, Interaction / SFB-TR 8
  Kontakt: Prof. Dr. Bernhard Nebel
  
• Strukturierte Makromolekulare Netzwerksysteme / SFB 428
• Entwicklung, Produktion und Qualitätssicherung urgeformter Mikrobauteile aus metallischen und keramischen Werkstoffen / SFB 499

Automatic Verification and Analysis of Complex Systems / SFB TR 14

AVACS ist Name und Vision zugleich: Name für den seit dem 1. Januar 2004 von der DFG (Deutsche Forschungsgemeinschaft) finanzierten Sonderforschungsbereich/Transregio 14, der gemeinsam von den Universitäten Freiburg, Oldenburg und Saarbrücken und dem Max-Planck-Institut für Informatik in Saarbrücken getragen wird und an dem auf Freiburger Seite die Arbeitsgruppen für Betriebssysteme, Künstliche Intelligenz, Rechnerarchitektur und Softwaretechnik beteiligt sind. AVACS ist die Vision von der ganzheitlichen, umfassenden formalen Verifikation sicherheitskritischer Systeme, die physikalische und technische Prozesse kontrollieren und steuern, wie etwa im Transportwesen bei Auto, Eisenbahn und Flugzeug.

Fehler in solchen sicherheitskritischen Systemen können Leben gefährden. Daher ist ihre Kontrolle, besser noch ihre Vermeidung besonders wichtig. Bisher können nur begrenzte Aspekte solcher Systeme automatisch überprüft und analysiert werden.

AVACS setzt, ausgehend von den komplementären Forschungskompetenzen der drei Standorte, auf eine Kombination verschiedener „Basisverifikationsalgorithmen“, um Modelle sicherheitskritischer Systeme in ihrer vollen Komplexität zugänglich für eine Analyse zu machen und dabei zusätzlich einen hohen Grad an Automatisierung zu erreichen. Verbindendes Element ist darüber hinaus die Ausnutzung von domänenspezifischem Wissen. Dies führt z.B. zur Entwicklung maßgeschneiderter Analysetechniken, die effiziente Entscheidungsverfahren mit heuristischen Ansätzen zur Steuerung bei der Auswahl der Entscheidungsverfahren kombinieren.

Die Freiburger Arbeitsgruppen sind an den Forschungen in allen drei Projektbereichen Realzeit-Systeme, Hybride Systeme, Grobgranulare Systemstrukturen beteiligt.

Kontakt: Prof. Dr. Bernd Becker
Mehr Informationen: Webseite SFB TR 14

 

Raumkognition: Schliessen – Handeln – Interagieren / SFB TR 8
Spatial Cognition: Reasoning, Action, Interaction / SFB-TR 8 

Wie finden wir den Weg zu Freunden oder zu einem uns noch unbekannten Ort? Wie begreifen wir bekannte und unbekannte Umgebungen und warum können wir das Layout von Gebäuden und Städten erlernen? Wie nehmen wir Objekte und ihre Position im Raum wahr? Warum können wir diese Objekte ergreifen und ihre Lage manipulieren? Und warum können wir uns räumliche Konfigurationen vorstellen, ohne sie je zuvor gesehen zu haben, und dies sogar nutzen, um komplexeste technische Probleme zu lösen, Gebäude zu planen und Kunstwerke zu schaffen?

Es gibt bereits viele wissenschaftliche Erkenntnisse, die helfen diese Fragen zu beantworten. So ist beispielsweise vieles darüber bekannt, wie Menschen (und Tiere) über räumliche Gegebenheiten schließen, wie sie durch bekannte und neue Umgebungen navigieren, wie sie innerhalb räumlicher Umgebungen agieren, wie sie mit Raum interagieren und wie sie über Raum kommunizieren. Eine der großen wissenschaftlichen Herausforderungen ist es, dieses Wissen zu nutzen, um technische Systeme zu entwickeln, die Menschen in ihren räumlichen Fähigkeiten unterstützen.

Am SFB/TR8 (TR steht für transregional) „Raumkognition“ sind die Universitäten Bremen und Freiburg beteiligt. Dieser SFB, der seit 2003 läuft, umfasst Forschungsprojekte in den Fachgebieten Künstliche Intelligenz, Kognitive Psychologie, Kognitive Robotik, Computerlinguistik und Formale Systeme und setzt damit ein hohes Maß an interdisziplinärer Zusammenarbeit über die Städtegrenzen von Bremen und Freiburg hinweg voraus. Im Juni 2010 wurde der SFB positiv begutachtet und im November 2010 erfolgte die Verlängerung um weitere vier Jahre..

Kontakt: Prof. Dr. Bernhard Nebel
Mehr Informationen: Webseite SFB TR 8