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

基于 SPI 方法的混合反应/变革嵌入式系统的综合和优化模型和方法

• 批准号: 5183810
• 负责人: Professor Dr.-Ing. Jürgen Teich
• 金额: --
• 依托单位: Lehrstuhl für Informatik 12: Hardware-Software-Codesign
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1999
• 资助国家: 德国
• 起止时间: 1998-12-31 至 2003-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5183810?language=en
• 关键词: Modelle; und; Methoden; zur; Synthese

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.

Das Projekt befaa ß ßt ß ßt mit der Erstellung einer Workbench zum Entwurf heterogener ebetter Systeme der spezieller bercksichtigung von Systemen mit gemischt reaktiv/ transformativeverhalten。Basierten auf Vorarbeiten mit kooperationpartnern and der ETH zrich und der TU brunschweig, die die Ausarbeitung eines prozessmodelells zur Darstellung und analyze unvollständig spezizizerten Prozessverhaltens solcher Systeme betreffen, sollch weiterfhrung des Kooperationsprojekts eine Workbench entstehen, mit der gemischt reaktiv/transformative Systeme speziziziert, analysiert and synthestisiert werden können。德国汽车工业协会（Aufgaben des Antragstellers） beschäftigen sich dabei zum einen mit not endigen and sinnvollen erweterungen des orgeschlagenen proze ß modeles。[3][魏世仁。德国科学与技术研究。]