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

• Applicant: Professor Dr.-Ing. Jürgen Teich
• Subject Area: Computer Architecture, Embedded and Massively Parallel Systems
• Term: from 1999 to 2004
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Priority Programmes
• Subproject of: SPP 1040: Entwurf und Entwurfsmethodik eingebetteter Systeme