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

• Applicant: Professor Dr.-Ing. Hans-Michael Hanisch
• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
• Term: from 1998 to 2002
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5093124

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.

• DFG Programme: Research Grants