Automated formal verification for flexible manufacturing systems

Carpanzano, Emanuele and Ferrucci, L and Mandrioli, D and Mazzolini, Mauro and Morzenti, A and Rossi, M (2012) Automated formal verification for flexible manufacturing systems. UNSPECIFIED. Journal of Intelligent Manufacturing.

Text Automated formal verification for flexible manufacturing systems.pdf Download (448kB)

Abstract

In this paper we present an effective approach to perform formal verification of properties of interest of production systems whose behavior is modeled through Stateflow diagrams. The approach hinges on a semantics of Stateflow diagrams given in terms of formulae of a metric temporal logic. The semantics has been implemented in a fully automated tool which allows users to define a wide range of properties of interest and then to check whether they hold for the system or not. We also point out an error in the design of the system that has been detected by applying the technique.

Item Type:	Scientific journal article, Newspaper article or Magazine article
Subjects:	Engineering > Production & manufacturing engineering > Manufacturing systems engineering
Department/unit:	Dipartimento tecnologie innovative
Depositing User:	Matteo Cremaschi
Date Deposited:	04 Sep 2018 05:17
Last Modified:	04 Sep 2018 05:17
URI:	http://repository.supsi.ch/id/eprint/9737

Actions (login required)

View Item