A new article, titled “Virtual Prototyping a Production Line using Assume-Guarantee Contracts” co-authored with  Stefano SpelliniRoberta ChiricoMarco Panato, and Franco Fummi has been accepted for publication in the IEEE Transactions on Industrial Informatics.

The article presents a methodology to formalize the behavior of the machines composing a production line and to automatically generate their virtual prototypes for efficient and correct plant simulation. The approach exploits assume-guarantee reasoning through contracts to model the interaction between the different components of a production line.