Einleitung

Technologische Fortschritte erlauben die Realisierung von Chips mit vielen Millionen Transistoren. Neben klassischen Rechenanlagen und PCs gewinnen Systeme, die durch die Integration von Prozessoren, Spezialhardware und Software entstehen, zunehmend an Bedeutung. Vielfach handelt es sich um "Systems on Chip", die neben digitalen und analogen Komponenten auch Sensoren, Aktoren und andere mikroelektromechanische Bauteile enthalten.

So genannte Eingebettete Systeme, "Computer, die man nicht sieht", gelten als die Schlüsselanwendung der Informationstechnologie in den kommenden Jahren. Bereits heute kommt, so Schätzungen, ein Europäer täglich mit durchschnittlich 60 bis 100 eingebetteten Systemen in Berührung. Das sind, wie der Name bereits andeutet, Systeme, bei denen Informationsverarbeitung in einer Umgebung eingebettet ist und dort komplexe Regelungs-, Steuerungs- oder Datenverarbeitungsaufgaben übernimmt. Beispiele finden sich im Verkehrswesen (Autos, Eisenbahnen und Flugzeugen), in der Medizintechnik, Mobilkommunikation, Unterhaltungselektronik und in der Fertigungstechnik. Das Wachstumspotential und die Anwendungsvielfalt, verbunden mit unzähligen, konzeptuellen und technischen Fragestellungen sind Herausforderung und zugleich Chance für Industrie und Forschung.

Die Arbeitsgruppe Rechnerarchitektur der Albert-Ludwigs-Universität Freiburg beschäftigt sich mit verschiedenen Bereichen und Projekten, jedoch schwerpunktmäßig mit der Entwicklung, Anwendung und Analyse von "Methoden zum computerunterstützten Entwurf von Schaltungen und Systemen". Dabei spielt die Qualitätssicherung durch Test und Verifikation insbesondere bei sicherheitskritischen Systemen eine herausragende Rolle. Die Arbeiten gliedern sich in die folgenden drei Bereiche: