The paper describes a methodological framework that aims to apply formal design and verification techniques in the development of Industrial Control Systems, with particular regard to the domain of manufacturing machines. The methodology is based on an Object-Oriented approach, revisited in a mechatronic perspective.

Design and Verification of Mechatronic Object-Oriented Models for Industrial Control Systems / M., Bonfè; Fantuzzi, Cesare. - ELETTRONICO. - 2:(2003), pp. 253-260. ((Intervento presentato al convegno Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference tenutosi a Lisbon (Portugal) nel 16-19 September 2003.

Design and Verification of Mechatronic Object-Oriented Models for Industrial Control Systems

FANTUZZI, Cesare
2003

Abstract

The paper describes a methodological framework that aims to apply formal design and verification techniques in the development of Industrial Control Systems, with particular regard to the domain of manufacturing machines. The methodology is based on an Object-Oriented approach, revisited in a mechatronic perspective.
Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference
Lisbon (Portugal)
16-19 September 2003
2
253
260
M., Bonfè; Fantuzzi, Cesare
Design and Verification of Mechatronic Object-Oriented Models for Industrial Control Systems / M., Bonfè; Fantuzzi, Cesare. - ELETTRONICO. - 2:(2003), pp. 253-260. ((Intervento presentato al convegno Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference tenutosi a Lisbon (Portugal) nel 16-19 September 2003.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento 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: http://hdl.handle.net/11380/620561
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 38
  • ???jsp.display-item.citation.isi??? 17
social impact