A practical approach to object-oriented modeling of logic control systems for industrial applications
Conference Paper
Publication Date:
2004
Short description:
A practical approach to object-oriented modeling of logic control systems for industrial applications / M., Bonfè; Fantuzzi, Cesare. - ELETTRONICO. - (2004), pp. 980-985. ( 2004 43rd IEEE Conference on Decision and Control (CDC) Nassau, bhs December 14–17 2004) [10.1109/CDC.2004.1428812].
abstract:
The paper presents the results of an applicationof object-oriented modeling techniques to design manufacturingsystems logic controllers. In particular, the semanticalaspects of specification languages like UML and Statecharts,widely used in many Software Engineering methods, areanalysed and discussed, with regard to their adequacy forthe industrial domain and their verification with formalmethods. The paper ends with the description of a practicalcase of study, which shows that the proposed design andverification techniques can be successfully adopted in a realindustrial framework, given domain-specific adaptation ofobject-oriented modeling languages.
Iris type:
Relazione in Atti di Convegno
Keywords:
Discrete event control; Automatic control
List of contributors:
M., Bonfè; Fantuzzi, Cesare
Book title:
Proceedings of Decision and Control, 2004. CDC. 43rd IEEE Conference on
Published in: