Towards formal verification of IEC61499: Modelling of data and algorithms in NCES

IEEE International Conference on Industrial Informatics (INDIN)

Volumn 2, Issue , 2007, Pages 879-884

  Cheng, Pang ^b   Vyatkin, Valeriy ^a,b  

^a IEEE

^b UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; DATA ACQUISITION; DIGITAL ARITHMETIC; INTEGER PROGRAMMING;

NET CONDITION EVENT SYSTEMS (NCES); UNSIGNED INTEGERS;

MODEL CHECKING;

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

References (22)

1. Function Blocks for Industrial Process Measurement and Control Systems - Part 1: Architecture, IEC 61499 Standard. International Electrotechnical Commission, Tech. Comm. 65, Working group 6, Geneva, 2005.
2. Holobloc Inc. (2007, January), Function Block Development Kit FBDK [Online]. Available: http://www.holobloc.org
3. A. Zoitl, G. Grabmair, F. Auinger, and C. Sünder, "Executing Real-time Constrained Control Applications Modelled in IEC 61499 with Respect to Dynamic Reconfiguration", in III IEEE Conference on Industrial Informatics, Perth, Australia, August 2005.
4. G. Doukas and K. Thramboulidis, "A Real-time Linux Execution Environment for Function-Block based Distributed Control Applications", in III IEEE Conference on Industrial Informatics, Perth, Australia, August 2005.
5. J.H. Christensen, HMS/FB Architecture and its Implementation, in book S.M. Deen (ed.), Advances in the Holonic Approach to Agent-Based Manufactoring, Chapter 3, 2001
6. V. Vyatkin, "IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design", 297 p., ISA, USA, 2007
7. R. Drechsler, Advanced Formal Verification. Boston: Kluwer Academic Publishers, 2004.
8. E. M. Clarke, O. Grumberg and D. Peled, "Model Checking", Cambridge: MIT Press, 1999
9. V. Vyatkin and H. M. Hanisch, "A Modelling Approach for Verification of IEC1499 Function Blocks Using Net Condition/Event Systems", in Proceedings of the IEEE Conference ETFA '99, pages 261-270, Barcelona, Spain, 1999.
10. Vyatkin V., Hanisch H.-M. Verification of Distributed Control Systems in Intelligent Manufacturing, Journal of Intelligent Manufacturing, special issue on Internet Based Modeling in Intelligent Manufacturing, vol.14, N.1, 2003, pp.123-136
11. Rausch M. and Hanisch H.-M.: Net condition/event systems with multiple condition outputs. Symposium on Emerging Technologies and Factory Automation, Paris, France, October 1995, Proc., Vol.1, pp. 592-600, INRA/IEEE
12. th IEEE Conference on Industrial Informatics (INDIN 2006), Singapore, 2006.
13. V. Vyatkin, V. Dubinin, Execution Model of IEC61499 Function Blocks based on Sequential Hypothesis, paper draft, [Online]. Available: http://www.ece.auc.kland.ac.nz/~vyatkin/o3fb/vd_seqsem.pdf
14. st IEEE Conference on Industrial Informatics (INDIN'03), Proceedings, Banff, Canada, August 2003
15. H.-M. Hanisch, A. Lobov, J. L. Martinez Lastra, R. Tuokko and V. Vyatkin: Formal Validation of Intelligent Automated Production Systems towards Industrial Applications, International Journal of Manufacturing Technology and Management, Volume 8 No. 1/2/3, 2006
16. SESA - Signal/Net System Analyzer, [Online]. Available: http://www.ece.auckland.ac.nz/~vyatkin/tools/modelchekers.html
17. P. Starke, S. Roch, K. Schmidt, H.-M. Hanisch, and A. Lüder, Analysing Signal-Event Systems, Technical report, Humboldt Universität zu Berlin, Institue für Informatic, [Online]. Available: http://www.ece.auckland.ac.nz/~vyatkin/tools/modelchekers.html
18. th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague, 2006.
19. H.-M. Hanisch, J. Thieme, A. Lüder, and O. Wienhold, "Modelling of PLC behavior by means of timed net condition/event systems", in International conference on Emerging Technologies and Factory Automation (ETFA 97), Los Angeles, USA, September 1997.
20. th IEEE International Conference on Industrial Informatics (INDIN), Singapore, August 2006.
21. nd IEEE Conference on Industrial Informatics, Berlin, June 2004.
22. th IEEE Conference on Industrial Informatics (INDIN2006), Singapore, 2006.