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.

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

Spellini, Stefano;CHIRICO, ROBERTA;Lora, Michele;Fummi, Franco
2019

Abstract

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.
978-1-7281-4113-8
Industry 4.0, Electronic Design Automation, Smart Manufacturing, Digital Twin
File in questo prodotto:
File Dimensione Formato  
08876899.pdf

solo utenti autorizzati

Tipologia: Documento in Post-print
Licenza: Accesso ristretto
Dimensione 593.98 kB
Formato Adobe PDF
593.98 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/1001899
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact