Semantics-robust design patterns for IEC 61499

IEEE Transactions on Industrial Informatics

Volumn 8, Issue 2, 2012, Pages 279-290

  Dubinin, Victor N ^a   Vyatkin, Valeriy ^b  

^a PENZA STATE UNIVERSITY   (Russian Federation)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Design patterns; IEC 61499; portability; refactoring; robustness; semantics; software engineering

Indexed keywords

ABSTRACT MODELS; ATTRIBUTED GRAPHS; AUTOMATION SOFTWARE; DESIGN PATTERNS; EXECUTION MODEL; EXECUTION SEMANTICS; FUNCTION BLOCK; IEC 61499; INDUSTRIAL CONTROL SYSTEMS; INTERNATIONAL STANDARDS; REFACTORINGS; SEMANTIC INTERPRETATION;

COMPUTER SOFTWARE PORTABILITY; FORMAL LANGUAGES; ROBUSTNESS (CONTROL SYSTEMS); SOFTWARE ENGINEERING; STANDARDS;

SEMANTICS;

EID: 84859896535     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2012.2186820     Document Type: Article

References (36)

1. "Function blocks for industrial-process measurement and control systems- Part 1: Architecture," International Electrotechnical Commission. Geneva, Switzerland, 2005.
2. V. Vyatkin, "IEC 61499 as enabler of distributed and intelligent automation: State-of-the-art review," IEEE Trans. Ind. Informat., vol. 7, no. 4, pp. 768-781, Nov. 2011.
3. L. Ferrarini and C. 'Veber, "Implementation approaches for the execution model of IEC 61499 applications," in Proc. 2nd IEEE Int. Conf. Ind. Informat. INDIN'04, Berlin, Germany, 2004, pp. 612-614.
4. C. Sünder et al., "Usability and interoperability of IEC 61499 based distributed automation systems," in Proc. 4th IEEE Conf. Ind. Informat. (INDIN'06), Singapore, 2006, pp. 31-37.
5. V. Vyatkin and V. Dubinin, "Sequential axiomatic model for execution of basic function blocks in IEC61499," in Proc. 5th IEEE Int. Conf. Ind. Informat. (INDIN'07), Vienna, Austria, Jul. 23-26, 2007, pp. 1137-1142, 2007.
6. J. L. M. Lastra et al., "An IEC 61499 application generator for scanbased industrial controllers," in Proc. 3rd IEEE Conf. Ind. Informat., Perth, Australia, Aug. 2005, pp. 80-85.
7. P. Tata and V. Vyatkin, "Proposing a novel IEC61499 runtime framework implementing the cyclic execution semantics," in Proc. 7th IEEE Int. Conf. Ind. Informat. (INDIN'09), Cardiff, Wales, Jun. 2009, pp. 416-421.
8. L. H. Yoong et al., "A synchronous approach for IEC 61499 function block implementation," IEEE Trans. Comput., vol. 58, no. 12, pp. 1599-1614, Dec. 2009.
9. N. Hagge and B. Wagner, "A new function block modeling language based on petri nets for automatic code generation," IEEE Trans. Ind. Informat., vol. 1, no. 4, pp. 226-237, Nov. 2005. (Pubitemid 41729786)
10. PROFACTOR Produktionsforschungs GmbH, "4DIAC-RTE (FORTE): IEC 61499 compliant runtime environment," Oct. 30, 2007. [Online]. Available: Http://www.fordiac.org,
11. G. Cengic and K. Akesson, "On formal analysis of IEC 61499 applications, Part B: Execution semantics," IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 145-154, May 2010.
12. M. Colla et al., "CEC designer: Domain specific modelling for the industrial automation based on the IEC 61499 standard," in Proc. IEEE Int. Conf. Emerging Technol. Factory Autom. (ETFA'08), Hamburg, Germany, Sep. 2008, pp. 192-199.
13. C. Sünder et al., "Execution models for the IEC 61499 elements composite function block and subapplication," in Proc. 5th IEEE Int. Conf. Ind. Informat. (INDIN'07), Vienna, Austria, 2007, pp. 1169-1175. (Pubitemid 351306967)
14. o3neida. IEC 61499 "Compliance profile: Execution models of IEC 61499 function block applications,", 2011. [Online]. Available: Http:// www.oooneida.org/standards-development-Compliance-Profile.html
15. D. O'Sullivan and D. Heffernan, "VHDL architecture for IEC 61499 function blocks," IET Comput. Digital Tech., vol. 4, pp. 515-524, 2010.
16. V. Vyatkin, "The IEC 61499 standard and its semantics," IEEE Ind. Electron. Mag., vol. 3, no. 4, pp. 40-48, Dec. 2009.
17. ICS Triplex ISaGRAFWorkbench for IEC 61499/61131 ver. 5.1, 2011. [Online]. Available: Http://www.icstriplex.com
18. nxtControl. (2010, 10/05). nxtStudio. , 2010. [Online]. Available: Www.nxtcontrol.com
19. A. Zoitl, Real-Time Execution for IEC 61499: ISA, 2009.
20. V. Vyatkin and V. Dubinin, "Refactoring of execution control charts in basic function blocks of the IEC 61499 standard," IEEE Trans. Ind. Informat., 6, no. 2, pp. 155-165, May, 2010, doi: 10.1109/TII.2009. 2033051.
21. J. H. Christensen, "Design patterns for systems engineering with IEC 61499," Fachtagung "Verteilte Automatisierung-Modelle und Methoden für Entwurf, Verifikation, Engineering und Instrumentierung" Otto-von-Guericke-Universität. Magdeburg, Germany, 2000.
22. G. Booch, I. Jacobson, and J. Rumbaugh,OMGUnified Modeling Language Specification1st ed. Mar. 2000, Version 1.3. [Online]. Available: Http://www.omg.org/spec/UML/1.3/PDF/index.htm
23. M. Bräuer and H. Lochmann, "An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning," in The Semantic Web: Research and Applications. New York: Springer, 2008, vol. 5021, LNCS, pp. 34-48.
24. G. Cengic and K. Åkesson, "On formal analysis of IEC 61499 applications, Part A: Modeling," IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 136-144, May 2010.
25. Function Block Development Kit 2011. [Online]. Available: Http://www.holobloc.com/doc/fbdk/index.htm
26. V. Dubinin and V. Vyatkin, "On definition of a formal semantic model for IEC 61499 function blocks," EURASIP J. Embedded Syst., vol. 2008, p. 10, Article ID 426713.
27. V. Vyatkin and J. Chouinard, "On comparison of the ISaGRAF implementation of IEC 61499 with FBDK and others implementations," in Proc. 6th IEEE Int. Conf. Ind. Informat. (INDIN'08), 2008, pp. 1169-1175.
28. H. Ehrig et al., Fundamentals of Algebraic Graph Transformation. New York: Springer, 2006, p. 388, XIV.
29. AGGWeb-site, 2011. [Online]. Available: Http://tfs.cs.tu-berlin.de/agg
30. U. Feige and P. Raghavan, "Exact analysis of hot-potato routing," in Proc. 33rd Ann. Symp. Foundations Comput. Sci., Pittsburgh, 1992, pp. 553-562.
31. M. M. Y. Kuo et al., "Determining the worst-case reaction time of IEC 61499 function blocks," in Proc. 8th IEEE Int. Conf. Ind. Informat. (INDIN'10), 2010, pp. 1104-1109.
32. V. Vyatkin and H. M. Hanisch, "Verification of distributed control systems in intelligent manufacturing," Int. J. Intell. Manuf., vol. 14, no. 1, pp. 123-136, 2003.
33. K. A. Petri, "Kommunication mit automaten," Schriften des Rheinish, Westfalischen Institutes fur Instrumentelle Mathematik und der Universitat Bonn. 1962.
34. V. Dubinin and V. Vyatkin, "Graph transformation-Based approach to IEC 61499 function block's formal models synthesis," (in Russian) Bulletin of Higher Education Institutions, Volga Region, Technical Sciences, pp. 16-26, 2008.
35. V. Dubinin and V. Vyatkin, Models of Sequential Function Block Execution Implemented by Dynamically Allocated Priorities (in Russian). Volga Region, Penza: Bulletin of Higher Educational Institutions, 2007, pp. 13-22, ISSN 1728-628X.
36. N. Hagge and B. Wagner, "Modeling and clarifying the execution of IEC 61499 function blocks using XNet," in Proc. IEEE 5th Int. Conf. Ind. Informat. (INDIN 2007), Vienna, Austria, 2007, pp. 1177-1182.