Automatic model generation of IEC 61499 function block using net Condition/Event Systems

IEEE International Conference on Industrial Informatics (INDIN)

Volumn , Issue , 2008, Pages 1133-1138

  Pang, Cheng ^a   Vyatkin, Valeriy ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC MODEL GENERATIONS; DISTRIBUTED SYSTEMS; EXECUTION SEMANTICS; FORMAL MODELS; FUNCTION BLOCKS; IEC 61499 STANDARDS; INDUSTRIAL AUTOMATION SYSTEMS; MODEL GENERATORS; RECONFIGURABLE; SYSTEMS MODELS; VALIDATION AND VERIFICATIONS;

INFORMATION THEORY;

PROBABILITY DENSITY FUNCTION;

EID: 54849418701     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2008.4618273     Document Type: Conference Paper

References (20)

1. International Electrotechnical Commission, Programmable Controller - Part 3: Programming Languages, IEC 61131-3 Standard. Geneva: International Electrotechnical Commission, 1993.
2. International Electrotechnical Commission, Function blocks for industrial-process measurement and control systems - Part 1: Architecture. Geneva: International Electrotechnical Commission, 2005.
3. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. Cambridge: The MIT Press, 1999.
4. V. Vyatkin and H. M. Hanisch, "A modeling approach for verification of IEC 1499 function blocks using net condition/event systems," in 7th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA '99), Barcelona, Spain, 1999, pp. 261-270 vol. 1.
5. C. Pang and V. Vyatkin, "Towards Formal Verification of IEC 61499: Modelling of Data and Algorithms in NCES," in 5th IEEE Conference on Industrial Informatics (INDIN 2007), Vienna, Austria, 2007.
6. V. Dubinin, V. Vyatkin, and H.-M. Hanisch, "Modelling and Verification of IEC 61499 Applications using Prolog," in 11th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague, Czechoslovakia 2006, pp. 774-781.
7. M. Stanica and H. Guéguen, "Using Timed Automata for the Verification of IEC 61499 Applications," in Workshop on Discrete Event Systems 2004 (WODES'04), Reims, France, 2004, pp. 22-24.
8. V. Vyatkin and V. Dubinin, "Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499," in 5th IEEE Conference on Industrial Informatics (INDIN 2007), Vienna, Austria, 2007, pp. 1183-1188.
9. V. Vyatkin, "Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems," in 4th IEEE International Conference on Industrial Informatics (INDIN 2006), Singapore, 2006, pp. 874-879.
10. J. L. M. Lastra, L. Godinho, A. Lobov, and R. Tuokko, "An IEC 61499 Application Generator for Scan-Based Industrial Controllers," in 3rd IEEE International Conference on Industrial Informatics (INDIN 2005), Perth, Australia, 2005, pp. 80-85.
11. L. Ferrarini and C. Veber, "Implementation approaches for the execution modle of IEC 61499 applications," in 2nd IEEE International Conference on Industrial Informatics (INDIN 2004), Berlin, Germany, 2004, pp. 612-617.
12. V. Vyatkin, H.-M. Hanisch, and T. Pfeiffer, "Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems," in 1st IEEE Conference on Industrial Informatics (INDIN 2003), Banff, Canada, 2003, pp. 224 - 232.
13. G. Čengić, O. Ljungkrantz, and K. Ǻkesson, "Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime," in 11th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague, Czechoslovakia 2006, pp. 1269-1276.
14. K. Ǻkesson, "Methods and tools in supervisory control theory: Operator aspects, computation efficiency and applications," in Signals and Systems, vol. Ph.D. Göteborg, Sweden: Chalmers University of Technology, 2002.
15. K. G. Larsen, P. Pettersson, and W. Yi, "UPPAAL in a Nutshell," Journal of Software Tools for Technology Transfer, vol. 1, pp. 134-152, September 1997.
16. S. Panjaitan and G. Frey, "Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems," in 11th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2006), 2006, pp. 766-773.
17. W. F. Clocksin and C. S. Mellish, Programming in Prolog, 5th ed. New York: Springer-Verlag, 2003.
18. V. Vyatkin and H.-M. Hanisch, "Modelling and Verification of Execution Control of the Function Blocks following the standard IEC 61499 by means of Net Condition/Event Systems (NCES)," Uni-Magdeburg, IF AT, Technical report March 2000.
19. Holobloc Inc., "Function Block Development Kit (FBDK)." (2008, Feburary) [Online]. Available: http://www.holobloc.org.
20. "Model-Checkers for Net Condition/Event System," (2008, Feburary). [Online]. Available: http://www.ece.auckland.ac.nz/̃vyatkin/ tools/modelchekers.html.