Synthesizing globally asynchronous locally synchronous systems with IEC 61499

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 42, Issue 6, 2012, Pages 1465-1477

  Yoong, Li Hsien ^a   Shaw, Gareth Darcy ^a   Roop, Partha S ^a   Salcic, Zoran ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Distributed systems; function blocks; globally asynchronous locally synchronous (GALS); IEC 61499; synthesis

Indexed keywords

COMMUNICATION FUNCTIONS; COMMUNICATION MECHANISMS; COMPOSITE BEHAVIOR; COMPUTATIONAL NODES; DISTRIBUTED CODES; DISTRIBUTED FUNCTION; DISTRIBUTED SYSTEMS; FORMAL MODEL; FULLY COMPATIBLE; FUNCTION BLOCK; GENERIC ARCHITECTURE; GLOBALLY ASYNCHRONOUS LOCALLY SYNCHRONOUS; IEC 61499; IEC 61499 STANDARD; INDUSTRIAL CASE STUDY; INDUSTRIAL CONTROL SYSTEMS; RUNTIME ENVIRONMENTS;

COMMUNICATION; DISTRIBUTED PARAMETER CONTROL SYSTEMS; INDUSTRIAL APPLICATIONS; MIDDLEWARE; PROGRAM COMPILERS; SYNTHESIS (CHEMICAL);

STANDARDS;

EID: 84871717272     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2012.2191404     Document Type: Article

References (34)

1. International Standard IEC 61131-3: Programmable Controllers-Part 3: Programming Languages, 2nd ed. , International Electrotechnical Commission, Geneva, Switzerland, 2003.
2. International Standard IEC 61499-1: Function blocks-Part 1: Architecture, 1st ed. , International Electrotechnical Commission, Geneva, Switzerland, Jan. 2005.
3. OMG Unified Modeling Language (OMG UML): Superstructure, Version 2. 4. 1, Object Management Group, Aug. 2011.
4. T. Murata, "Petri nets: Properties, analysis and applications, " Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
5. L. Ferrarini and C. Veber, "Implementation approaches for the execution model of IEC 61499 applications, " in Proc. 2nd IEEE Int. Conf. Ind. Informat. , Berlin, Germany, Jun. 2004, pp. 612-617. (Pubitemid 41731908)
6. C. S̈under, 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, " in Proc. 4th IEEE Int. Conf. Ind. Informat. , Singapore, Aug. 2006, pp. 31-37.
7. G. Cengić, O. Ljungkrantz, andK. Å kesson, "Formalmodeling of function block applications running in IEC 61499 execution runtime, " in Proc. 11th IEEE Int. Conf. Emerg. Technol. Fact. Autom. , Prague, Czech Republic, Sep. 2006, pp. 1269-1276.
8. 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.
9. L. H. Yoong, P. S. Roop, and Z. Salcic, "Efficient implementation of IEC 61499 function blocks, " in Proc. IEEE Int. Conf. Ind. Technol. , Gippsland, Vic. , Australia, Feb. 2009, pp. 1-6.
10. 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.
11. D. Potop-Butucaru and B. Caillaud, "Correct-by-construction asynchronous implementation of modular synchronous specifications, " in Proc. 5th Int. Conf. Appl. Concurr. Syst. Design, St. Malo, France, Jun. 2005, pp. 48-57. (Pubitemid 44088256)
12. P. Teehan, M. Greenstreet, and G. Lemieux, "A survey and taxonomy of GALS design styles, " IEEE Design Test Comput. , vol. 24, no. 5, pp. 418-428, Sep./Oct. 2007. (Pubitemid 47577892)
13. 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. Emerg. Technol. Fact. Autom. , Barcelona, Spain, Oct. 1999, pp. 261-270. (Pubitemid 32083032)
14. M.-P. Stanica and H. Gúeguen, "A timed automata model of IEC 61499 basic function blocks semantic, " presented at the Euromicro Eur. Conf. Real-Time Syst. , Porto, Portugal, Jul. 2003.
15. G. Cengić and K. Åkesson, "Definition of the execution model used in the Fuber IEC 61499 runtime environment, " in Proc. 6th IEEE Int. Conf. Ind. Informat. , Daejeon, Korea, Jul. 2008, pp. 301-306.
16. T. Strasser, A. Zoitl, J. H. Christensen, and C. S̈under, "Design and execution issues in IEC 61499 distributed automation and control systems, " IEEE Trans. Systems, Man, Cybern. C, Appl. Rev. , vol. 41, no. 1, pp. 41-51, Jan. 2011.
17. K. Thramboulidis and G. Doukas, "IEC61499 Execution Model Semantics, " in Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications. Amsterdam, Netherlands: Springer-Verlag, 2007, pp. 223-228.
18. A. Malik, Z. Salcic, P. S. Roop, and A. Girault, "SystemJ: A GALS language for system level design, " Comput. Lang. , Syst. Struct. , vol. 36, no. 4, pp. 317-344, Dec. 2010.
19. C. A. R. Hoare, Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice-Hall, 1985.
20. A. Sangiovanni-Vincentelli, M. Sgroi, andL. Lavagno, "Formalmodels for communication-based design, " in Proc. 11th Int. Conf. Concurr. Theory, Aug. 2000, pp. 29-47.
21. F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli, E. M. Sentovich, and K. Suzuki, "Synthesis of software programs for embedded control applications, " IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. , vol. 18, no. 6, pp. 834-849, Jun. 1999.
22. H. Kopetz andG. Bauer, "The time-triggered architecture, " in Proc. IEEE, vol. 91, no. 1, pp. 112-126, Jan. 2003.
23. G. Kahn, "The semantics of a simple language for parallel programming, " in Proc. IFIP Congr. , Stockholm, Sweden: North Holland, Aug. 1974, pp. 471-475.
24. F. Commoner, A. W. Holt, S. Even, and A. Pnueli, "Marked directed graphs, " J. Comput. Syst. Sci. , vol. 5, no. 5, pp. 511-523, Oct. 1971.
25. S. S. Lam and J. W. Wong, "Queueing networkmodels of packet switching networks part 2: Networks with population size constraints, " Perform. Eval. , vol. 2, no. 3, pp. 161-180, Oct. 1982.
26. T. G. Robertazzi, Computer Networks and Systems: Queueing Theory and Performance Evaluation. New York: Springer-Verlag, 2000.
27. J. D. C. Little, "A proof for the queuing formula: L = a;W, " Oper. Res. , vol. 9, no. 3, pp. 383-387, May/Jun. 1961.
28. (2011). Function Block Development Kit, Holobloc Inc. , [Online]. Available: http://www. holobloc. com.
29. (2011). 4DIAC-RTE (FORTE): IEC 61499 Compliant Runtime Environment, PROFACTOR Produktionsforschungs GmbH, [Online]. Available: http://www. fordiac. org.
30. G. Black and V. Vyatkin, "Intelligent component-based automation of baggage handling systems with IEC 61499, " IEEE Trans. Autom. Sci. Eng. , vol. 7, no. 2, pp. 337-351, Apr. 2010.
31. G. E. Krasner and S. T. Pope, "A cookbook for using the model-view controller user interface paradigm in Smalltalk-80, " J. Object-Oriented Programm. , vol. 1, no. 3, pp. 26-49, Aug./Sep. 1988.
32. N. Mahalik, C. Xie, J. Pu, and P. Moore, "Virtual distributed control systems: A components-based design method for mechatronic systems, " Assembly Autom. , vol. 26, no. 1, pp. 44-53, 2006. (Pubitemid 43323856)
33. (2011). nxtControl: nxtRT61499F-run time systems for distributed control engineering, nxtControl GmbH, [Online]. Available: http://www. nxtcontrol. com/en/products/nxtrt61499f. html
34. B. Selic, "The pragmatics of model-driven development, " IEEE Softw. , vol. 20, no. 5, pp. 19-25, Sep./Oct. 2003.