课题基金 / 基金详情

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

Modellierung und Verifikation der Abarbeitungssteuerung von Funktionsblöcken nach IEC 1499 mit Signal-Ereignis-Netzen
根据 IEC 1499 使用信号事件网络对功能块的处理控制进行建模和验证
批准号：
5093124
负责人：
Professor Dr.-Ing. Hans-Michael Hanisch
金额：
$0.0万
依托单位：
Lehrstuhl für Automatisierungstechnik (aufgelöst)
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
1998
资助国家：
德国
项目状态：
已结题
起止时间：
1997-12-31 至 2001-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5093124?language=en
关键词：
ModellierungundVerifikationderAbarbeitungssteuerung

项目摘要

项目成果

Professor Dr.-Ing. Hans-Michael Hanisch的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formale Synthese verteilter Prozesssteuerungen
Formale Synthese verteilter Steuerungen
Workbench zur inkrementellen und modularen Entwicklung offener Modelle
Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen
海外基金