Środowisko inżynierskie Control Program Developer obecnie

The paper presents an overview of the current functionality of the CPDev (Control Program Developer) engineering environment developed in Department of Computer and Control Engineering at Rzeszów University of Technology. The package is designed for programming PLCs/PACs according to IEC 61131-3 standard. The system is based on the concept of dedicated virtual machines being interpreters of executable code to increase the portability and versatility of control programs. The environment has been enhanced by support of all IEC languages (ST, IL, FBD, LD, SFC), HMI software design integrated with control software, unit testing of software components as well as by ability of modeling the structure and operation of complex programs in SysML. Tool for designing HMI interface is independent of the hardware platform, and allows to combine control with visualization using IEC languages. Table and unit tests allow to increase software quality. Models based on SysML diagrams support the early design stages of control software. New CPDev compiler allows to handle larger programs. In addition to virtual machines run on general-purpose processors, compiled programs can also be executed by FPGA-PLC prototype. Current industrial implementations of the CPDev environment include devices from  Lumel S.A. Zielona Gora, Poland (SMC programmable controller), Praxis Automation Technology B.V. Leiden, The Netherlands (Mega-Guard Ship Automation and Navigation System) and Nauka i Technika Sp. z o.o. Zaczernie/Rzeszów, Poland (StTr-760-PLC controller). Brief description of the Praxis Mega-Guard system has been presented as an example of the implementation.

Pełny tekst (pdf)

1. Chiron F., Kouiss, K.: Design of IEC 61131-3 function blocks using SysML. In Control Automation 2007. MED '07. Mediterranean Conference, 1-5.
2. Grigg, J., Arrange Act Assert: http://c2.com/cgi/wiki?ArrangeActAssert, 2012.
3. Hajduk Z., Sadolewski J., Trybus B.: FPGA-Based Execution Platform for IEC 61131-3 Control Software. Przegląd Elektrotechniczny, 2011, no. 8, 187-191.
4. Jamro M., Rzońca D., Sadolewski J., Stec A., Świder Z., Trybus B., Trybus L.: Rozwój środowiska inżynierskiego CPDev do programowania systemów sterowania. W: Projektowanie, analiza i implementacja systemów czasu rzeczywistego. WKŁ, Warszawa, 2011, 151-162.
5. Jamro M., Trybus B.: An approach to SysML Modeling of IEC 61131-3 Control Software. 18th International Conference on Methods and Models in Automation and Robotics (MMAR), Międzyzdroje, Poland, 2013, pp. 217-222.
6. Jamro M., Trybus B.: IEC 61131-3 Programmable Human Machine Interfaces for Control Devices. Conference proceedings – 6th International Conference on Human System Interaction (HSI 2013), Sopot, Poland, 2013, 48-55.
7. Jamro M., Trybus B.: Testing procedure for IEC 61131-3 Control Software. 12th IFAC/IEEE Conference on Programmable Devices and Embedded Systems (PDeS), Velke Karlovice, Czech Republic, 2013, pp. 192-197.
8. LUMEL S.A.: http://www.lumel.com.pl, 2013.
9. Nauka i Technika Sp. z o.o.: http://www.nit.pl, 2013.
10. OMG, System Modeling Language (SysML) 1.3: http://www.sysml.org/specs, 2012.
11. Praxis Automation Technology B.V.: http://www.praxis-automation.nl, 2013.
12. Rzońca D., Sadolewski J., Stec A., Świder Z., Trybus B., Trybus L.: Programming controllers in Structured Text language of IEC 61131-3 standard. Journal of Applied Computer Science, 2008, no. 1, 49-69.
13. Rzońca D., Sadolewski J., Trybus B.: Kompilator języka ST normy IEC 61131-3 na uniwersalny kod wykonywalny. W: Systemy Czasu Rzeczywistego (SCR). WKŁ, Warszawa, 2007, 189-198.
14. Stec A., Świder Z., Trybus L.: Charakterystyka funkcjonalna prototypowego systemu do programowania systemów wbudowanych według normy IEC 61131-3. W: Systemy Czasu Rzeczywistego (SCR). WKŁ, Warszawa, 2007, 179-188.
15. Trybus L., Jamro M., Rzońca D., Sadolewski J., Stec A., Świder Z., Trybus B.: Uzupełnienia środowiska inżynierskiego CPDev dla programowania holenderskiego systemu sterowania statków Mega-Guard, Napędy i sterowanie 6/2012, 98-103.