Verifying IEC 61499 function blocks using esterel

IEEE Embedded Systems Letters

Volumn 2, Issue 1, 2010, Pages 1-4

  Yoong, Li Hsien ^a   Roop, Partha S ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Esterel; Function blocks; IEC 61499; Verification

Indexed keywords

ASSOCIATED TOOL; AUTOMATED VERIFICATION; CONTROL PROPERTIES; CONTROL SOFTWARE; DATA PROPERTIES; ESTEREL; FUNCTION BLOCK; GRAPHICAL NOTATION; IEC 61499; INDUSTRIAL ENGINEERS; INTERNATIONAL STANDARDS; PROTOTYPE TOOLS; RELIABLE CONTROL; VERIFICATION TOOLS;

COMPUTER SOFTWARE; SEMANTICS;

STANDARDS;

EID: 77955693601     PISSN: 19430663     EISSN: None     Source Type: Journal    
DOI: 10.1109/LES.2010.2042275     Document Type: Article

References (9)

1. International Standard IEC 61499-1: Function blocks-Part 1: Architecture, Standard 61499-1, Jan. 2005.
2. L. Ferrarini and C. Veber, "Implementation approaches for the execution model of IEC 61499 applications, " in Proc. 2nd IEEE Int. Conf. Indust. Inf., Berlin, Germany, Jun. 2004, pp. 612-617.
3. L. H. Yoong, P. S. Roop, V. Vyatkin, and Z. Salcic, "A synchronous approach for IEC 61499 function block implementation, " IEEE Trans. Comput., vol. 58, no. 12, pp. 1599-1614, Dec. 2009.
4. G. Berry and G. Gonthier, "The ESTEREL synchronous programming language: Design, semantics, implementation, " Sci. Comput. Programm., vol. 19, no. 2, pp. 87-152, Nov. 1992.
5. V. Vyatkin and H.-M. Hanisch, "A modelling approach for verification of IEC1499 function blocks using net condition/event systems, " in Proc. 7th IEEE Int. Conf. Emerging Technol. Factory Autom., Barcelona, Spain, Oct. 1999, pp. 261-270.
6. M.-P. Stanica and H. Guéguen, "A timed automata model of IEC 61499 basic function blocks semantic, " in Proc. Euromicro Eur. Conf. Real-Time Syst., Porto, Portugal, Jul. 2003.
7. C. Schnakenbourg, J.-M. Faure, and J.-J. Lesage, "Towards IEC 61499 function block diagrams verification, " in Proc. IEEE Int. Conf. Syst., Man Cybern., Hammamet, Tunisia, Oct. 2002.
8. N. Halbwachs, F. Lagnier, and P. Raymond, "Synchronous observers and the verification of reactive systems, " in Proc. 3rd Int. Conf. Methodol. Software Technol., London, U. K., 1994, pp. 83-96.
9. T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, "Thread-modular abstraction refinement, " in Proc. 15th Int. Conf. Comput.-Aided Verification, 2003, pp. 262-274.