Formal modeling of production processes and their optimization

Starting date
June 14, 2019
Duration (months)
Computer Science, Department of Engineering for Innovation Medicine
Managers or local contacts
Fummi Franco

The aim of the project is to model the various production lines through their digital twin at the right level of detail. With it, it is possible to evaluate the correctness of a production process, calculate its production time and production parameters such as: waste, use of machines, etc. In addition, by connecting the digital twin to the real production line it is possible to detect errors, exceptions and to identify more easily the corrections to be made to the production plan.


Veronesi Holding s.p.a.
Funds: assigned and managed by the department

Project participants

Alessia Bozzini
Roberta Chirico
Franco Fummi
Full Professor
Research areas involved in the project
Sistemi ciberfisici
Embedded and cyber-physical systems


Research facilities