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. Journal of Intelligent Manufacturing.

[img] 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.

Actions (login required)

View Item View Item