{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T11:49:14Z","timestamp":1740138554409,"version":"3.37.3"},"reference-count":38,"publisher":"Walter de Gruyter GmbH","issue":"10","funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["SCHA 1635\/12-1","VO 937\/31-1"],"award-info":[{"award-number":["SCHA 1635\/12-1","VO 937\/31-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Control software for <jats:italic>automated Production Systems (aPSs)<\/jats:italic> becomes increasingly complex. Respective systems undergo constant evolution. Yet, proper documentation may not always be present, entailing maintenance issues in the long run. While manual examination of software for aPSs is an error-prone task, static analysis can improve system quality. However, it has not been applied to describe software evolution by means of changed systems artifacts. The authors address this issue and perform change analyses on IEC61131-3 projects, identifying introduced and removed systems artifacts as well as existing ones affected. By that, the authors aim to support sustainable evolution. Two feasibility studies, implemented independently, but for the same evolution scenarios for an automation plant, are used for evaluation. The technique is shown to be efficient and highly precise.<\/jats:p>","DOI":"10.1515\/auto-2018-0037","type":"journal-article","created":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T14:09:12Z","timestamp":1553263752000},"page":"806-818","source":"Crossref","is-referenced-by-count":1,"title":["Change analysis on evolving PLC software in automated production systems"],"prefix":"10.1515","volume":"66","author":[{"given":"Alexander","family":"Schlie","sequence":"first","affiliation":[{"name":"TU Braunschweig , Braunschweig , Germany"}]},{"given":"Safa","family":"Bougouffa","sequence":"additional","affiliation":[{"name":"TU M\u00fcnchen , M\u00fcnchen , Germany"}]},{"given":"Juliane","family":"Fischer","sequence":"additional","affiliation":[{"name":"TU M\u00fcnchen , M\u00fcnchen , Germany"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"TU Braunschweig , Braunschweig , Germany"}]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[{"name":"TU M\u00fcnchen , M\u00fcnchen , Germany"}]}],"member":"374","published-online":{"date-parts":[[2018,10,17]]},"reference":[{"key":"2023033119232299211_j_auto-2018-0037_ref_001_w2aab3b7b4b1b6b1ab1b6b1Aa","unstructured":"S. Adiga. Object-oriented Software for Manufacturing Systems. Intelligent Manufactoring Series, Springer Netherlands, 2012. ISBN 9789401148443."},{"key":"2023033119232299211_j_auto-2018-0037_ref_002_w2aab3b7b4b1b6b1ab1b6b2Aa","doi-asserted-by":"crossref","unstructured":"F. Angerer et al. \u201cPoints-To Analysis of IEC 61131-3 Programs: Implementation and Application.\u201d In: Proceedings 18th IEEE International Conference on Emerging Technologies & Factory Automation. 2013, pp.\u20091\u20138.","DOI":"10.1109\/ETFA.2013.6648062"},{"key":"2023033119232299211_j_auto-2018-0037_ref_003_w2aab3b7b4b1b6b1ab1b6b3Aa","doi-asserted-by":"crossref","unstructured":"M. Barth and A. Fay. \u201cAutomated Generation of Simulation Models for Control Code Tests.\u201d In: Control Engineering Practice 21.2 (2013), pp.\u2009218\u2013230.10.1016\/j.conengprac.2012.09.022","DOI":"10.1016\/j.conengprac.2012.09.022"},{"key":"2023033119232299211_j_auto-2018-0037_ref_004_w2aab3b7b4b1b6b1ab1b6b4Aa","unstructured":"S. Bohner and R. Arnold. Software Change Impact Analysis."},{"key":"2023033119232299211_j_auto-2018-0037_ref_005_w2aab3b7b4b1b6b1ab1b6b5Aa","unstructured":"F. Bonfatti, P.\u2009D. Monari and U. Sampieri. IEC 1131-3 Programming Methodology: Software Engineering Methods for Industrial Automated Systems."},{"key":"2023033119232299211_j_auto-2018-0037_ref_006_w2aab3b7b4b1b6b1ab1b6b6Aa","doi-asserted-by":"crossref","unstructured":"M. Broy. \u201cThe \u2018Grand Challenge\u2019 in Informatics: Engineering Software-Intensive Systems.\u201d In: Computer 39.9 (2006), pp.\u200972\u201380.10.1109\/MC.2006.358","DOI":"10.1109\/MC.2006.358"},{"key":"2023033119232299211_j_auto-2018-0037_ref_007_w2aab3b7b4b1b6b1ab1b6b7Aa","doi-asserted-by":"crossref","unstructured":"A. Canedo and M.\u2009A. Al-Faruque. \u201cTowards Parallel Execution of IEC 61131 Industrial Cyber-physical Systems Applications.\u201d In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE. 2012, pp.\u2009554\u2013557.","DOI":"10.1109\/DATE.2012.6176530"},{"key":"2023033119232299211_j_auto-2018-0037_ref_008_w2aab3b7b4b1b6b1ab1b6b8Aa","unstructured":"J.\u2009E. Cooling. Software Engineering for Real-time Systems."},{"key":"2023033119232299211_j_auto-2018-0037_ref_009_w2aab3b7b4b1b6b1ab1b6b9Aa","unstructured":"H.\u2009K. Dam and A. Ghose. \u201cDynamic Change Impact Analysis for Maintaining and Evolving Agent Systems.\u201d In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS. 2012, pp.\u20091433\u20131434."},{"key":"2023033119232299211_j_auto-2018-0037_ref_010_w2aab3b7b4b1b6b1ab1b6c10Aa","doi-asserted-by":"crossref","unstructured":"A. Dubey. \u201cEvaluating Software Engineering Methods in the Context of Automation Applications.\u201d In: 2011 9th IEEE International Conference on Industrial Informatics. 2011, pp.\u2009585\u2013590.","DOI":"10.1109\/INDIN.2011.6034944"},{"key":"2023033119232299211_j_auto-2018-0037_ref_011_w2aab3b7b4b1b6b1ab1b6c11Aa","doi-asserted-by":"crossref","unstructured":"Z. Durdik et al. \u201cTowards Sustainability Guidelines for long-living Software Systems.\u201d In: 2012 28th IEEE International Conference on Software Maintenance (ICSM). 2012, pp.\u2009517\u2013526.","DOI":"10.1109\/ICSM.2012.6405316"},{"key":"2023033119232299211_j_auto-2018-0037_ref_012_w2aab3b7b4b1b6b1ab1b6c12Aa","doi-asserted-by":"crossref","unstructured":"S. Feldmann et al. \u201cAnalysis Framework for Evaluating PLC Software: An Application of Semantic Web Technologies.\u201d In: 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE). 2016, pp.\u20091048\u20131054.","DOI":"10.1109\/ISIE.2016.7745037"},{"key":"2023033119232299211_j_auto-2018-0037_ref_013_w2aab3b7b4b1b6b1ab1b6c13Aa","doi-asserted-by":"crossref","unstructured":"J. Fuchs et al. \u201cIdentification of Design Patterns for IEC 61131-3 in Machine and Plant Manufacturing.\u201d In: IFAC Proceedings Volumes 47.3 (2014), pp.\u20096092\u20136097.10.3182\/20140824-6-ZA-1003.01595","DOI":"10.3182\/20140824-6-ZA-1003.01595"},{"key":"2023033119232299211_j_auto-2018-0037_ref_014_w2aab3b7b4b1b6b1ab1b6c14Aa","unstructured":"IEC 61131-3 Languages, Standard. Geneva, CH: International Electrotechnical Commission, Mar. 2003."},{"key":"2023033119232299211_j_auto-2018-0037_ref_015_w2aab3b7b4b1b6b1ab1b6c15Aa","unstructured":"U. Katzke, B. Vogel-Heuser and K. Fischer. \u201cAnalysis and State of the Art of Modules in Industrial Automation.\u201d In: Automatisierungstechnische Praxis (atp) 46.1 (2004), pp.\u200923\u201331."},{"key":"2023033119232299211_j_auto-2018-0037_ref_016_w2aab3b7b4b1b6b1ab1b6c16Aa","doi-asserted-by":"crossref","unstructured":"M. Kowal et al. \u201cDelta Modeling for Variant-rich and Evolving Manufacturing Systems.\u201d In: Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, MoSEMInA. 2014.","DOI":"10.1145\/2593783.2593786"},{"key":"2023033119232299211_j_auto-2018-0037_ref_017_w2aab3b7b4b1b6b1ab1b6c17Aa","doi-asserted-by":"crossref","unstructured":"A. Kumar et al. \u201cAnalyzing Dependencies in an Industrial Automation Engineering System.\u201d In: Proceedings of the 8th India Software Engineering Conference. ISEC. 2015, pp.\u200960\u201369.","DOI":"10.1145\/2723742.2723748"},{"key":"2023033119232299211_j_auto-2018-0037_ref_018_w2aab3b7b4b1b6b1ab1b6c18Aa","doi-asserted-by":"crossref","unstructured":"J. Lee et al. \u201cA Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System.\u201d In: IFAC Proceedings Volumes 46.9 (2013), pp.\u20092134\u20132139.10.3182\/20130619-3-RU-3018.00259","DOI":"10.3182\/20130619-3-RU-3018.00259"},{"key":"2023033119232299211_j_auto-2018-0037_ref_019_w2aab3b7b4b1b6b1ab1b6c19Aa","doi-asserted-by":"crossref","unstructured":"C. Legat, J. Folmer and B. Vogel-Heuser. \u201cEvolution in industrial plant automation: A case study.\u201d In: IECON \u2013 39th Annual Conference of the IEEE Industrial Electronics Society. 2013, pp.\u20094386\u20134391.","DOI":"10.1109\/IECON.2013.6699841"},{"key":"2023033119232299211_j_auto-2018-0037_ref_020_w2aab3b7b4b1b6b1ab1b6c20Aa","doi-asserted-by":"crossref","unstructured":"P. Herbert et al. \u201cStatic Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application.\u201d In: IEEE Transactions on Industrial Informatics 13 (2017), pp.\u200937\u201347.10.1109\/TII.2016.2604760","DOI":"10.1109\/TII.2016.2604760"},{"key":"2023033119232299211_j_auto-2018-0037_ref_021_w2aab3b7b4b1b6b1ab1b6c21Aa","unstructured":"PLCopen. PLCopen Technical Committee 6, XML Formats for IEC 61131-3: Version 2.01."},{"key":"2023033119232299211_j_auto-2018-0037_ref_022_w2aab3b7b4b1b6b1ab1b6c22Aa","unstructured":"PLCopen Association. PLCOpen Association Website. 2017. URL: http:\/\/http:\/\/www.plcopen.org\/."},{"key":"2023033119232299211_j_auto-2018-0037_ref_023_w2aab3b7b4b1b6b1ab1b6c23Aa","doi-asserted-by":"crossref","unstructured":"H. Pr\u00e4hofer et al.\u201cOpportunities and Challenges of Static Code Analysis of IEC 61131-3 programs.\u201d In: Emerging Technologies & Factory Automation (ETFA), 2012 IEEE 17th Conference on, IEEE. 2012, pp.\u20091\u20138.","DOI":"10.1109\/ETFA.2012.6489535"},{"key":"2023033119232299211_j_auto-2018-0037_ref_024_w2aab3b7b4b1b6b1ab1b6c24Aa","doi-asserted-by":"crossref","unstructured":"R. Ramler, W. Putsch\u00f6gl and D. Winkler. \u201cAutomated Testing of Industrial Automation Software: Practical Receipts and Lessons Learned.\u201d In: Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation. MoSEMInA. 2014.","DOI":"10.1145\/2593783.2593788"},{"key":"2023033119232299211_j_auto-2018-0037_ref_025_w2aab3b7b4b1b6b1ab1b6c25Aa","doi-asserted-by":"crossref","unstructured":"R. Reicherdt and S. Glesner. \u201cSlicing MATLAB Simulink Models.\u201d In: Proceedings of the 34th International Conference on Software Engineering. ICSE. 2012, pp.\u2009551\u2013561.","DOI":"10.1109\/ICSE.2012.6227161"},{"key":"2023033119232299211_j_auto-2018-0037_ref_026_w2aab3b7b4b1b6b1ab1b6c26Aa","doi-asserted-by":"crossref","unstructured":"S. Roesch et al. \u201cReview of Model-Based Testing Approaches in Production Automation and Adjacent Domains-Current Challenges and Research Gaps.\u201d In: Journal of Software Engineering and Applications 08 (2015), pp.\u2009499\u2013519.10.4236\/jsea.2015.89048","DOI":"10.4236\/jsea.2015.89048"},{"key":"2023033119232299211_j_auto-2018-0037_ref_027_w2aab3b7b4b1b6b1ab1b6c27Aa","doi-asserted-by":"crossref","unstructured":"A. Schlie et al. \u201cDetecting Variability in MATLAB\/Simulink Models: An Industry-Inspired Technique and Its Evaluation.\u201d In: Proceedings of the 21st International Systems and Software Product Line Conference. SPLC. 2017, pp.\u2009215\u2013224.","DOI":"10.1145\/3106195.3106225"},{"key":"2023033119232299211_j_auto-2018-0037_ref_028_w2aab3b7b4b1b6b1ab1b6c28Aa","unstructured":"S. Stattelmann et al. \u201cApplying Static Code Analysis on Industrial Controller Code.\u201d In: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, 2014. ISBN 978-1-4799-4845-1."},{"key":"2023033119232299211_j_auto-2018-0037_ref_029_w2aab3b7b4b1b6b1ab1b6c29Aa","doi-asserted-by":"crossref","unstructured":"T. Strasser et al. \u201cMulti-domain model-driven Design of Industrial Automation and Control Systems.\u201d In: IEEE International Conference on Emerging Technologies and Factory Automation. 2008, pp.\u20091067\u20131071.","DOI":"10.1109\/ETFA.2008.4638526"},{"key":"2023033119232299211_j_auto-2018-0037_ref_030_w2aab3b7b4b1b6b1ab1b6c30Aa","unstructured":"T. Kleanthis. \u201cA Framework for the Implementation of Industrial Automation Systems Based on PLCs.\u201d In: Computing Research Repository (CoRR) (2014)."},{"key":"2023033119232299211_j_auto-2018-0037_ref_031_w2aab3b7b4b1b6b1ab1b6c31Aa","unstructured":"Technical University in Munich, Germany \u2013 Institute of Automation and Information Systems. The Pick and Place Unit Demonstrator for Evolution in Industrial Plant Automation. 2003. URL: http:\/\/www.ppu-demonstrator.org."},{"key":"2023033119232299211_j_auto-2018-0037_ref_032_w2aab3b7b4b1b6b1ab1b6c32Aa","unstructured":"The Instrumentation, Systems, and Automation Society. Batch Control Part 1: Models and Terminology. 1995."},{"key":"2023033119232299211_j_auto-2018-0037_ref_033_w2aab3b7b4b1b6b1ab1b6c33Aa","doi-asserted-by":"crossref","unstructured":"B. Vogel-Heuser et al. \u201cEvolution of Software in Automated Production Systems: Challenges and Research Directions.\u201d In: Journal of Systems and Software 110 (2015), pp.\u200954\u201384.10.1016\/j.jss.2015.08.026","DOI":"10.1016\/j.jss.2015.08.026"},{"key":"2023033119232299211_j_auto-2018-0037_ref_034_w2aab3b7b4b1b6b1ab1b6c34Aa","doi-asserted-by":"crossref","unstructured":"B. Vogel-Heuser et al. \u201cModularity and Architecture of PLC-based Software for Automated Production Systems: An Analysis in Industrial Companies.\u201d In: Journal of Systems and Software 131 (2017), pp.\u200935\u201362.10.1016\/j.jss.2017.05.051","DOI":"10.1016\/j.jss.2017.05.051"},{"key":"2023033119232299211_j_auto-2018-0037_ref_035_w2aab3b7b4b1b6b1ab1b6c35Aa","doi-asserted-by":"crossref","unstructured":"V. Vyatkin. \u201cSoftware Engineering in Industrial Automation: State-of-the-Art Review.\u201d In: IEEE Transactions on Industrial Informatics 9.3 (2013), pp.\u20091234\u20131249.10.1109\/TII.2013.2258165","DOI":"10.1109\/TII.2013.2258165"},{"key":"2023033119232299211_j_auto-2018-0037_ref_036_w2aab3b7b4b1b6b1ab1b6c36Aa","unstructured":"M. Weiser. \u201cProgram Slicing.\u201d In: Proceedings of the 5th International Conference on Software Engineering.\u201d ICSE. Piscataway, NJ, USA, 1981, pp.\u2009439\u2013449."},{"key":"2023033119232299211_j_auto-2018-0037_ref_037_w2aab3b7b4b1b6b1ab1b6c37Aa","doi-asserted-by":"crossref","unstructured":"R. Wettel and M. Lanza. \u201cCodeCity: 3D Visualization of Large-scale Software.\u201d In: Companion of the 30th International Conference on Software Engineering. ICSE Companion. 2008, pp.\u2009921\u2013922.","DOI":"10.1145\/1370175.1370188"},{"key":"2023033119232299211_j_auto-2018-0037_ref_038_w2aab3b7b4b1b6b1ab1b6c38Aa","unstructured":"N. Wilde, R. Huitt and S. Huitt. \u201cDependency Analysis Tools: Reusable Components for Software Maintenance.\u201d In: Proceedings. Conference on Software Maintenance (ICSM). 1989, pp.\u2009126\u2013131."}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.degruyter.com\/view\/j\/auto.2018.66.issue-10\/auto-2018-0037\/auto-2018-0037.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2018-0037\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2018-0037\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T06:32:57Z","timestamp":1680330777000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2018-0037\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,17]]},"references-count":38,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2018,10,17]]},"published-print":{"date-parts":[[2018,10,25]]}},"alternative-id":["10.1515\/auto-2018-0037"],"URL":"https:\/\/doi.org\/10.1515\/auto-2018-0037","relation":{},"ISSN":["2196-677X","0178-2312"],"issn-type":[{"type":"electronic","value":"2196-677X"},{"type":"print","value":"0178-2312"}],"subject":[],"published":{"date-parts":[[2018,10,17]]}}}