{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:00:38Z","timestamp":1757311238674,"version":"3.40.4"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319053523"},{"type":"electronic","value":"9783319053530"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05353-0_9","type":"book-chapter","created":{"date-parts":[[2014,3,4]],"date-time":"2014-03-04T13:22:31Z","timestamp":1393939351000},"page":"81-90","source":"Crossref","is-referenced-by-count":22,"title":["CPDev Engineering Environment for Modeling, Implementation, Testing, and Visualization of Control Software"],"prefix":"10.1007","author":[{"given":"Marcin","family":"Jamro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dariusz","family":"Rzo\u0144ca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Sadolewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Stec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zbigniew","family":"\u015awider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bartosz","family":"Trybus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leszek","family":"Trybus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"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\u2013372 (2011)","DOI":"10.1109\/IECON.2011.6119280"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"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\u2013222 (2013)","DOI":"10.1109\/MMAR.2013.6669909"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"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\u2013197 (2013)","DOI":"10.3182\/20130925-3-CZ-3023.00018"},{"key":"9_CR4","unstructured":"IEC: IEC 61131-3 - Programmable controllers - Part 3: Programming languages (2003)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Okabe, M.: Development of processor directly executing IEC 61131-3 language. In: SICE Annual Conference, pp. 2215\u20132218 (2008)","DOI":"10.1109\/SICE.2008.4655032"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.2298\/CSIS0802087F","volume":"5","author":"E. Ferreira","year":"2008","unstructured":"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\u00a05(2), 87\u2013101 (2008)","journal-title":"Computer Science and Information Systems"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"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.\u00a01, pp. 183\u2013187 (2007)","DOI":"10.1109\/INDIN.2007.4384753"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"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.\u00a03, pp. 374\u2013379 (2009)","DOI":"10.1109\/ICMTMA.2009.422"},{"key":"9_CR9","unstructured":"Rzonca, D., Sadolewski, J., Stec, A., Swider, Z., Trybus, B., Trybus, L.: Open environment for programming small controllers according to IEC 61131-3 standard\u00a010(3) (2009)"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.2478\/v10179-011-0002-z","volume":"23","author":"B. Trybus","year":"2011","unstructured":"Trybus, B.: Development and Implementation of IEC 61131-3 Virtual Machine. Theoretical and Applied Informatics\u00a023(1), 21\u201335 (2011)","journal-title":"Theoretical and Applied Informatics"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"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\u2013575 (2009)","DOI":"10.1109\/INDIN.2009.5195866"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"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\u20138 (2011)","DOI":"10.1109\/ETFA.2011.6059118"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Chiron, F., Kouiss, K.: Design of IEC 61131-3 function blocks using SysML. In: Mediterranean Conference on Control Automation, MED 2007, pp. 1\u20135 (2007)","DOI":"10.1109\/MED.2007.4433695"},{"key":"9_CR14","unstructured":"OMG: Unified Modeling Language (OMG UML), Infrastructure, V2.4.1 (2011)"},{"key":"9_CR15","unstructured":"OMG: Systems Modeling Language (OMG SysML), V1.3 (2012)"},{"issue":"1","key":"9_CR16","first-page":"13","volume":"6","author":"M. Jamro","year":"2012","unstructured":"Jamro, M.: Graphics editors in CPDev environment. Journal of Theoretical and Applied Computer Science\u00a06(1), 13\u201324 (2012)","journal-title":"Journal of Theoretical and Applied Computer Science"},{"key":"9_CR17","unstructured":"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\u2013469 (2013)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"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\u2013262 (2009)","DOI":"10.1109\/ICCGI.2009.46"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"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\u20133732 (2012)","DOI":"10.1109\/IECON.2012.6389298"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"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\u2013927 (2010)","DOI":"10.1109\/INDIN.2010.5549620"},{"key":"9_CR21","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-38865-1_21","volume-title":"Computer Networks","author":"M. Jamro","year":"2013","unstructured":"Jamro, M., Rzo\u0144ca, D., Trybus, B.: Communication Performance Tests in Distributed Control Systems. In: Kwiecie\u0144, A., Gaj, P., Stera, P. (eds.) CN 2013. CCIS, vol.\u00a0370, pp. 200\u2013209. Springer, Heidelberg (2013)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"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\u201355 (2013)","DOI":"10.1109\/HSI.2013.6577801"}],"container-title":["Advances in Intelligent Systems and Computing","Recent Advances in Automation, Robotics and Measuring Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05353-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T23:59:36Z","timestamp":1746143976000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05353-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319053523","9783319053530"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05353-0_9","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2014]]}}}