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

点击翻译按钮获取中文摘要

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.