A comparison of inconsistency management approaches using a mechatronic manufacturing system design case study

Designing and developing complex mechatronic systems requires the consolidation of models from a variety of domains. These models are created by different stakeholders using a variety of formalisms for the purpose of addressing specific concerns, and are used for representing different views on the same system. While it is considered good practice to separate concerns as much as possible, a complete separation is impossible. The resulting model overlap opens the possibility of inconsistencies being introduced - that is, disagreements between views. Numerous approaches to identify and resolve such inconsistencies have been introduced in the software and systems engineering literature. However, in mechatronic design practice, these have gained little acceptance. The goal of this paper is two-fold: to investigate why their wide spread use is not common, and to assess which of the approaches is the most promising for multi-disciplinary systems design. To aid in the investigation, a change scenario is analyzed using the models of a mechatronic manufacturing system as a case study.

[1]  Konstantin Kernschmidt,et al.  An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering , 2013, 2013 IEEE International Conference on Automation Science and Engineering (CASE).

[2]  Christiaan J. J. Paredis,et al.  Towards Effective Management of Inconsistencies in Model-Based Engineering of Automated Production Systems , 2015 .

[3]  Wilhelm Schäfer,et al.  Management of Cross-Domain Model Consistency during the Development of Advanced Mechatronic Systems , 2009 .

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

[5]  Sebastian Schenkl,et al.  Decision Uncertainties in the Planning of Product-Service System Portfolios , 2015 .

[6]  Leon F. McGinnis,et al.  Visual Analytics for Early-Phase Complex Engineered System Design Support , 2015, IEEE Computer Graphics and Applications.

[7]  John S. Gero,et al.  Design Prototypes: A Knowledge Representation Schema for Design , 1990, AI Mag..

[8]  Christiaan J. J. Paredis,et al.  Bayesian Reasoning Over Models , 2014, MoDeVVa@MoDELS.

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

[10]  Ragnhild Van Der Straeten,et al.  Model refactorings through rule-based inconsistency resolution , 2006, SAC.

[11]  Ahsan Qamar,et al.  An Approach to Identifying Inconsistencies in Model-based Systems Engineering , 2014, CSER.

[12]  Gerti Kappel,et al.  On Synergies between Model Transformations and Semantic Web Technologies , 2014, MPM@MoDELS.

[13]  Alexander Egyed,et al.  Automatically Detecting and Tracking Inconsistencies in Software Design Models , 2011, IEEE Transactions on Software Engineering.

[14]  Klaus Zeman,et al.  Consistency Checking of Mechatronic Design Models , 2010 .

[15]  Bashar Nuseibeh,et al.  Leveraging Inconsistency in Software Development , 2000, Computer.

[16]  Stefan Biffl,et al.  Efficient monitoring of multi-disciplinary engineering constraints with semantic data integration in the Multi-Model Dashboard process , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[17]  Andrea Zisman,et al.  Inconsistency Management in Software Engineering: Survey and Open Research Issues , 2000 .

[18]  Stefan Biffl,et al.  Semantic Integration of Software and Systems Engineering Environments , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[19]  Holger Giese,et al.  From model transformation to incremental bidirectional model synchronization , 2009, Software & Systems Modeling.

[20]  Holger Giese,et al.  Towards the Design of Self-Optimizing Mechatronic Systems: Consistency between Domain-Spanning and , 2007 .

[21]  Ákos Horváth,et al.  Quick fix generation for DSMLs , 2011, 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

[22]  Martin Törngren,et al.  Integrating viewpoints in the development of mechatronic products , 2014 .

[23]  Ragnhild Van Der Straeten,et al.  Detecting and resolving model inconsistencies using transformation dependency analysis , 2006, MoDELS'06.

[24]  Bernhard Schätz,et al.  Consistency in model-based development , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[25]  C.J.H. Mann,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2009 .

[26]  D. Gabbay,et al.  Inconsistency Handling in Multiperspective Specifications , 1994 .

[27]  Ragnhild Van Der Straeten,et al.  A Framework for Managing Consistency of Evolving UML Models , 2005 .