A Synchronous approach for IEC 61499 function block implementation

IEEE Transactions on Computers

Volumn 58, Issue 12, 2009, Pages 1599-1614

  Yoong, Li Hsien ^a   Roop, Partha S ^a   Vyatkin, Valeriy ^a   Salcic, Zoran ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Compilation; Esterel; Function blocks; IEC 61499; Synchronous semantics.

Indexed keywords

BASIC FUNCTIONS; COMPONENT-ORIENTED APPROACH; DESIGNING SYSTEMS; ESTEREL; EXECUTION MODEL; FUNCTION BLOCK; FUNCTION BLOCKS; IEC 61499; INDUSTRIAL PROCESSS; SYNCHRONOUS LANGUAGES; SYNCHRONOUS SYSTEM; VERIFICATION TECHNIQUES;

SEMANTICS;

STANDARDS;

EID: 73449112219     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/TC.2009.128     Document Type: Article

References (35)

1. Int'l Standard IEC 61499-1: Function Blocks - Part 1: Architecture, first ed., Int'l Electrotechnical Commission, Jan. 2005.
2. Int'l Standard IEC 61131-3: Programmable Controllers - Part 3: Programming Languages, second ed., Int'l Electrotechnical Commission, 2003.
3. V. Vyatkin, IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design, pp. 28-29, ISA, 2007.
4. Function Block Development Kit, Holobloc, Inc., http://www.holobloc.com, July 2005.
5. K. Thramboulidis and A. Zoupas, " Real-Time Java in Control and Automation: A Model Driven Development Approach, " Proc. 10th IEEE Int'l Conf. Emerging Technologies and Factory Automation (ETFA), pp. 39-46, Sept. 2005.
6. 4DIAC-RTE (FORTE): IEC 61499 Compliant Runtime Environment, PROFACTOR Produktionsforschungs GmbH, http: //www.fordiac.org, 2007.
7. Function Block Execution Runtime (Fuber), http://sourceforge.net/ projects/fuber, 2009.
8. J. Chouinard and R. Brennan, " Software for Next Generation Automation and Control, " Proc. Fourth IEEE Int l Conf. Industrial Informatics (INDIN), pp. 886-891, Aug. 2006.
9. C. Sünder, A. Zoitl, J.H. Christensen, V. Vyatkin, R.W. Brennan, A. Valentini, L. Ferrarini, T. Strasser, J.L. Martinez-Lastra, and F. Auinger, " Usability and Interoperability of IEC 61499 Based Distributed Automation Systems, " Proc. Fourth IEEE Int l Conf. Industrial Informatics (INDIN), pp. 31-37, Aug. 2006.
10. G. Čengič, O. Ljungkrantz, and K. Åkesson, " Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime, " Proc. 11th IEEE Int l Conf. Emerging Technologies and Factory Automation (ETFA), Sept. 2006.
11. L. Ferrarini and C. Veber, " Implementation Approaches for the Execution Model of IEC 61499 Applications, " Proc. Second IEEE Int l Conf. Industrial Informatics (INDIN), pp. 612-617, June 2004.
12. L.H. Yoong, P. Roop, V. Vyatkin, and Z. Salcic, " Synchronous Execution of IEC 61499 Function Blocks Using Esterel, " Proc. Fifth IEEE Int l Conf. Industrial Informatics (INDIN), pp. 1189-1194, July 2007.
13. Esterel Studio User Manual, Version 5.2, Esterel Technologies SA, Nov. 2004.
14. The Esterel v7 Reference Manual: Version v7-30 for Esterel Studio 5.3, Esterel Technologies SA, Dec. 2005. [15] G.D. Plotkin, " A Structural Approach to Operational Semantics, " J. Logic and Algebraic Programming, vols. 60/61, no. 1, pp. 17-140, 2004.
15. G. Berry, The Constructive Semantics of Pure Esterel (Draft Book), http://www-sop.inria.fr/esterel.or, 1999.
16. V. Vyatkin, " Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems, " Proc. Fourth IEEE Int l Conf. Industrial Informatics (INDIN), Aug. 2006.
17. D. Harel and A. Naamad, " The STATEMATE Semantics of Statecharts, " ACM Trans. Software Eng. and Methodology, vol. 5, no. 4 pp. 293-333, Oct. 1996.
18. A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P.L. Guernic, and R. de Simone, " The Synchronous Languages 12 Years Later, " Proc. IEEE, vol. 91, no. 1 pp. 64-83, Jan. 2003.
19. C. Huizing and R. Gerth, " Semantics of Reactive Systems in Abstract Time, " Proc. Real-Time: Theory in Practice, REX Workshop, pp. 291-314, 1992.
20. F. Boussinot and R. de Simone, " The SL Synchronous Language, " IEEE Trans. Software Eng., vol. 22, no. 4 pp. 256-266, Apr. 1996.
21. V. Vyatkin and V. Dubinin, " Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC 61499, " Proc. Fifth IEEE Int l Conf. Industrial Informatics (INDIN), pp. 1183-1188, July 2007.
22. C. André, F. Boulanger, and A. Girault, " Software Implementation of Synchronous Programs, " Proc. Second Int'l Conf. Application of Concurrency to System Design (ACSD), pp. 133-142, June 2001.
23. S.A. Seshia, R.K. Shyamasundar, A.K. Bhattacharjee, and S.D. Dhodapkar, " A Translation of Statecharts to Esterel, " Proc. World Congress on Formal Methods (2), A. Sangiovanni-Vincentelli and J. Sifakis, eds., pp. 983-1007, Sept. 1999.
24. N. Halbwachs, F. Lagnier, and P. Raymond, " Synchronous Observers and the Verification of Reactive Systems, " Proc. Third Int'l Conf. Methodology and Software Technology (AMAST '93), pp. 83-96, 1994.
25. V. Vyatkin, H.-M. Hanisch, and T. Pfeiffer, " Object-Oriented Modular Place/Transition Formalism for Systematic Modeling and Validation of Industrial Automation Systems, " Proc. IEEE Int'l Conf. Industrial Informatics (INDIN), pp. 224-232, Aug. 2003.
26. M.-P. Stanica and H. Guéguen, " A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic, " Proc. Euromicro European Conf. Real-Time Systems (ECRTS), July 2003.
27. V. Dubinin and V. Vyatkin, " Towards a Formal Semantic Model of IEC 61499 Function Blocks, " Proc. Fourth IEEE Int'l Conf. Industrial Informatics (INDIN), Aug. 2006.
28. V. Dubinin, V. Vyatkin, and H.-M. Hanisch, " Modelling and Verification of IEC 61499 Applications Using Prolog, " Proc. 11th IEEE Int l Conf. Emerging Technologies and Factory Automation (ETFA), Sept. 2006.
29. C. Schnakenbourg, J.-M. Faure, and J.-J. Lesage, " Towards IEC 61499 Function Block Diagrams Verification, " Proc. IEEE Int'l Conf. Systems, Man and Cybernetics, Oct. 2002.
30. P.L. Guernic, T. Gautier, M.L. Borgne, and C.L. Maire, " Programming Real Time Applications with SIGNAL, " Proc. IEEE, vol. 79, no. 9 pp. 1321-1336, Sept. 1991.
31. F. Boniol, " Synchronous Communicating Reactive Processes, " Proc. Second AMAST Workshop Real-Time Systems, June 1995.
32. F. Jiménez-Fraustro and E. Rutten, " A Synchronous Model of IEC 61131 PLC Languages in SIGNAL, " Proc. 13th Euromicro Conf. RealTime Systems (ECRTS), pp. 135-142, June 2001.
33. C. André and M.-A. Péraldi, " GRAFCET and Synchronous Languages, " Asia-Pacific Information Infrastructure, vol. 27, no. 1, pp. 95-205, 1993.
34. A. Girault and C. Ménier, " Automatic Production of Globally Asynchronous Locally Synchronous Systems, " Proc. Second Int l Workshop Embedded Software (EMSOFT), A. Sangiovanni-Vincentelli and J. Sifakis, eds., pp. 266-281, Oct. 2002.
35. F. Gruian, P. Roop, Z. Salcic, and I. Radojevic, " The SystemJ Approach to System Level Design, " Proc. Fourth Int l Conf. Formal Methods and Models for Codesign (MEMOCODE), July 2006.