Jahresbericht Forschung

182 Fakultät für Informatik
§ Wiederverwendungsorientierter Entwurf eingebetteter Syteme (WIE_EIS)
Ausgehend von den im Projekt WiSyRa für den Entwurf von Hardware-Systemen erarbeiteten
Methoden werden Untersuchungen durchgeführt, die die Einbeziehung von Softwareund
Kommunikations-Komponenten (Busse, Shared Memory, Bus Bridges) zum Ziel haben,
um den Entwurf eingebetteter Systeme zu unterstützen. Eingebettete Systeme enthalten
darüber hinaus Verarbeitungseinheiten (Prozessoren, ASICs, FPGAs), Speichereinheiten
und eine Schnittstelle zur Umgebung. Ziele des Entwurfsprozesses sind sowohl
ein ausführbarer Prototyp als auch eine gemischte Hardware-Software-Architektur, die eine
vorgegebene Spezifikation hinsichtlich funktionaler und nichtfunktionaler Anforderungen (Reaktionszeit,
Kosten, Energieverbrauch u.a.) erfüllt. Realisiertes Fallbeispiel: Robotersteuerungen.
§ VHDL-Entwurfsumgebung
Drittmittel-Projekt, Siemens AG, Laufzeit: 2 Jahre
Für die analoge und mixed-Signal Hardware-Beschreibungssprache VHDL-AMS wurde ein
Compiler entwickelt und mit dem Analog-Simulator TITAN der Firma Siemens AG verbunden.
Damit wird eine wesentliche Effizienzsteigerung bei der Modellierung und Simulation
analoger sowie gemischt analog-digitaler Systeme erreicht.
§ Formale Methoden für die Spezifikation und Nachweisverfahren
Es wurde ein graphisch-textueller Spezifikationseditor entworfen, der zum einen den bekannten
Funktions- und Leistungsmerkmalen von Publishing-Werkzeugen genügt und zum
anderen die automatische Erstellung eines Spezifikationsmodells vornimmt. Damit ist nicht
nur die Erfassung von Spezifikationen möglich, sondern diese können auch automatisch
analysiert und verarbeitet werden. Aus dieser formalisierten Spezifikation werden Nachweisverfahren
zur Validierung und Verifikation der Anforderungen abgeleitet.
PROFESSUR: Rechnerarchitektur
Univ.-Prof. Dr. Wolfgang Rehm
Telefon: (03 71) 5 31-14 20
Fax: (03 71) 5 31-18 06
E-mail: rehm@informatik.tu-chemnitz.de
Forschungsschwerpunkte:
§ Cluster-Rechner basierend auf PC-Komponenten
§ Effiziente Kommunikationstechnologie für frei konfigurierbare Cluster-Rechner
§ Unterstützung für die Entwicklung von wissenschaftlich-technischen Simulationen in KMU
Forschungsprojekte / Forschungsvorhaben:
§ “Anwendungsorientierte Kommunikation auf Cluster-Architekturen” im SFB 393; “Numerische
Simulation auf massiv-parallelen Rechnern”, DFG, Laufzeit 3 Jahre,
§ “Ein frei konfigurierbarer Desktop-Compute-Serve”, SMWK/ SMWA, Laufzeit 2½ Jahre