Model-Checking based Verification approach for advanced Industrial Automation solutions (Contributo in atti di convegno)

Type
Label
  • Model-Checking based Verification approach for advanced Industrial Automation solutions (Contributo in atti di convegno) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Alternative label
  • Mazzolini M.; Brusaferri A.; Carpanzano E. (2010)
    Model-Checking based Verification approach for advanced Industrial Automation solutions
    in IEEE Conference on Emerging Technologies & Factory Automation, Bilbao, 2010
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Mazzolini M.; Brusaferri A.; Carpanzano E. (literal)
Rivista
Note
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Istituto di tecnologie industriali e automazione (literal)
Titolo
  • Model-Checking based Verification approach for advanced Industrial Automation solutions (literal)
Abstract
  • Modern automation systems shall be able to conjugate increasing complexity of controlled processes with agile production reconfiguration requirements. In such a context, structured design approaches based on formal reference models as well as integrated verification and validation process, have to be adopted. To such an aim, present paper proposes an approach based on Model- Checking methods and tools oriented to the Verification of logic control systems in the field of Industrial Automation. In particular, graphical Stateflow based model deployment, Bounded Model Checking techniques and Model Coverage properties have been considered. Furthermore, the proposed approach have been applied regarding the development of the control solution for an automatic warehouse system integrated into a flexible shoes manufacturing plant. (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
data.CNR.it