Developing a multiplatform control environment

• Autorzy: Rzońca Dariusz , Sadolewski Jan , Stec Andrzej , Świder Zbigniew , Trybus Bartosz , Trybus Leszek

Identyfikatory

DOI

10.14313/JAMRIS/4‐2019/40

• Języki publikacji: EN

Abstrakty

EN

IEC 61131‐3 control environment is called multiplatform if source programs can be executed by various processors, beginning from 8‐bit microcontrollers up to 32/64‐ bit efficient CPUs. This implies that virtual machine (VM), i.e. a software implemented processor, is used as runtime by the host CPU. The VM executes certain intermediate code into which IEC 61131‐3 programs are compiled. En‐ vironment of this type called CPDev has been gradually developed by the authors over the last decade, beginning with initial report in this journal in 2008 [47]. However, technical implementations of its functionalities have not been described so far. This involves such matters as intermediate language, parametrization of the compiler and VM, multiproject runtime, translators of graphical languages, device‐independent HMI, target platform and communication interfacing, which are presented in compact form in this paper. Some characteristic industrial implementations are indicated.

Słowa kluczowe

EN

IEC 61131‐3 environment; virtual machine; intermediate language; parametrized compiler; interfacing; HMI; industrial controllers

• Wydawca: Łukasiewicz Industrial Research Institute for Automation and Measurements PIAP
• Czasopismo: Journal of Automation Mobile Robotics and Intelligent Systems
• Rocznik: 2019
• Tom: Vol. 13, No. 4
• Strony: 73--84
• Opis fizyczny: Bibliogr. 59 poz., rys.

Twórcy

autor

Rzońca Dariusz

• Department of Computer and Control Engineering, Rzeszow University of Technology, ul. W. Pola 2, 35‑959 Rzeszow, Poland

autor

Sadolewski Jan

• Department of Computer and Control Engineering, Rzeszow University of Technology, ul. W. Pola 2, 35‑959 Rzeszow, Poland

autor

Stec Andrzej

• Department of Computer and Control Engineering, Rzeszow University of Technology, ul. W. Pola 2, 35‑959 Rzeszow, Poland

autor

Świder Zbigniew

• Department of Computer and Control Engineering, Rzeszow University of Technology, ul. W. Pola 2, 35‑959 Rzeszow, Poland

autor

Trybus Bartosz

• Department of Computer and Control Engineering, Rzeszow University of Technology, ul. W. Pola 2, 35‑959 Rzeszow, Poland

autor

Trybus Leszek

• Department of Computer and Control Engineering, Rzeszow University of Technology, ul. W. Pola 2, 35‑959 Rzeszow, Poland

Bibliografia

• [1] 3S‑Smart Software Solutions GmbH. “CODESYS”. www.codesys.com. Accessed on: 2020‑02‑28.
• [2] Axel S.r.l. “Logiclab”. www.axelsoftware.it/en/. Accessed on: 2020‑02‑28.
• [3] Bart‑Com. www.bart-com.pl. Accessed on:2020‑02‑28.
• [4] N. Bauer, R. Huuck, B. Lukoschus, and S. Engell.“A Unifying Semantics for Sequential Function Charts”. In: H. Ehrig, W. Damm, J. Desel, M. Große‑Rhode, W. Reif, E. Schnieder, and E. Westkämper,eds., Integration of Softtare Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, Lecture Notes in Computer Science, 400–418. Springer, Berlin, Heidelberg, 2004, 10.1007/978‑3‑540‑27863‑4_22.
• [5] S. Cavalieri, G. Puglisi, M. S. Scroppo, and L. Galvagno, “Moving IEC 61131‑3 applications to a computing framework based on CLR Virtual Machine”. In: 2016 IEEE 21st In ternational Conference on Emerging Technologies and Factory Automation (ETFA), 2016, 1–8, 10.1109/ETFA.2016.7733632. [6] M. Chmiel and E. Hrynkiewicz, “Concurrent operation of processors in the bit byte CPU of a PLC”, Control and Cybernetics, vol. 39, no. 2, 2010, 559– 579.
• [7] J. Cisek, W. Mikluszka, Z. Swider, and L. Try bus, “A Low Cost DCS with Multifunction Instru ments and CAN Bus1”, IFAC Proceedings Volumes, vol. 34, no. 29, 2001, 64–69, 10.1016/S1474 6670(17)32794 5.
• [8] K. D. Cooper and L. Torczon, Engineering a Compiler, Morgan Kaufmann: Boston, 2012, 10.1016/C2009‑0‑27982‑7.
• [9] COPA‑DATA France. “STRATON–PLC”. www.straton-plc.com. Accessed on: 2020‑02‑28.
• [10] W. Dai, V. Vyatkin, J. H. Christensen, and V. N. Dubinin, “Bridging Service‑Oriented Architecture and IEC 61499 for Flexibility and Interoperability”, IEEE Transactions on Industrial Informatics, vol. 11, no. 3, 2015, 771–781, 10.1109/TII.2015.2423495.
• [11] G. De Tommasi and A. Pironti, “An educational open‑source tool for the design of IEC 61131‑3 compliant automation software”. In: Automation and Motion 2008 International Symposium on Power Electronics, Electrical Drives, 2008, 486–491, 10.1109/SPEEDHAM.2008.4581144.
• [12] G. Fen and W. Ning, “A Transformation Algorithm of Ladder Diagram into Instruction List Based on AOV Digraph and Binary Tree”. In: TENCON 2006 ‑ 2006 IEEE Region 10 Conference, 2006, 1–4, 10.1109/TENCON.2006.343937.
• [13] E. Ferreira, R. Paulo, C. D. Da, and P. Henriques, “Integration of the ST language in a model‑based engineering environment for control systems: An approach for compiler implementation”, Computer Science and Information Systems, vol. 5, no. 2, 2008, 87–101, 10.2298/CSIS0802087F.
• [14] J.‑Y. Fiset, Human‑machine interface design for process control, Instrumentation, Systems, and Automation Society: Research Triangle Park, NC, 2009.
• [15] P. Gaj, J. Jasperneite, and M. Felser, “Computer Communication Within Industrial Distributed Environment—a Survey”, IEEE Transactions on Industrial Informatics, vol. 9, no. 1, 2013, 182–189, 10.1109/TII.2012.2209668.
• [16] GEB Automation. “GEB IDE”. www.gebautomation.com. Accessed on: 2020‑02‑28.
• [17] P. Gsellmann, M. Melik‑Merkumians, and G. Schitter, “Comparison of Code Measures of IEC 61131–3 and 61499 Standards for Typical Au‑
• tomation Applications”. In: 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), vol. 1, 2018, 1047–1050, 10.1109/ETFA.2018.8502464.
• [18] Z. Hajduk, B. Trybus, and J. Sadolewski, “Architecture of FPGA Embedded Multiprocessor Programmable Controller”, IEEE Transactions on Industrial Electronics, vol. 62, no. 5, 2015, 2952–2961, 10.1109/TIE.2014.2362888.
• [19] P. E. Hart, N. J. Nilsson, and B. Raphael, “A Formal Basis for the Heuristic Determination of Minimum Cost Paths”, IEEE Transactions on Systems Science and Cybernetics, vol. 4, no. 2, 1968, 100–107, 10.1109/TSSC.1968.300136.
• [20] L. Huang, W. Liu, and Z. Liu, “Algorithm of transformation from PLC ladder diagram to structured text”. In: 2009 9th International Conference on Electronic Measurement Instruments, 2009, 4–778–4–782, 10.1109/ICEMI.2009.5274701.
• [21] ICS Triplex. “ISaGRAF”. www.isagraf.com.Accessed on: 2020‑02‑28.
• [22] IEC. “IEC 61131‑3 – Programmable controllers –Part 3: Programming languages”, 2013.
• [23] IEC. “IEC 61499 – Function Blocks”, 2012.
• [24] iGrid T&D. www.igrid-td.com. Accessed on:2020‑02‑28.
• [25] Instrument Science Systems, Inc. www.issi.com.ph/. Accessed on: 2020‑02‑28.
• [26] H. I. Inzunza Villagómez, B. Pérez Arce, S. I. Hernández Ruiz, and J. A. López Corella, “Design and implementation of a development environment on ladder diagram (HT‑PLC) for Arduino with Ethernet connection”. In: 2018 IEEE International Conference on Automation/XXIII Congress of the Chilean Association of Automatic Control (ICA‑ACCA), 2018, 1–6, 10.1109/ICA‑ACCA.2018.8609850.
• [27] M. Jamro, “POU‑Oriented Unit Testing of IEC 61131‑3 Control Software”, IEEE Transactions on Industrial Informatics, vol. 11, no. 5, 2015, 1119–1129, 10.1109/TII.2015.2469257.
• [28] M. Jamro and D. Rzonca, “Agile and hierarchical round‑trip engineering of IEC 61131‑3 control software”, Computers in Industry, vol. 96, 2018, 1–9, 10.1016/j.compind.2018.01.004.
• [29] M. Jamro, D. Rzonca, and W. Rząsa, “Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model”, Computers in Industry, vol. 71, 2015, 77–87, 10.1016/j.compind.2015.03.007.
• [30] M. Jamro and B. Trybus, “IEC 61131‑3 programmable human machine interfaces for control devices”. In: 2013 6th International Conference on Human System Interactions (HSI), 2013, 48–55, 10.1109/HSI.2013.6577801.
• [31] H. S. Kim, J. Y. Lee, and W. H. Kwon, “A compiler design for IEC 1131‑3 standard languages of programmable logic controllers”. In:SICE ’99. Proceedings of the 38th SICE Annual Conference. International Session Papers (IEEE Cat. No.99TH8456), 1999, 1155–1160,10.1109/SICE.1999.788715.
• [32] Y. Lee, J. Jeong, and Y. Son, “Design and implementation of the secure compiler and virtual machine for developing secure IoT services”, Future Generation Computer Systems, vol. 76, 2017, 350–357, 10.1016/j.future.2016.03.014.
• [33] Light OPC Server. www.ipi.ac.ru. Accessed on: 2020‑02‑28.
• [34] D. Massonie, C. Hacker, and T. Sowa, “Modeling Graphical and Speech User Interfaces with Widgets and Spidgets”. In: Speech Communication; 11. ITG Symposium, 2014, 1–4.
• [35] A. Milik, “Multiple‑Core PLC CPU Implementation and Programming”, Journal of Circuits, Systems and Computers, vol. 27, no. 10, 2018, 1850162, 10.1142/S0218126618501621.
• [36] A. Milik and E. Hrynkiewicz, “Distributed PLC Based on Multicore CPUs ‑ Architecture and Programming”, IFAC‑PapersOnLine, vol. 49, no. 25, 2016, 1–7, 10.1016/j.ifacol.2016.12.001.
• [37] Nauka i Technika. www.nit.pl. Accessed on: 2020‑02‑28.
• [38] nxtControl GmbH. www.nxtcontrol.com/.Accessed on: 2020‑02‑28.
• [39] M. Okabe, “Development of processor directly executing IEC 61131‑3 language”. In: 2008 SICE Annual Conference, 2008, 2215–2218, 10.1109/SICE.2008.4655032.
• [40] OMG. “OMG Systems Modeling Language, V1.3”, 2012.
• [41] L. B. Palma, V. Brito, J. Rosas, and P. Gil, “WEB PLC simulator for ST programming”. In: 2017 4th Experiment@International Conference (exp.at’17),2017, 303–308, 10.1109/EXPAT.2017.7984410.
• [42] C. G. Penteado, E. D. Moreno, and F. D. Pereira,“A microcontroller multicore in FPGAs: detailed architecture and case studies of embedded critical applications”, International Journal of Grid and Utility Computing, vol. 8, no. 3, 2017, 169, 10.1504/IJGUC.2017.087815.
• [43] Praxis Automation Technology B.V. www. praxis-automation.nl. Accessed on: 2020‑02‑28.
• [44] L. Pérez Cáceres, F. Pagnozzi, A. Franzin, and T. Stützle, “Automatic Configuration of GCC Using Irace”. In: E. Lutton, P. Legrand, P. Parrend, N. Monmarché, and M. Schoenauer, eds., Artificial Evolution, Cham, 2018, 202–216, 10.1007/978‑3‑319‑78133‑4_15.
• [45] J. Quiroga and F. Ortin, “SSA Transformations to Facilitate Type Inference in Dynamically Typed Code”, The Computer Journal, vol. 60, no. 9, 2017, 1300–1315, 10.1093/comjnl/bxw108.
• [46] J. Richter, CLR via C#, Microsoft Press: Redmond, Washington, 2012.
• [47] D. Rzońca, J. Sadolewski, A. Stec, Z. Świder, B. Trybus, and L. Trybus, “Mini‑DCS system programming in IEC 61131‑3 structured text”, Journal of Automation Mobile Robotics and Intelligent Systems, vol. 2, no. 3, 2008, 48–54.
• [48] S. Shin, M. Kwon, and S. Rho, “Whimori CDK: A Control Program Development Kit”. In: Engineering and Information 2009 International Conference on Computing, 2009, 115–118, 10.1109/ICC.2009.33.
• [49] H. Simon and S. Kowalewski, “Static analysis of Sequential Function Charts using abstract interpretation”. In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, 1–4,10.1109/ETFA.2016.7733648.
• [50] T. Skripcak, P. Tanuska, U. Konrad, and N. Schmeisser, “Toward Nonconventional Human–Machine Interfaces for Supervisory Plant Process Monitoring”, IEEE Transactions on Human‑Machine Systems, vol. 43, no. 5, 2013, 437–450, 10.1109/THMS.2013.2279006.
• [51] VDI/VDE 3699 Process control using display screens, 2015.
• [52] K. Thramboulidis, “A cyber–physical system‑based approach for industrial automation systems”, Computers in Industry, vol. 72, 2015, 92–102, 10.1016/j.compind.2015.04.006.
• [53] E. Tisserant, L. Bessard, and M. de Sousa, “An Open Source IEC 61131‑3 Integrated Development Environment”. In: 2007 5th IEEE International Conference on Industrial Informatics, vol. 1, 2007, 183–187, 10.1109/INDIN.2007.4384753.
• [54] B. Trybus, “Development and Implementation of IEC 61131‑3 Virtual Machine”, Theoretical and Applied Informatics, vol. 23, no. 1, 2011, 10.2478/v10179‑011‑0002‑z.
• [55] B. Venners, Inside the Java Virtual Machine, McGraw‑Hill: New York, 1997.
• [56] B. Vogel‑Heuser, D. Schü tz, T. Frank, and C. Legat,“Model‑driven engineering of Manufacturing Automation Software Projects – A SysML‑based approach”, Mechatronics, vol. 24, no. 7, 2014, 883–897, 10.1016/j.mechatronics.2014.05.003.
• [57] M. Zhang, Y. Lu, and T. Xia, “The Design and Implementation of Virtual Machine System in Embedded SoftPLC System”. In: 2013 International Conference on Computer Sciences and Applications, 2013, 775–778, 10.1109/CSA.2013.185.
• [58] C. Zhou and H. Chen, “Development of a PLC Vitual Machine Orienting IEC 61131‑3 Standard”.In: 2009 International Conference on Measuring Technology and Mechatronics Automation, vol. 3, 2009, 374–379, 10.1109/ICMTMA.2009.422.
• [59] R. Zurawski, ed., Industrial Communication Technology Handbook, Industrial information Virtual Machine”. In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, 1–8,10.1109/ETFA.2016.7733632.

Uwagi

Opracowanie rekordu ze środków MNiSW, umowa Nr 461252 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2020).