The approach we present in this paper exploits assume-guarantee 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 well-known 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 state-of-the-practice industrial plant simulation software to validate the execution of the production line.The entire methodology is presented by showing its step-by-step application to a concrete scenario.

A Contract-based Methodology for Production Lines Validation

Chirico, Roberta;Spellini, Stefano;Panato, Marco;Lora, Michele;Fummi, Franco
2019

Abstract

The approach we present in this paper exploits assume-guarantee 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 well-known 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 state-of-the-practice industrial plant simulation software to validate the execution of the production line.The entire methodology is presented by showing its step-by-step application to a concrete scenario.
978-1-7281-2927-3
Advanced manufacturing, digital twin, cyber-physical systems, design automation, contract-based design
File in questo prodotto:
File Dimensione Formato  
08972100.pdf

solo utenti autorizzati

Tipologia: Documento in Post-print
Licenza: Accesso ristretto
Dimensione 334.78 kB
Formato Adobe PDF
334.78 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/1011866
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact