{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:19:22Z","timestamp":1742912362975,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319157955"},{"type":"electronic","value":"9783319157962"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-15796-2_10","type":"book-chapter","created":{"date-parts":[[2015,2,27]],"date-time":"2015-02-27T10:59:30Z","timestamp":1425034770000},"page":"91-100","source":"Crossref","is-referenced-by-count":1,"title":["SysML Modeling of Functional and\u00a0Non-functional Requirements for\u00a0IEC\u00a061131-3 Control Systems"],"prefix":"10.1007","author":[{"given":"Marcin","family":"Jamro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"1234","DOI":"10.1109\/TII.2013.2258165","volume":"9","author":"V. Vyatkin","year":"2013","unstructured":"Vyatkin, V.: Software Engineering in Industrial Automation: State-of-the-Art Review. IEEE Transactions on Industrial Informatics\u00a09, 1234\u20131249 (2013)","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"10_CR2","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: IECON 2011 - 37th Annual Conference on IEEE Industrial Electronics Society, pp. 365\u2013372 (2011)","DOI":"10.1109\/IECON.2011.6119280"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Winkler, D., Hametner, R., Biffl, S.: Automation component aspects for efficient unit testing. In: IEEE Conference on Emerging Technologies Factory Automation, ETFA 2009, pp. 1\u20138 (2009)","DOI":"10.1109\/ETFA.2009.5347022"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Wenger, M., Zoitl, A.: Re-use of IEC 61131-3 Structured Text for IEC 61499. In: 2012 IEEE International Conference on Industrial Technology (ICIT), pp. 78\u201383 (2012)","DOI":"10.1109\/ICIT.2012.6209917"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TII.2012.2186820","volume":"8","author":"V. Dubinin","year":"2012","unstructured":"Dubinin, V., Vyatkin, V.: Semantics-Robust Design Patterns for IEC 61499. IEEE Transactions on Industrial Informatics\u00a08, 279\u2013290 (2012)","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"1100","DOI":"10.1016\/j.jss.2011.01.063","volume":"84","author":"D. Hastbacka","year":"2011","unstructured":"Hastbacka, D., Vepsalainen, T., Kuikka, S.: Model-driven development of industrial process control applications. The Journal of Systems and Software\u00a084, 1100\u20131113 (2011)","journal-title":"The Journal of Systems and Software"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1109\/TII.2011.2174248","volume":"8","author":"E. Estevez","year":"2012","unstructured":"Estevez, E., Marcos, M.: Model-Based Validation of Industrial Control Systems. IEEE Transactions on Industrial Informatics\u00a08, 302\u2013310 (2012)","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"10_CR8","unstructured":"OMG: Unified Modeling Language (OMG UML), Infrastructure, V2.4.1 (2011)"},{"key":"10_CR9","unstructured":"OMG: Systems Modeling Language (OMG SysML), V1.3 (2012)"},{"key":"10_CR10","unstructured":"IEC: IEC 61131-3 - Programmable controllers - Part 3: Programming languages (2013)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s00170-006-0455-0","volume":"33","author":"K. Thramboulidis","year":"2007","unstructured":"Thramboulidis, K., Perdikis, D., Kantas, S.: Model driven development of distributed control applications. The International Journal of Advanced Manufacturing Technology\u00a033, 233\u2013242 (2007)","journal-title":"The International Journal of Advanced Manufacturing Technology"},{"key":"10_CR12","unstructured":"IEC: IEC 61499-1 - Function blocks - Part 1: Architecture (2005)"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s11740-008-0083-7","volume":"2","author":"M. Zaeh","year":"2008","unstructured":"Zaeh, M., Poernbacher, C.: Model-driven development of PLC software for machine tools. Production Engineering\u00a02, 39\u201346 (2008)","journal-title":"Production Engineering"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s11334-009-0119-y","volume":"6","author":"R. Laleau","year":"2010","unstructured":"Laleau, R., Semmak, F., Matoussi, A., Petit, D., Hammad, A., Tatibouet, B.: A\u00a0first attempt to combine SysML requirements diagrams and B. Innovations in Systems and Software Engineering\u00a06, 47\u201354 (2010)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Jamro, M.: SysML Modeling of POU-Oriented Unit Tests for IEC 61131-3 Control Software. In: 2014 19th International Conference on Methods and Models in Automation and Robotics, MMAR (2014) (to be published)","DOI":"10.1109\/MMAR.2014.6957329"},{"key":"10_CR16","series-title":"AISC","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-319-05353-0_9","volume-title":"Recent Advances in Automation, Robotics and Measuring Techniques","author":"M. Jamro","year":"2014","unstructured":"Jamro, M., Rzonca, D., Sadolewski, J., Stec, A., Swider, Z., Trybus, B., Trybus, L.: CPDev Engineering Environment for Modeling, Implementation, Testing, and Visualization of Control Software. In: Szewczyk, R., Zieli\u0144ski, C., Kaliczy\u0144ska, M. (eds.) Recent Advances in Automation, Robotics and Measuring Techniques. AISC, vol.\u00a0267, pp. 81\u201390. Springer, Heidelberg (2014)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Jamro, M.: Automatic Generation of Implementation in SysML-Based Model-Driven Development for IEC 61131-3 Control Software. In: 2014 19th International Conference on Methods and Models in Automation and Robotics, MMAR (2014) (to be published)","DOI":"10.1109\/MMAR.2014.6957399"},{"key":"10_CR18","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":"10_CR19","doi-asserted-by":"crossref","unstructured":"Jamro, M., Trybus, B.: IEC 61131-3 Programmable Human Machine Interfaces for Control Devices. In: 2013 The 6th International Conference on Human System Interaction (HSI), pp. 48\u201355 (2013)","DOI":"10.1109\/HSI.2013.6577801"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Linhares, M., de Oliveira, R., Farines, J., Vernadat, F.: Introducing the modeling and verification process in SysML. In: IEEE Conference on Emerging Technologies and Factory Automation, ETFA, pp. 344\u2013351 (2007)","DOI":"10.1109\/EFTA.2007.4416788"},{"key":"10_CR21","series-title":"AISC","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-319-05353-0_10","volume-title":"Recent Advances in Automation, Robotics and Measuring Techniques","author":"M. Jamro","year":"2014","unstructured":"Jamro, M.: Development and Execution of POU-Oiented Performance Tests for IEC 61131-3 Control Software. In: Szewczyk, R., Zieli\u0144ski, C., Kaliczy\u0144ska, M. (eds.) Recent Advances in Automation, Robotics and Measuring Techniques. AISC, vol.\u00a0267, pp. 91\u2013102. Springer, Heidelberg (2014)"},{"key":"10_CR22","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-319-07941-7_15","volume-title":"Computer Networks","author":"M. Jamro","year":"2014","unstructured":"Jamro, M., Rzonca, D.: Measuring, Monitoring, and Analysis of Communication Transactions Performance in Distributed Control System. In: Kwiecie\u0144, A., Gaj, P., Stera, P. (eds.) CN 2014. CCIS, vol.\u00a0431, pp. 147\u2013156. Springer, Heidelberg (2014)"},{"key":"10_CR23","unstructured":"MODICON, Inc.: Modicon MODBUS Protocol Reference Guide (1996)"}],"container-title":["Advances in Intelligent Systems and Computing","Progress in Automation, Robotics and Measuring Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15796-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T05:35:58Z","timestamp":1674192958000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15796-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319157955","9783319157962"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15796-2_10","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]}}}