{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T11:17:37Z","timestamp":1765279057762,"version":"3.28.0"},"reference-count":50,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/indin.2015.7281753","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T17:59:09Z","timestamp":1443722349000},"page":"314-321","source":"Crossref","is-referenced-by-count":25,"title":["Selected challenges of software evolution for automated production systems"],"prefix":"10.1109","author":[{"given":"B.","family":"Vogel-Heuser","sequence":"first","affiliation":[]},{"given":"S.","family":"Feldmann","sequence":"additional","affiliation":[]},{"given":"J.","family":"Folmer","sequence":"additional","affiliation":[]},{"given":"J.","family":"Ladiges","sequence":"additional","affiliation":[]},{"given":"A.","family":"Fay","sequence":"additional","affiliation":[]},{"given":"S.","family":"Lity","sequence":"additional","affiliation":[]},{"given":"M.","family":"Tichy","sequence":"additional","affiliation":[]},{"given":"M.","family":"Kowal","sequence":"additional","affiliation":[]},{"given":"I.","family":"Schaefer","sequence":"additional","affiliation":[]},{"given":"C.","family":"Haubeck","sequence":"additional","affiliation":[]},{"given":"W.","family":"Lamersdorf","sequence":"additional","affiliation":[]},{"given":"T.","family":"Kehrer","sequence":"additional","affiliation":[]},{"given":"S.","family":"Getir","sequence":"additional","affiliation":[]},{"given":"M.","family":"Ulbrich","sequence":"additional","affiliation":[]},{"given":"V.","family":"Klebanov","sequence":"additional","affiliation":[]},{"given":"B.","family":"Beckert","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2014-1099"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1"},{"journal-title":"Practical Model-Based Testing A Tools Approach","year":"2007","author":"utting","key":"ref33"},{"journal-title":"Proc IEEE Int Conf Emerg Technol Factory Autom","article-title":"Operationalized definitions of non-functional requirements on automated production facilities to measure evolution effects with an automation system","year":"2013","key":"ref32"},{"key":"ref31","article-title":"Semiautomated decision making support for undocumented evolutionary changes","author":"ladiges","year":"2014","journal-title":"Workshop Software-Reengineering & Evolution"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005157"},{"key":"ref37","article-title":"Model-based testing of PLC software: Test of plants, reliability by using fault injection on component level","author":"r\u00f6sch","year":"2014","journal-title":"IFAC World Congr"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059146"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355407"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-3-642-37387-9_20","article-title":"Automated test case generation for industrial control applications","volume":"480","author":"hametner","year":"2013","journal-title":"Recent Advances in Robotics and Automation ser Studies in Computational Intelligence"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.41"},{"key":"ref27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-16145-2_9","article-title":"Henshin: Advanced concepts and tools for in-place EMF model transformations","author":"arendt","year":"2010","journal-title":"Int Conf on Model Driven Engineering Languages and Systems"},{"journal-title":"Production development Design and operation of production systems","year":"2010","author":"bellgran","key":"ref29"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/smr.319"},{"year":"0","key":"ref1","article-title":"Life-Cycle-Management für Produkte und Systeme in der Automation"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1007\/978-3-540-27863-4_28","article-title":"Verification of PLC programs given as sequential function charts","volume":"3147","author":"bauer","year":"2004","journal-title":"ser Lecture Notes in Computer Science"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11743-0_20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2014-1126"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(79)90022-0"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2593783.2593786"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-54804-8_7","article-title":"Family-based performance analysis of variant-rich software systems","author":"kowal","year":"2014","journal-title":"Proc of Intl Conf Fundamental Approaches to Software Engineering"},{"key":"ref25","article-title":"Variability modelling for model-driven development of software product lines","author":"schaefer","year":"2010","journal-title":"First International Workshop on Variability Modelling of Software-intensive Systems"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2015.7081871"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2014-1100"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2014-1102"},{"key":"ref12","article-title":"Reusable models in industrial automation: Experiences in defining appropriate levels of granularity","author":"jazdi","year":"2011","journal-title":"IFAC World Congr"},{"key":"ref13","first-page":"6","article-title":"Overcoming mechatronic design challenges: The 3+1 SysML-view model","author":"thramboulidis","year":"2013","journal-title":"J Comput Sci Technol"},{"key":"ref14","first-page":"1689","article-title":"Modularity, variant and version management in plant automation - future challenges and state of the art","author":"feldmann","year":"2012","journal-title":"Int Design Conf"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2258165"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2011.6119656"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/B978-008044654-7\/50151-5"},{"key":"ref18","first-page":"338","article-title":"Arcade. PLC: A verification platform for programmable logic controllers","author":"biallas","year":"2012","journal-title":"IEEE Int Conf on Auto Soft Eng"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2001.972974"},{"key":"ref4","article-title":"Researching evolution in industrial plant automation: Scenarios and documentation of the pick and place unit","author":"vogel-heuser","year":"2014","journal-title":"TUM-AIS-TR-01–14-02 Tech Rep"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2014-1111"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2014.75041"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2014.711084"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406353"},{"key":"ref7","article-title":"Keeping pace with changes - towards supporting continuous improvements and extensive updates in production automation software","volume":"56","author":"haubeck","year":"2013","journal-title":"Electron Commun EASST"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.11.1096"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2014.10.011"},{"key":"ref46","article-title":"A generic framework for analyzing model co-evolution","author":"getir","year":"2014","journal-title":"Int Workshop Models Evolution"},{"key":"ref45","article-title":"Interaction of model-driven engineering and signal-based online monitoring of production systems","author":"haubeck","year":"2014","journal-title":"Proc IEEE Annu Conf Ind Electron Soc"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2012.6405342"},{"journal-title":"IEEE Int Conf on Auto Soft Eng","article-title":"Consistency-preserving edit scripts in model versioning","year":"2013","key":"ref42"},{"journal-title":"IEEE Int Conf on Auto Soft Eng","article-title":"A rule-based approach to the semantic lifting of model differences in the context of model versioning","year":"2011","key":"ref41"},{"article-title":"Regression verification for programmable logic control software","year":"2015","author":"weigl","key":"ref44"},{"key":"ref43","article-title":"Automating regression verification","author":"felsing","year":"2014","journal-title":"IEEE Int Conf on Auto Soft Eng"}],"event":{"name":"2015 IEEE 13th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2015,7,22]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2015,7,24]]}},"container-title":["2015 IEEE 13th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7270516\/7281697\/07281753.pdf?arnumber=7281753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T16:37:20Z","timestamp":1498235840000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7281753\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/indin.2015.7281753","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}