Implementation of IEC 61499 and Model Checking for Drill Simulator


  • Nur Izza Ainaa M. Ridza
  • Saifulza Alwi





IEC 61499, IEC61131, Function Block Development Kit, Industrial Automation.


Reusability of control codes is one of the basic angles in mechanical robotization, especially for the advancement of high dependable control frameworks. In this paper, we examine a general structure and usage of IEC 61499 standard that can be utilized to speak to conveyed control frameworks and rebuilding the control programs. This paper likewise expects to change the current IEC 61131 based model of computerization framework into the models that pursues IEC 61499 standard. We utilize a bore test system as precedent by mimicking the model utilizing Function Block Development Kit (FBDK) in light of IEC 61499. Accordingly, a piece of the control codes can be used for reusable reason to accomplish framework control objective.




[1] International Electro-technical Commission (IEC), "Programmable controllers - Part 3: Programming languages," IEC, 2003.

[2] V. Vyatkin, "IEC 61499 function blocks for embedded and distributed control systems design," Instrumentation, Systems, and Automation Society, 2007.

[3] A. Pnueli, “The temporal logic of programs,†Proceedings of the IEEE 18th Annual Symposium on Foundations of Computer Science, 1977, pp. 46-57.

[4] O. Ljungkrantz, K. Akesson, M. Fabian, and C. Yuan, “A formal specification language for PLC-based control logic,†Proceedings of the 8th IEEE International Conference on Industrial Informatics, 2010, pp. 1067-1072.

[5] International Electro-technical Commission (IEC), “International Standard IEC61499-1: Function Blocks-Part 1: Architecture,†IEC, 2005.

[6] G. Frey and L. Litz, “A Petri Net based approach to the development of correct logic controllers,†Proceedings of the 2nd International Workshop on Integration of Specification Techniques for Applications in Engineering, 2002, pp. 116–129.

[7] W. W. Dai and V. Vyatkin, “A case study on migration from IEC 61131 PLC to IEC 61499 function block control,†Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009, pp. 79-84.

[8] J. Chouinard and R. Brennan, “Software for next generation automation and control,†Proceedings of the IEEE International Conference on Industrial Informatics, 2006, pp. 886–891.

[9] V. Vyatkin, H. M. Hanisch, S. Karras, T. Pfeiffer, and V. Dubinin, “Rapid engineering and re-configuration of automation objects aided by formal modelling and verification,†International Journal of Manufacturing Research, 1(4), 382-404, 2006.

[10] S. Alwi and Y. Fujimoto, “Formal verification of logic control systems with nondeterministic behaviors,†IEEJ Journal of Industry Applications, 2(16), 306-314, 2013.

[11] S. Alwi and Y. Fujimoto, “Safety property comparison between Gr¨obner Bases and BDD-based model checking method,†Proceedings of the 13th International Conference on Control, Automation, Robotics and Vision, 2014, pp. 511-516.

[12] S. Alwi and Y. Fujimoto, “On a safety of sequential control system based on Gr¨obner Bases computation,†Proceedings of the International Conference on Control Automation and Systems, 2010, pp. 3-28.

[13] S. Alwi and Y. Fujimoto, “A Gr¨obner Bases approach for safety evaluation of logic control system,†Proceedings of the IEEE International Conference on Industrial Informatics, 2010, pp. 1073-1078.

[14] B. Schlich, J. Brauer, and S. Kowalewski, “Application of static analyses for state-space reduction to the microcontroller binary code,†Science of Computer Programming, 76(2), 100-118, 2011.

View Full Article: