Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0

This paper analyzes a set of languages and standard used when designing industrial plants. It focuses on AutomationML and B2MML to specify respectively the architecture and the intended production of the system being designed. It also relies on the DIN 8580 standard to describe the actions performed by each machine composing the production line.Then, it outlines a methodology starting by mapping the information expressed by the analyzed languages and standards into the Assume-Guarantee Contracts formalism. It exploits contract-based design concepts to tackle the increase automation of the industrial plant design process and to enable the generation of digital twins. The approach is outlined by showing its applicability to a concrete manufacturing scenario.