http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179822
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
- 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