Modellierung und Verifikation der Abarbeitungssteuerung von Funktionsblöcken nach IEC 1499 mit Signal-Ereignis-Netzen

根据 IEC 1499 使用信号事件网络对功能块的处理控制进行建模和验证

• 批准号: 5093124
• 负责人: Professor Dr.-Ing. Hans-Michael Hanisch
• 金额: --
• 依托单位: Lehrstuhl für Automatisierungstechnik (aufgelöst)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 1998
• 资助国家: 德国
• 起止时间: 1997-12-31 至 2001-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5093124?language=en
• 关键词: Modellierung; und; Verifikation; der; Abarbeitungssteuerung

Die von den Antragstellern bereits entwickelte Modellierungs- und Verifikationsmethodik für Funktionsblöcke hat bereits ihre sehr gute Anwendbarkeit und ihre reichen Potentiale in Bezug auf die Verifikation von Funktionsblockentwürfen unter Beweis gestellt. Das Ziel der nunmehr noch zu leistenden Arbeiten besteht in der methodischen Abrundung und Vervollkommnung der Methoden sowie der Integration dieser Sachverhalte in einem Werkzeug, das von einem Ingenieur ohne tieferes Detailwissen über Formalismen und Methodiken der Modellform zur Verifikation seiner Entwürfe eingesetzt werden kann.

Die von den Antragstellern bereits entwickelte Modellierungs-und Verifikationsmethodik für Funktionsblöcke hat bereits ihre sehr gute Anwendbarkeit and ihre reichen Potentiale in Bezug auf die Verifikation von Funktionsblockentwürfen unter Beweis gestellt.在一个工程中，最好的方法是对集成的方法进行简化和验证，工程师必须详细了解用于验证的模型的形式和方法，以便韦尔登。