Towards Effective Management of Inconsistencies in Model-Based Engineering of Automated Production Systems

Abstract The development of automated production systems requires the collaborative effort of a variety of stakeholders from different disciplines. In model-based systems engineering, stakeholders address their specific concerns by forming a number of views using models. Because of the multidisciplinary nature of automated production systems, a variety of modelling languages, formalisms and tools is typically employed. Nevertheless, the aggregation of models is nowadays limited by the communication between stakeholders and interdisciplinary understanding. Therefore, in order to achieve a positive outcome of the design process it is crucial that the models are free of inconsistencies. As a first step, this paper describes challenges related to managing inconsistencies in models of systems from the domain of automated production systems. A conceptual approach that uses semantic web technologies and a technology demonstrator illustrating the technical viability of the approach are shown. Finally, requirements for a discipline-spanning inconsistency management framework are derived based on the presented challenges and initial findings from applying the approach to a demonstration case.

[1]  Christiaan J. J. Paredis,et al.  A Conceptual Basis for Inconsistency Management in Model-based Systems Engineering☆ , 2014 .

[2]  Alexander Egyed,et al.  Determining the Cause of a Design Model Inconsistency , 2013, IEEE Transactions on Software Engineering.

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

[4]  Marcello Bonfè,et al.  On the Use of UML for Modeling Mechatronic Systems , 2007, IEEE Transactions on Automation Science and Engineering.

[5]  Manfred Broy,et al.  Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments , 2010, Proceedings of the IEEE.

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

[7]  Christiaan J. J. Paredis,et al.  A Conceptual Framework for Consistency Management in Model-Based Systems Engineering , 2011 .

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

[9]  Holger Giese,et al.  A Survey of Triple Graph Grammar Tools , 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

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

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

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

[13]  Tom Mens,et al.  Using Description Logic to Maintain Consistency between UML Models , 2003, UML.

[14]  Elisabet Estévez-Estévez,et al.  Model-Based Validation of Industrial Control Systems , 2012, IEEE Transactions on Industrial Informatics.

[15]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[16]  Dov M. Gabbay,et al.  Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..

[17]  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).

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

[19]  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..

[20]  Rolf Isermann,et al.  Mechatronic systems—Innovative products with embedded control , 2005 .