One Decade of IEC 61499 Modeling and Verification - Results and Open Issues

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.