The paper describes a methodological framework that aims to apply formal design and verification techniques to the domain of Logic Control and Supervision for Manufacturing Systems. The methodology is based on a Object-Oriented approach, supported by a syntactical and semantical adaptation of the semi-formal software specification languages UML and Statecharts. The modeling languages has been subsequently formalized, according to a semantics that take into account the concepts described in the IEC 61131-3 Standard for industrial controllers programming, in order to prove correctness properties expressed in the temporal logic CTL. The verification process is performed by means of the model checking tool SMV.

Design and Verification of Industrial Logic Controllers with UML and Statecharts / M., Bonfè; Fantuzzi, Cesare. - STAMPA. - 2:(2003), pp. 1029-1034. (Intervento presentato al convegno Control Applications, 2003. CCA 2003. Proceedings of 2003 IEEE Conference on tenutosi a Istambul, Turkey nel 23-25 June 2003).

Design and Verification of Industrial Logic Controllers with UML and Statecharts

FANTUZZI, Cesare
2003

Abstract

The paper describes a methodological framework that aims to apply formal design and verification techniques to the domain of Logic Control and Supervision for Manufacturing Systems. The methodology is based on a Object-Oriented approach, supported by a syntactical and semantical adaptation of the semi-formal software specification languages UML and Statecharts. The modeling languages has been subsequently formalized, according to a semantics that take into account the concepts described in the IEC 61131-3 Standard for industrial controllers programming, in order to prove correctness properties expressed in the temporal logic CTL. The verification process is performed by means of the model checking tool SMV.
2003
Control Applications, 2003. CCA 2003. Proceedings of 2003 IEEE Conference on
Istambul, Turkey
23-25 June 2003
2
1029
1034
M., Bonfè; Fantuzzi, Cesare
Design and Verification of Industrial Logic Controllers with UML and Statecharts / M., Bonfè; Fantuzzi, Cesare. - STAMPA. - 2:(2003), pp. 1029-1034. (Intervento presentato al convegno Control Applications, 2003. CCA 2003. Proceedings of 2003 IEEE Conference on tenutosi a Istambul, Turkey nel 23-25 June 2003).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/620562
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 18
  • ???jsp.display-item.citation.isi??? 7
social impact