Selected challenges of software evolution for automated production systems

Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in the domain of automated production systems, i.e. evolution and co-evolution of (interdisciplinary) engineering models and code, quality assurance as well as variant and version management during evolution.

[1]  Timo Kehrer,et al.  A Generic Framework for Analyzing Model Co-Evolution , 2014, ME@MoDELS.

[2]  Vladimir Klebanov,et al.  Automating regression verification , 2014, Software Engineering & Management.

[3]  Kerstin Mueller,et al.  Software Product Line Engineering Foundations Principles And Techniques , 2016 .

[4]  Birgit Vogel-Heuser,et al.  PERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING , 2006 .

[5]  Udo Kelter,et al.  Propagation of Software Model Changes in the Context of Industrial Plant Automation , 2014, Autom..

[6]  Stefan Kowalewski,et al.  Arcade.PLC: a verification platform for programmable logic controllers , 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.

[7]  Thomas Thüm,et al.  Reasoning about edits to feature models , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[8]  Winfried Lamersdorf,et al.  Semi-automated decision making support for undocumented evolutionary changes , 2014, Softwaretechnik-Trends.

[9]  Birgit Vogel-Heuser.  Usability experiments to evaluate UML/SysML-based Model driven Software Engineering Notations for logic control in Manufacturing Automation , 2014 .

[10]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

[11]  Birgit Vogel-Heuser,et al.  Automated Test Case Generation for Industrial Control Applications , 2011, ICARA.

[12]  Tanvir Hussain,et al.  UML-based Development Process for IEC 61499 with Automatic Test-case Generation , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[13]  Ina Schaefer,et al.  Family-Based Performance Analysis of Variant-Rich Software Systems , 2014, Software Engineering & Management.

[14]  K. Thramboulidis.  Overcoming Mechatronic Design Challenges : the 3 + 1 SysML-view Model , 2013 .

[15]  José Barbosa,et al.  Dynamic self-organization in holonic multi-agent manufacturing systems: The ADACOR evolution , 2015, Comput. Ind..

[16]  Lothar Litz,et al.  Formal methods in PLC programming , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[17]  Georg Frey,et al.  Formal verification of PLC programs generated from signal interpreted Petri nets , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[18]  Winfried Lamersdorf,et al.  An active service-component architecture to enable self-awareness of evolving production systems , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[19]  Birgit Vogel-Heuser,et al.  Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit , 2014 .

[20]  Winfried Lamersdorf,et al.  Evolution Management of Production Facilities by Semi-Automated Requirement Verification , 2014, Autom..

[21]  Valeriy Vyatkin,et al.  Software Engineering in Industrial Automation: State-of-the-Art Review , 2013, IEEE Transactions on Industrial Informatics.

[22]  Nasser Jazdi,et al.  Reusable Models in Industrial Automation: Experiences in Defining Appropriate Levels of Granularity , 2011 .

[23]  Kristina Säfsten,et al.  Production Development: Design and Operation of Production Systems , 2009 .

[24]  Jürgen Jasperneite,et al.  Model based TTCN-3 testing of industrial automation systems — First results , 2011, ETFA2011.

[25]  Valeriy Vyatkin,et al.  Engineering in Industrial Automation : State of the Art Review , 2013 .

[26]  A. Fay,et al.  Proceedings of the Combined workshop on Self-organizing , Adaptive , and Context-Sensitive Distributed Systems and Self-organized Communication in Disaster Scenarios ( SACS / SoCoDiS 2013 ) Keeping Pace with Changes Towards Supporting Continuous Improvements and Extensive Updates in Production Autom , 2013 .

[27]  Udo Kelter,et al.  Consistency-preserving edit scripts in model versioning , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[28]  Valeriy Vyatkin,et al.  Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers , 2013, TECS.

[29]  Udo Kelter,et al.  Understanding model evolution through semantically lifting model differences with SiLift , 2012, 2012 28th IEEE International Conference on Software Maintenance (ICSM).

[30]  Udo Kelter,et al.  A rule-based approach to the semantic lifting of model differences in the context of model versioning , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[31]  Birgit Vogel-Heuser,et al.  Delta modeling for variant-rich and evolving manufacturing systems , 2014, MoSEMInA 2014.

[32]  Lars Grunske,et al.  Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models , 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

[33]  Manfred Broy,et al.  Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance , 2014, Autom..

[34]  Bernhard Beckert,et al.  Regression Verification for Programmable Logic Controller Software , 2015, ICFEM.

[35]  Birgit Vogel-Heuser,et al.  Formal Technical Process Specification and Verification for Automated Production Systems , 2014, SAM.

[36]  Meir M. Lehman,et al.  On understanding laws, evolution, and conservation in the large-program life cycle , 1984, J. Syst. Softw..

[37]  Malte Lochau,et al.  Delta-oriented model-based integration testing of large-scale systems , 2014, J. Syst. Softw..

[38]  Gabriele Taentzer,et al.  Henshin: advanced concepts and tools for in-place EMF model transformations , 2010, MODELS'10.

[39]  B. Vogel-Heuser,et al.  Modeling network architecture and time behavior of Distributed Control Systems in industrial plant automation , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.

[40]  Winfried Lamersdorf,et al.  Operationalized definitions of non-functional requirements on automated production facilities to measure evolution effects with an automation system , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[41]  Tom Mens,et al.  Towards a taxonomy of software change , 2005, J. Softw. Maintenance Res. Pract..

[42]  Olaf Stursberg,et al.  Verification of PLC Programs Given as Sequential Function Charts , 2004, SoftSpez Final Report.

[43]  Birgit Vogel-Heuser,et al.  Model-based testing of PLC software: test of plants' reliability by using fault injection on component level , 2014 .

[44]  Birgit Vogel-Heuser,et al.  Challenges for Software Engineering in Automation , 2014 .

[45]  Hauke Baller,et al.  Towards incremental model slicing for delta-oriented software product lines , 2015, 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER).

[46]  Birgit Vogel-Heuser,et al.  Interaction of model-driven engineering and signal-based online monitoring of production systems: Towards Requirement-aware evolution , 2014, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society.

[47]  Ina Schaefer,et al.  Variability Modelling for Model-Driven Development of Software Product Lines , 2010, VaMoS.

[48]  Andy Schürr,et al.  Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain , 2014, Autom..

[49]  Birgit Vogel-Heuser,et al.  Challenges of Parallel Evolution in Production Automation Focusing on Requirements Specification and Fault Handling , 2014, Autom..

[50]  Birgit Vogel-Heuser,et al.  MODULARITY, VARIANT AND VERSION MANAGEMENT IN PLANT AUTOMATION – FUTURE CHALLENGES AND STATE OF THE ART , 2012 .