Why Cyber-physical Production Systems Need a Descriptive Engineering Approach – A Case Study in Plug & Produce

Abstract Cyber-physical production systems’ main feature is adaptability, i.e. they adapt automatically to new situations without impairing the system's goals. An example is a smart factory that can adapt to new product variants or production systems, as a result of which, it guarantees a minimum energy consumption in any production scenario. At the heart of this is the capability to generate the automation software based on new requirements, i.e. based on the product description. Currently, two main solution philosophies exist to implement such an automatic software synthesis: 1. Compositional approaches generate the software by sticking predefined software components together. 2. Synthesis approaches generate the software from scratch based on models of the product and the production resources. We will outline and compare both solutions in-detail. Furthermore, the necessary models are described in this paper. Using examples from the field of manufacturing systems and from industrial automation, we will argue that only the second approach is suited to fulfil the promises of cyber-physical production systems.

[1]  Klas Nilsson,et al.  Knowledge-Based Reconfiguration of Automation Systems , 2007, 2007 IEEE International Conference on Automation Science and Engineering.

[2]  Wang Yi,et al.  Code Synthesis for Timed Automata , 2003 .

[3]  Davide Rossi,et al.  Using a process modeling language for the design and implementation of process-driven applications , 2007, International Conference on Software Engineering Advances (ICSEA 2007).

[4]  Benno Stein,et al.  Learning Behavior Models for Hybrid Timed Systems , 2012, AAAI.

[5]  Georg Frey,et al.  Towards a Model-Driven IEC 61131-Based Development Process in Industrial Automation , 2011, J. Softw. Eng. Appl..

[6]  Marcello Bonfe,et al.  Object-Oriented Modeling of Complex Mechatronic Components for the Manufacturing Industry , 2007 .

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

[8]  Frank van Harmelen,et al.  Web Ontology Language: OWL , 2004, Handbook on Ontologies.

[9]  Jay K. Strosnider,et al.  Model-driven synthesis of SOA solutions , 2008, IBM Syst. J..

[10]  Henning Trsek,et al.  Towards autoconfiguration of industrial automation systems: A case study using Profinet IO , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[11]  Edward A. Lee Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[12]  Birgit Vogel-Heuser,et al.  Wandlungsfähige Automation auf Knopfdruck , 2013 .

[13]  Matthias Loskyll,et al.  Context-Based Orchestration for Control of Resource-Efficient Manufacturing Processes , 2012, Future Internet.

[14]  Lars Duerkop,et al.  Using OPC-UA for the autoconfiguration of real-time Ethernet systems , 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).

[15]  Kleanthis Thramboulidis IEC 61131 as enabler of OO and MDD in industrial automation , 2012, IEEE 10th International Conference on Industrial Informatics.

[16]  Birgit Vogel-Heuser,et al.  Konzept zur Erhöhung der Flexibilität von Produktionsanlagen durch Einsatz von rekonfigurierbaren Anlagenkomponenten und echtzeitfähigen Softwareagenten , 2011, Echtzeit.

[17]  Marga Marcos,et al.  Automatic generation of PLC automation projects from component-based models , 2007 .

[18]  François Jammes,et al.  Service-oriented paradigms in industrial automation , 2005, IEEE Transactions on Industrial Informatics.

[19]  Nigel Shadbolt,et al.  Resource Description Framework (RDF) , 2009 .

[20]  Hans-Michael Hanisch,et al.  Model-based generation of modular PLC code using IEC61131 function blocks , 2002, Industrial Electronics, 2002. ISIE 2002. Proceedings of the 2002 IEEE International Symposium on.

[21]  Oliver Niggemann,et al.  Models for model's sake , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.