Kormann, B., Vogel-Heuser, B.: Automated test case generation approach for PLC control software exception handling using fault injection. In: 37th Annual Conference on IEEE Industrial Electronics Society, IECON 2011, pp. 365–372 (2011)
Google Scholar
Jamro, M., Trybus, B.: An approach to SysML modeling of IEC 61131-3 control software. In: 2013 18th International Conference on Methods and Models in Automation and Robotics (MMAR), pp. 217–222 (2013)
Google Scholar
Jamro, M., Trybus, B.: Testing Procedure for IEC 61131-3 Control Software. In: 12th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems (PDeS), pp. 192–197 (2013)
Google Scholar
IEC: IEC 61131-3 - Programmable controllers - Part 3: Programming languages (2003)
Google Scholar
Okabe, M.: Development of processor directly executing IEC 61131-3 language. In: SICE Annual Conference, pp. 2215–2218 (2008)
Google Scholar
Ferreira, E., Paulo, R., Cruz, D.D., Henriques, P.: Integration of the ST language in a model-based engineering environment for control systems: An approach for compiler implementation. Computer Science and Information Systems 5(2), 87–101 (2008)
CrossRef
Google Scholar
Tisserant, E., Bessard, L., de Sousa, M.: An Open Source IEC 61131-3 Integrated Development Environment. In: 2007 5th IEEE International Conference on Industrial Informatics, vol. 1, pp. 183–187 (2007)
Google Scholar
Chunjie, Z., Hui, C.: Development of a PLC Virtual Machine Orienting IEC 61131-3 Standard. In: International Conference on Measuring Technology and Mechatronics Automation, ICMTMA 2009, vol. 3, pp. 374–379 (2009)
Google Scholar
Rzonca, D., Sadolewski, J., Stec, A., Swider, Z., Trybus, B., Trybus, L.: Open environment for programming small controllers according to IEC 61131-3 standard 10(3) (2009)
Google Scholar
Trybus, B.: Development and Implementation of IEC 61131-3 Virtual Machine. Theoretical and Applied Informatics 23(1), 21–35 (2011)
CrossRef
Google Scholar
Colla, M., Leidi, T., Semo, M.: Design and implementation of industrial automation control systems: A survey. In: 7th IEEE International Conference on Industrial Informatics, INDIN 2009, pp. 570–575 (2009)
Google Scholar
Thramboulidis, K., Frey, G.: An MDD process for IEC 61131-based industrial automation systems. In: 2011 IEEE 16th Conference on Emerging Technologies Factory Automation (ETFA), pp. 1–8 (2011)
Google Scholar
Chiron, F., Kouiss, K.: Design of IEC 61131-3 function blocks using SysML. In: Mediterranean Conference on Control Automation, MED 2007, pp. 1–5 (2007)
Google Scholar
OMG: Unified Modeling Language (OMG UML), Infrastructure, V2.4.1 (2011)
Google Scholar
OMG: Systems Modeling Language (OMG SysML), V1.3 (2012)
Google Scholar
Jamro, M.: Graphics editors in CPDev environment. Journal of Theoretical and Applied Computer Science 6(1), 13–24 (2012)
Google Scholar
Jamro, M., Rzonca, D.: Automatic connections in IEC 61131-3 Function Block Diagrams. In: 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), pp. 463–469 (2013)
Google Scholar
Krapfenbauer, H., Ertl, D., Zoitl, A., Kupzog, F.: Improving Component Testing of Industrial Automation Software. In: Fourth International Multi-Conference on Computing in the Global Information Technology, ICCGI 2009, pp. 259–262 (2009)
Google Scholar
Hametner, R., Winkler, D., Zoitl, A.: Agile testing concepts based on keyword-driven testing for industrial automation systems. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, pp. 3727–3732 (2012)
Google Scholar
Hametner, R., Winkler, D., Ostreicher, T., Biffl, S., Zoitl, A.: The adaptation of test-driven software processes to industrial automation engineering. In: 2010 8th IEEE International Conference on Industrial Informatics (INDIN), pp. 921–927 (2010)
Google Scholar
Jamro, M., Rzońca, D., Trybus, B.: Communication Performance Tests in Distributed Control Systems. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2013. CCIS, vol. 370, pp. 200–209. Springer, Heidelberg (2013)
CrossRef
Google Scholar
Jamro, M., Trybus, B.: IEC 61131-3 Programmable Human Machine Interfaces for Control Devices. In: 2013 6th International Conference on Human System Interactions (HSI), pp. 48–55 (2013)
Google Scholar