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

• Antragsteller: Professor Dr.-Ing. Hans-Michael Hanisch
• Fachliche Zuordnung: Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
• Förderung: Förderung von 1998 bis 2002
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sachbeihilfen