Production Recipe Validation through Formalization and Digital Twin Generation
| Autor: | Franco Fummi, Roberta Chirico, Michele Lora, Marco Panato, Stefano Spellini |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
010302 applied physics
Production line Industry 4.0 Computer science 02 engineering and technology Process validation 01 natural sciences Industrial engineering 020202 computer hardware & architecture Product (business) Set (abstract data type) smart manufacturing industry 4.0 digital twin digital twin Formal specification 0103 physical sciences 0202 electrical engineering electronic engineering information engineering Production (economics) Electronic design automation smart manufacturing industry 4.0 |
| Zdroj: | DATE |
| DOI: | 10.23919/date48585.2020.9116343 |
| Popis: | The advent of Industry 4.0 is making production processes every day more complicated. As such, early process validation is becoming crucial to avoid production errors thus decreasing costs. In this paper, we present an approach to validate production recipes. Initially, the recipe is specified according to the ISA-95 standard, while the production plant is described using AutomationML. These specifications are formalized into a hierarchy of assume-guarantee contracts. Each contract specifies a set of temporal behaviors, characterizing the different machines composing the production line, their actions and interaction. Then, the formal specifications provided by the contracts are systematically synthesized to automatically generate a digital twin for the production line. Finally, the digital twin is used to evaluate, and validate, both the functional and the extra-functional characteristics of the system. The methodology has been applied to validate the production of a product requiring additive manufacturing, robotic assembling and transportation. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|