| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 719359 | IFAC Proceedings Volumes | 2009 | 6 Pages |
Abstract
The contribution summarizes the development of formal modeling and verification of Function Blocks following the IEC 61499. We provide a critical review on what has been done so far and open the view for further challenges in the development of formal techniques for IEC 61499.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
Authors
Hans-Michael Hanisch, Martin Hirsch, Dirk Missal, Sebastian Preuße, Christian Gerber,