DocumentCode
2136860
Title
Towards Formal Verification of IEC61499: modelling of Data and Algorithms in NCES
Author
Pang, Cheng ; Vyatkin, Valeriy
Author_Institution
Univ. of Auckland, Auckland
Volume
2
fYear
2007
fDate
23-27 June 2007
Firstpage
879
Lastpage
884
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Informatics, 2007 5th IEEE International Conference on
Conference_Location
Vienna
ISSN
1935-4576
Print_ISBN
978-1-4244-0851-1
Electronic_ISBN
1935-4576
Type
conf
DOI
10.1109/INDIN.2007.4384889
Filename
4384889
Link To Document