Formal modeling of function block applications running in IEC 61499 execution runtime

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2006, Pages 1269-1276

  Čengič, Goran ^a   Ljungkrantz, Oscar ^a   Åkesson, Knut ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED CONTROL SYSTEMS; EMERGING TECHNOLOGIES; EXECUTION MODELS; FORMAL MODELING; FORMAL VERIFICATIONS; FUNCTION BLOCK; IEC 61499; RUN-TIME; RUN-TIME ENVIRONMENT; RUNNING-IN; STATE MACHINES;

CONTROL SYSTEMS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; FACTORY AUTOMATION; HELIUM; INDUSTRIAL ENGINEERING; SEMICONDUCTOR QUANTUM DOTS; SYSTEMS ANALYSIS; TECHNOLOGY;

STANDARDS;

EID: 50149107443     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2006.355187     Document Type: Conference Paper

References (31)

1. IEC, "IEC 61131 programmable controllers - part 3: Programming languages," International Electrotechnical Commission, Tech. Rep., 1993.
2. R. W. Lewis, Programming Industrial Control Systems using IEC 1131-3. The Institution of Electrical Engineers, 1995.
3. OMG, "Common object request broker specification: Core specification," Object Management Group, Tech. Rep., 2004.
4. D. Box, Essential COM. Addison-Wesley Professional, 1997.
5. W3C, "SOAP version 1.2 part 1: Messaging framework," World Wide Web Consortium, Tech. Rep., 2004.
6. ISO, "Industrial automation systems - manufacturing message specification - part 1: Service definition," International Organization for Standardization, Tech. Rep., 2003.
7. F. Iwanitz and J. Lange, OPC - Fundamentals, Implementation and Application. Hthig Fachverlag, 2006.
8. IEC, "IEC 61499-1: Function blocks - part 1: Architecture," International Electrotechnical Commission, Tech. Rep., 2005.
9. R. W. Lewis, Modelling Control Systems Using IEC 61499. The Institution of Electrical Engineers, 2001.
10. H. Hanisch and V Vyatkin, "Acheiving reconfigurability of automation systems by using the new international standard IEC 61499: A developer's view." in The Industrial Information Technology Handbook. CRC Press, 2005, pp. 1-20.
11. J. H. Christensen, "Function block development kit." [Online]. Available: http://www.holobloc.com
12. K. C. Thramboulidis and C. S. Tranoris, "Developing a CASE tool for distributed control applications," Journal of Advanced Manufacturing Technology, vol. 24, no. 1-2, pp. 24-31, July 2004.
13. "TORERO Project." [Online]. Available: http://www.uni- magdeburg.de/iaf/cvs/torero
14. "IsAGraf - ICS Triplex." [Online]. Available: http://www.isagraf.com
15. K. Thramboulidis and A. Zoupas, "Real-time java in control and automation: A model driven development approach," in Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), 2005.
16. G. Doukas and K. Thramboulidis, "A real-time linux execution environment for function-block based distributed control applications," in Proceedings of 3rd IEEE International Conference on Industrial Informatics (INDIN'05), 2005.
17. K. Thramboulidis, "Development of distributed industrial control applications: The CORFU framework," in 4th IEEE International Workshop on Factory Communication Systems. Institute of Electrical and Electronics Engineers Inc., Piscataway, NJ, USA, 2002, pp. 39-46.
18. "Archimedes system platform." [Online]. Available: http://seg.ee.upatras.gr/MIM/archimedes.htm
19. V. Vyatkin, J. Christensen, and J. Lastra, "OOONEIDA: An open, object-oriented knowledge economy for intelligent distributed automation," IEEE Transactions on Industrial Informatics, vol. 1, no. 1, pp. 4-7, 2005.
20. G. Cengic, K. Åkesson, B. Lennartson, C. Yuan, and P. Ferreira, "Implementation of full synchronous composition using IEC 61499 function blocks," in Proceedings of the 2005 IEEE International Conference on Automation Science and Engineering. Edmonton, Canada: Institute of Electrical and Electronics Engineers Inc., Piscataway, NJ, USA, Aug. 2005, pp. 267-72.
21. V. Vyatkin and H.-M. Hanisch, "Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems," in Proceedings of 8th International Conference on Emerging Technologies and Factory Automation, ETFA 2001, vol. 2, 2001, pp. 113-18.
22. C. Schnakenbourg, J.-M. Faure, and J.-J. Lesage, "Towards IEC 61499 function blocks diagrams verification," in Proceedings of 2002 IEEE International Conference on Systems, Man and Cybernetics, vol. 3, 2002.
23. M. Bonfe and C. Fantuzzi, "Design and verification of mechatronic object-oriented models for industrial control systems," in 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings, vol. 2, Lisbon, Portugal, 2003, pp. 253-60.
24. L. Ferrarini and C. Veber, "Implementation aproaches for the execution of IEC 61499 applications," in Proceedings of 2004 2nd IEEE International Conference on Industrial Informatics. Institute of Electrical and Electronics Engineers Inc., Piscataway, NJ, USA, June 2004, pp. 612-17.
25. "Fuber - IEC 61499 Function Block Execution Runtime." [Online]. Available: http://sourceforge.net/projects/fuber
26. "Supremica." [Online]. Available: http://www.supremica.org
27. "BeanShell." [Online]. Available: http://www.beanshell.org
28. G. Booch, J. Rumbaugh, and I. Jacobson, Unified Modeling Language User Guide. Addison-Wesley, 1997.
29. K. Åkesson, M. Fabian, H. Flordal, and A. Vahidi, "Supremica - a tool for verification and synthesis of discrete event supervisors," in Proc. of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece, 2003.
30. K. Åkesson, "Methods and tools in supervisory control theory: Operator aspects, computation efficiency and applications," Ph.D. dissertation, Chalmers University of Technology, Göteborg, Sweden, 2002.
31. P. J. Ramadge and W M. Wonham, "The control of discrete event systems," Proc. of IEEE, vol. 77, no. 1, pp. 81-98, 1989.