Modelle und Methoden zur Synthese und Optimierung von gemischt reaktiv/transformativen eingebetteten Systemen basierend auf dem SPI-Ansatz

• Antragsteller: Professor Dr.-Ing. Jürgen Teich
• Fachliche Zuordnung: Rechnerarchitektur, eingebettete und massiv parallele Systeme
• Förderung: Förderung von 1999 bis 2004
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5183810

Das Projekt befaßt sich mit der Erstellung einer Workbench zum Entwurf heterogener eingebetteter Systeme unter spezieller Berücksichtigung von Systemen mit gemischt reaktiv/transformativem Verhalten. Basierten auf Vorarbeiten mit Kooperationspartnern an der ETH Zürich und der TU Braunschweig, die die Ausarbeitung eines Prozessmodells zur Darstellung und Analyse unvollständig spezifizierten Prozessverhaltens solcher Systeme betreffen, soll durch Weiterführung des Kooperationsprojekts eine Workbench entstehen, mit der gemischt reaktiv/transformative Systeme spezifiziert, analysiert und synthetisiert werden können. Die Aufgaben des Antragstellers beschäftigen sich dabei zum einen mit notwendigen und sinnvollen Erweiterungen des vorgeschlagenen Prozeßmodells. Weiterhin sollen Verfahren zur Analyse des Zustandsraumes von gemischt reaktiv/transformativen Systemen untersucht werden.

• DFG-Verfahren: Schwerpunktprogramme
• Teilprojekt zu: SPP 1040: Entwurf und Entwurfsmethodik eingebetteter Systeme