Title :
Towards Formal Verification of IEC61499: modelling of Data and Algorithms in NCES
Author :
Pang, Cheng ; Vyatkin, Valeriy
Author_Institution :
Univ. of Auckland, Auckland
Abstract :
This paper aims to demonstrate the modelling details of IEC61499 basic function blocks by means of net condition event systems (NCES). In particular, the paper discusses modelling of basic data types, Boolean algebra and arithmetic operations of unsigned integer, and of simple algorithms in basic function block. The behaviour of the modelled IEC61499 systems can be verified by using model checking tools such as iMATCh and SESA.
Keywords :
Boolean algebra; IEC standards; data models; formal verification; process control; production engineering computing; Boolean algebra; IEC61499; NCES; data modeling; formal verification; industrial process control; model checking; net condition event system; Arithmetic; Boolean algebra; Electrical equipment industry; Formal verification; Helium; IEC standards; Industrial control; Measurement standards; Process control; Standards development;
Conference_Titel :
Industrial Informatics, 2007 5th IEEE International Conference on
Conference_Location :
Vienna
Print_ISBN :
978-1-4244-0851-1
Electronic_ISBN :
1935-4576
DOI :
10.1109/INDIN.2007.4384889
