A model-driven approach for industry 4.0.

Industrial systems are now more complex as manufactured units become more technical, manufacturing parts become more specific, and control standards change often. Digitalization attempts to address this issue by transforming systems to become more agile. Thus, production flexibility, quality, productivity, and dependability are all improved. Nevertheless, a considerable need still exists for efficient methods for developing models that can improve the capabilities of manufacturing systems. In order to achieve this goal, formal approaches and tools are becoming increasingly important. The developed tool takes as inputs a set of automata models for the plant and a set of semi-formal control specifications, and provides as output a set of distributed controllers in the form of Grafcet (IEC 60848 standard). Model-to-Model Transformations are used in the proof of concept proposition, which is developed as Eclipse open source solution. We illustrate the applicability of the framework through a manufacturing testbed example. [ABSTRACT FROM AUTHOR]