An integrated framework for Model-based Design and Verification of discrete automation solutions

The design process of advanced control solutions has become more and more challenging due to the increasing complexity of current automation systems. In such a context, structured design approaches based on formal reference models as well as reliable verification processes have to be adopted. In addition, in last years Model-based Design methods are being extensively adopted thanks to their capability to deal with the whole control system development process through model abstraction and independence from specific programming languages. The present paper proposes an integrated framework for Model-based Design and Verification of complex automation solutions based on innovative methods and tools. Furthermore an application example, regarding the development of the control solution for an automatic warehouse system, is addressed to highlight the benefits of the proposed framework.