A Contractbased Methodology for Production Lines Validation The approach we present in this paper exploits assumeguarantee reasoning through contracts to model a production line, and to generate its virtual prototype for efficient and correct plant simulation. Contracts are used to model the different parts composing the line; the modeling is guided by a wellknown taxonomy associating industrial machines to manufacturing processes and their elementary actions, each represented by a contract. The composition of contracts representing the actions of a machine specifies each possible manufacturing process implemented by the machine. Then, automatic synthesis from contracts is used to generate an executable model of the machines composing the plant. The generated models are finally integrated into a stateofthepractice industrial plant simulation software to validate the execution of the production line.The entire methodology is presented by showing its stepbystep application to a concrete scenario.

Towards useroriented programming of skillbased Automation Systems using a domainspecific MetaModeling Approach Upcoming trends in manufacturing focus on flexible configuration of products up to lotsize one. This mass customization raises a need of flexible manufacturing and production systems that should react on fast changing market demands. As a result, it is getting more and more important to model all needed assets or skills in an useroriented and configurable manner. Assets can represent any type of data or skill information needed in a manufacturing domain. Data information could be for example shown to a human worker (e.g. work instructions, images, videos or animations) or could be required by robots (e.g. coordinates, velocities). Skill information represent any type of executable functionality provided by a device. This paper shows a generic approach to model needed context information of (collaborative) manufacturing tasks. This approach supports skillbased engineering enabling the usage of various components from different vendors. In addition, this work presents a domainspecific modeling approach of skills including the definition and validation of custom modeling rules.