HOME | KONTAKT | Switch EN

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Bereiche


Blue Chip

Die Arbeitsgruppe Rechnerarchitektur beschäftigt sich in der Forschung mit dem Entwurf von Schaltungen und Systemen. Dabei liegen die Schwerpunkte auf der Entwurfsmethodik, die mit formalen Methoden unterstützt und verbessert wird.

Während Schaltungen und Systeme noch vor einigen Jahren vornehmlich in Rechenanlagen Verwendung fanden, werden sie zunehmend ein Teil unserer täglichen Umgebung und finden in vielen sicherheitskritischen Bereichen Anwendung. Exemplarisch seien hier medizinische Apparaturen und die Automobilindustrie genannt.
Schon heute entstehen z.B. in dem zuletzt genannten Bereich bis zu 40% der Kosten durch die Elektronik. Hinzu kommt, dass immer mehr "kritische" Funktionen, wie Bremsen und Lenken, elektronisch unterstützt bzw. gesteuert werden. Daher werden immer höhere Anforderungen an die Verfahren gestellt, die die Korrektheit dieser Schaltungen und Systeme gewährleisten sollen.

Schaltungs- und Systembeschreibungen

  • Spezifikationen
  • Hardwarebeschreibungssprachen
  • Systembeschreibungssprachen (wie z.B. SystemC, UML)
  • Robustheit

Algorithmen und Datenstrukturen

  • Erfüllbarkeitsalgorithmen (SAT)
  • Entscheidungsdiagramme
  • Bearbeitung großer Datenmengen

Verifikation

  • Eigenschaftsprüfung
  • Äquivalenzvergleich
  • Debugging

Testen

  • Automatische Testmustergenerierung
  • Entwurf gut testbarer Schaltungen

Neue Technologien

  • Microfluidic Biochips
  • Reversible Logik
  • Quantum Computation

Als Kerngebiete der Arbeitsgruppe sind hierbei formale Verifikation und Testen zu nennen. Während bei der Verifikation die Überprüfung der funktionalen Korrektheit bereits im Entwurfsprozess stattfindet, dienen Testverfahren zur Überprüfung des gefertigten Systems.

Grundlage formaler Methoden sind effiziente Algorithmen und Datenstrukturen. Besondere Bedeutung haben hierbei Erfüllbarkeitsalgorithmen und Entscheidungsdiagramme gewonnen, da diese die Handhabung großer Schaltungen ermöglichen und inzwischen auch kommerziell mit großem Erfolg eingesetzt werden.


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz