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 2003 IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2003 tenutosi a Lisbon (Portugal) nel 16-19 September 2003) [10.1109/ETFA.2003.1248708].
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.
Pubblicazioni consigliate
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
