Modelling and platform application of the behaviour of a cyber physical production system

ABSTRACT Cyber physical production systems (CPPSs) exemplify the application of cyber physical systems in the manufacturing industry and are the basis for realising Industry 4.0. However, the adaptivity, reconfigurability, and interoperability of CPPSs result in high complexity and uncertainty in their design and implementation. To rectify this problem, this paper proposes a behavioural model-driven modelling method for lifecycle support of CPPSs. To this end, the general framework and operating mechanism of the proposed model are first specified and a meta-modelling language is developed based on object-oriented timed coloured knowledge Petri net. Subsequently, the hierarchical modelling and platform application of the CPPS behaviour is realised, and a laboratory-scale case study that demonstrates the efficacy of the proposed approach is presented.

[1]  K. Chenu,et al.  Model-assisted phenotyping and ideotype design , 2015 .

[2]  Alberto Rodrigues da Silva,et al.  Model-driven engineering: A survey supported by the unified conceptual model , 2015, Comput. Lang. Syst. Struct..

[3]  Paulo Leitão,et al.  Industrial automation based on cyber-physical systems technologies: Prototype implementations and challenges , 2016, Comput. Ind..

[4]  Bernd Bertsche,et al.  Modelling the production systems in industry 4.0 and their availability with high-level Petri nets , 2016 .

[5]  Carmen Constantinescu,et al.  A knowledge-based tool for designing cyber physical production systems , 2017, Comput. Ind..

[6]  Birgit Vogel-Heuser,et al.  Coupling heterogeneous production systems by a multi-agent based cyber-physical production system , 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

[7]  Lifeng Zhou,et al.  Industry 4.0: Towards future industrial opportunities and challenges , 2015, 2015 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD).

[8]  Peter Fritzson.  Modelica — A cyber-physical modeling language and the OpenModelica environment , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[9]  Yang Lu,et al.  Cyber Physical System (CPS)-Based Industry 4.0: A Survey , 2017 .

[10]  Stamatis Karnouskos,et al.  Towards the Next Generation of Industrial Cyber-Physical Systems , 2014 .

[11]  Leon Urbas,et al.  Model-based engineering of CPPS in the process industries , 2017, 2017 IEEE 15th International Conference on Industrial Informatics (INDIN).

[12]  Mathias Schmitt,et al.  Towards Industry 4.0 - Standardization as the crucial challenge for highly modular, multi-vendor production systems , 2015 .

[13]  Okyay Kaynak,et al.  Industrial Cyberphysical Systems: A Backbone of the Fourth Industrial Revolution , 2017, IEEE Industrial Electronics Magazine.

[14]  Paulo Leitão,et al.  Intelligent products: The grace experience , 2015 .

[15]  Davide Bresolin,et al.  A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems , 2015, Proceedings of the IEEE.

[16]  Fernando Pereira,et al.  Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification , 2016, DoCEIS.

[17]  Vitaliy Mezhuyev,et al.  Metamodeling Methodology for Modeling Cyber-Physical Systems , 2016, Cybern. Syst..

[18]  Stefan Biffl,et al.  Versioning in Cyber-physical Production System Engineering -- Best-Practice and Research Agenda , 2015, 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems.

[19]  Soundar R. T. Kumara,et al.  Cyber-physical systems in manufacturing , 2016 .

[20]  Yingfeng Zhang,et al.  A Timed Colored Petri Net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems , 2017 .

[21]  Marcelo V. Garcia,et al.  UML-Based Cyber-Physical Production Systems on Low-Cost Devices under IEC-61499 , 2018 .

[22]  Birgit Vogel-Heuser,et al.  Design, modelling, simulation and integration of cyber physical systems: Methods and applications , 2016, Comput. Ind..

[23]  Jie Chen,et al.  Modeling and Analysis of Cyber–Physical System Based on Object-Oriente Generalized Stochastic Petri Net , 2020 .

[24]  Idilia Batchkova,et al.  Monitoring and control of cyber-physical systems – the backbone of Industry 4.0 , 2018 .

[25]  Fu-Shiung Hsieh,et al.  Design of reconfiguration mechanism for holonic manufacturing systems based on formal models , 2010, Eng. Appl. Artif. Intell..

[26]  Nikolay Mehandjiev,et al.  A Conceptual Architecture Based on Intelligent Services for Manufacturing Support Systems , 2013, 2013 IEEE International Conference on Systems, Man, and Cybernetics.

[27]  Henry Muccini,et al.  On the Use of Component-Based Principles and Practices for Architecting Cyber-Physical Systems , 2016, 2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).

[28]  László Monostori,et al.  ScienceDirect Variety Management in Manufacturing . Proceedings of the 47 th CIRP Conference on Manufacturing Systems Cyber-physical production systems : Roots , expectations and R & D challenges , 2014 .

[29]  Dekun Liu,et al.  The framework design of smart factory in discrete manufacturing industry based on cyber-physical system , 2020, Int. J. Comput. Integr. Manuf..

[30]  Birgit Vogel-Heuser,et al.  Agents enabling cyber-physical production systems , 2015, Autom..

[31]  Yang Jin,et al.  Distributed Dynamic Scheduling for Cyber-Physical Production Systems Based on a Multi-Agent System , 2018, IEEE Access.

[32]  Stamatis Karnouskos,et al.  Towards the Factory of the Future: A Service-oriented Cross-layer Infrastructure , 2009 .

[33]  Ying Liu,et al.  Agent and Cyber-Physical System Based Self-Organizing and Self-Adaptive Intelligent Shopfloor , 2017, IEEE Transactions on Industrial Informatics.

[34]  Chenyuan Zhang,et al.  Digital twin-enabled reconfigurable modeling for smart manufacturing systems , 2019, Int. J. Comput. Integr. Manuf..

[35]  Zhenhua Yu,et al.  Formal modeling and control of cyber-physical manufacturing systems , 2017 .

[36]  Ana Cachada,et al.  Petri nets approach for designing the migration process towards industrial cyber-physical production systems , 2017, IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society.

[37]  Michael Vielhaber,et al.  Petri net controlled virtual commissioning – A virtual design-loop approach , 2020 .

[38]  Sebastian Engell,et al.  A Modelica-based Modeling and Simulation Framework for Large-scale Cyber-physical Systems of Systems , 2015 .