Architecture-Based Assessment and Planning of Software Changes in Information and Automated Production Systems State of the Art and Open Issues

Information and automated production systems are long-living, evolvable systems. Consequently, modifications are performed to correct, improve or adapt the respective system. We introduce different approaches to analyze maintainability of software-intensive systems and propose two different case studies from the information and from the automated production systems domain as a basis to validate approaches on system evolution.

[1]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[2]  Valeriy Vyatkin.  IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review , 2011, IEEE Transactions on Industrial Informatics.

[3]  Wilhelm Hasselbring,et al.  Integrating Run-time Observations and Design Component Models for Cloud System Analysis , 2014, Models@run.time.

[4]  Juan Manuel Fernández Peña,et al.  Unified Modeling Language Unified Modeling Language , 2006 .

[5]  Steffen Becker,et al.  The Palladio component model for model-driven performance prediction , 2009, J. Syst. Softw..

[6]  Dieter K. Hammer,et al.  Architectures in context: on the evolution of business, application software, and ICT platform architectures , 2004, Inf. Manag..

[7]  Klaus Pohl,et al.  Measuring the structural complexity of feature models , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[8]  Paulo Leitão,et al.  ADACOR: A holonic architecture for agile and adaptive manufacturing control , 2006, Comput. Ind..

[9]  Jennifer Widom,et al.  Change detection in hierarchically structured information , 1996, SIGMOD '96.

[10]  Jan Jürjens,et al.  A Platform for Empirical Research on Information System Evolution , 2015, SEKE.

[11]  Birgit Vogel-Heuser,et al.  Fundamental Aspects Concerning the Usability Evaluation of Model-Driven Object Oriented Programming Approaches in Machine and Plant Automation , 2011, HCI.

[12]  Robert Heinrich,et al.  Deriving Work Plans for Solving Performance and Scalability Problems , 2014, EPEW.

[13]  David Lorge Parnas,et al.  The Modular Structure of Complex Systems , 1984, IEEE Transactions on Software Engineering.

[14]  Len Bass,et al.  Architecture-Centric Software Project Management: A Practical Guide , 2002 .

[15]  David Chenho Kung,et al.  Change impact identification in object oriented software maintenance , 1994, Proceedings 1994 International Conference on Software Maintenance.

[16]  Ralf Carbon.  Architecture-centric software producibility analysis , 2012 .

[17]  Sven Apel,et al.  Detection of feature interactions using feature-aware verification , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[18]  Kung-Kiu Lau,et al.  A taxonomy of software component models , 2005, 31st EUROMICRO Conference on Software Engineering and Advanced Applications.

[19]  Krzysztof Czarnecki,et al.  Reverse engineering feature models , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[20]  P. John Clarkson,et al.  A Holistic Categorization Framework for Literature on Engineering Change Management , 2013, Syst. Eng..

[21]  Heiko Koziolek,et al.  CoCoME - The Common Component Modeling Example , 2007, CoCoME.

[22]  Birgit Vogel-Heuser,et al.  Model-driven Engineering of Manufacturing Automation Software Projects - A SysML-based Approach , 2014, ArXiv.

[23]  Sven Apel,et al.  Variability-aware performance prediction: A statistical learning approach , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[24]  J. B. Dreger,et al.  Function point analysis , 1989 .

[25]  M. Bonfe,et al.  A SysML-Based Methodology for Manufacturing Machinery Modeling and Design , 2011, IEEE/ASME Transactions on Mechatronics.

[26]  Wolfgang Pree,et al.  Variability in Automation System Models , 2009, ICSR.

[27]  Wilhelm Schäfer,et al.  MANAGEMENT OF CROSS-DOMAIN MODEL CONSISTENCY FOR BEHAVIORAL MODELS OF MECHATRONIC SYSTEMS , 2012 .

[28]  David Whiteley,et al.  An Introduction to Information Systems , 2013 .

[29]  Jan Bosch,et al.  Architecture-level modifiability analysis (ALMA) , 2004, J. Syst. Softw..

[30]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[31]  Alexander Fay,et al.  METHOD FOR THE ANALYSIS OF TEMPORAL CHANGE OF PHYSICAL STRUCTURE IN THE INSTRUMENTATION AND CONTROL LIFE-CYCLE , 2013 .

[32]  George Q. Huang,et al.  Current practice of engineering change management in Hong Kong manufacturing industries , 2003 .

[33]  Klaus Kabitzsch,et al.  Reasoning of feature models from derived features , 2012, GPCE '12.

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

[35]  Claudia Eckert,et al.  Engineering change: an overview and perspective on the literature , 2011 .

[36]  Christoph Weidenbach,et al.  Automated verification of interactive rule-based configuration systems , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[37]  M. E. Conway.  HOW DO COMMITTEES INVENT , 1967 .

[38]  Rick Kazman,et al.  Evaluating Software Architectures: Methods and Case Studies , 2001 .

[39]  Ralf H. Reussner,et al.  Reliability prediction for component-based software architectures , 2003, J. Syst. Softw..

[40]  Stefan Kowalewski,et al.  Applying software product line techniques in model-based embedded systems engineering , 2009, 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software.

[41]  Matthias Naab.  Enhancing Architecture Design Methods for Improved Flexibility in Long-Living Information Systems , 2011, ECSA.

[42]  Barbara Paech,et al.  Integrating business process simulation and information system simulation for performance prediction , 2017, Software & Systems Modeling.

[43]  Ellis Horowitz,et al.  Software Cost Estimation with COCOMO II , 2000 .

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

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

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

[47]  Meir M. Lehman,et al.  Program evolution: processes of software change , 1985 .

[48]  Stefan Feldmann,et al.  An analysis of challenges and state of the art for modular engineering in the machine and plant manufacturing domain , 2015 .

[49]  Kleanthis Thramboulidis,et al.  The 3+1 SysML View-Model in Model Integrated Mechatronics , 2010, J. Softw. Eng. Appl..

[50]  Sofware Evolution And....  Software evolution and feedback : theory and practice , 2014 .

[51]  Robert Heinrich,et al.  Architecture-based assessment and planning of change requests , 2015, 2015 11th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA).

[52]  Paul Grünbacher,et al.  The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study , 2011, Automated Software Engineering.

[53]  A. Shepherd,et al.  Guide to Task Analysis , 2003 .

[54]  Wilhelm Hasselbring,et al.  Run-time Architecture Models for Dynamic Adaptation and Evolution of Cloud Applications , 2015 .

[55]  Nasser Jazdi,et al.  Requirements on engineering tools for increasing reuse in industrial automation , 2011, ETFA2011.

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

[57]  Jan Bosch,et al.  Architecture level prediction of software maintenance , 1999, Proceedings of the Third European Conference on Software Maintenance and Reengineering (Cat. No. PR00090).

[58]  Lionel C. Briand,et al.  Impact analysis and change management of UML models , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..

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

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

[61]  Birgit Vogel-Heuser,et al.  Development and Evaluation of a Model for Modular Automation in Plant Manufacturing , 2004 .

[62]  Birgit Vogel-Heuser,et al.  Engineering Support in the Machine Manufacturing Domain through Interdisciplinary Product Lines: An Applicability Analysis , 2015 .

[63]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[64]  Robert Heinrich,et al.  Towards Automated Software Project Planning - Extending Palladio for the Simulation of Software Processes , 2013, KPDAYS.

[65]  Peter Nyhuis,et al.  Changeable Manufacturing - Classification, Design and Operation , 2007 .

[66]  Allen Newell,et al.  The keystroke-level model for user performance time with interactive systems , 1980, CACM.

[67]  Marcello Bonfe,et al.  Design patterns for model-based automation software design and implementation , 2013 .

[68]  Thomas Leich,et al.  FeatureIDE: An extensible framework for feature-oriented software development , 2014, Sci. Comput. Program..

[69]  Bradley R. Schmerl,et al.  Evolution styles: Foundations and tool support for software architecture evolution , 2009, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture.

[70]  C. R. Maga,et al.  An approach for modeling variants of industrial automation systems , 2010, 2010 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).

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

[72]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[73]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

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

[75]  Robert Heinrich,et al.  Architecture-based Analysis of Changes in Information System Evolution , 2015, Softwaretechnik-Trends.

[76]  Birgit Vogel-Heuser,et al.  PLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering – Aspects on Behavioral Semantics and Model-Checking , 2011 .

[77]  Hans van Vliet,et al.  Towards a broader view on software architecture analysis of flexibility , 1999, Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).

[78]  Bruno Agard,et al.  Module Selection and Supply Chain Optimization for Customized Product Families Using Redundancy and Standardization , 2011, IEEE Transactions on Automation Science and Engineering.

[79]  George Q. Huang,et al.  Current practices of engineering change management in UK manufacturing industries , 1999 .

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

[81]  Barry Kirwan,et al.  A Guide To Task Analysis: The Task Analysis Working Group , 1992 .

[82]  Nikolaos Papakonstantinou,et al.  Generating an Object Oriented IEC 61131-3 software product line architecture from SysML , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[83]  Paul Grünbacher,et al.  Managing the Life-cycle of Industrial Automation Systems with Product Line Variability Models , 2008, 2008 34th Euromicro Conference Software Engineering and Advanced Applications.