Consistency Check of the Functional Solution Model in Special Purpose Machinery

Individual customer demands and increasing technical complexity are placing an even greater importance on the engineering process for special purpose machine manufacturers. To support the engineering process the Manufacturing System Dependency Model (MaSDeM) was developed. The basic idea of the MaSDeM concept is to install a cross-domain solution model at the beginning of the engineering process representing the principle solution. The building blocks for this model are functionally categorized automation components. However, since the resulting system is more than the sum of its components, the links between the elements need to be examined. In this paper a consistency check for the MaSDeM cross-domain solution model is proposed. This involves the identification of the different types of links between the components. The features of the links and the component categorization are used to build up a knowledge base for the consistency check. Thereby the static and procedural structure and the process functionality of the solution model can be verified. Moreover, the links can provide further engineering information. A profound principle solution is hugely important for the engineering process, and thus the consistency check is a vital contributor to increasing the efficiency of the engineering process in special purpose machinery.

[1]  Martin Hubert Landherr Integrierte Produkt- und Montagekonfiguration für die variantenreiche Serienfertigung , 2014 .

[2]  Engelbert Westkämper Zukunftsperspektiven der digitalen Produktion , 2013 .

[3]  Martin Schilke Einsatz von Produktdatenmanagement-Systemen im Sondermaschinenbau für die Automobilindustrie , 2010 .

[4]  Johannes Hoos,et al.  Efficient engineering in special purpose machinery through automated control code synthesis based on a functional categorisation , 2015, ML4CPS.

[5]  Udo Lindemann,et al.  Kostengünstig Entwickeln und Konstruieren , 1998 .

[6]  Henry Muccini,et al.  Automated check of architectural models consistency using SPIN , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[7]  Engelbert Westkämper,et al.  Modelling Dependencies to Improve the Cross-domain Collaboration in the Engineering Process of Special Purpose Machinery , 2016 .

[8]  David J. Williams,et al.  The ManuFuture Road to High-Adding-Value Competitive Sustainable Manufacturing , 2008 .

[9]  Gernot Frank Durchgängiges mechatronisches Engineering für Sondermaschinen , 2016 .

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

[11]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[12]  Jörg Holtmann,et al.  Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems , 2013 .

[13]  Stephan Kleuker Formale Modelle der Softwareentwicklung , 2009 .

[14]  Stefan Assmann Methoden und Hilfsmittel zur abteilungsübergreifenden Projektierung komplexer Maschinen und Anlagen , 1996 .

[15]  Peter Goehner,et al.  Agent-based consistency check in early mechatronic design phase , 2013 .