Title :
A practical approach to object-oriented modeling of logic control systems for industrial applications
Author :
Bonfè, Marcello ; Fantuzzi, Cesare
Author_Institution :
Dip. Ingegneria, Ferrara Univ., Italy
Abstract :
The paper presents the results of an application of object-oriented modeling techniques to design manufacturing systems logic controllers. In particular, the semantical aspects of specification languages like UML and Statecharts, widely used in many software engineering methods, are analysed and discussed, with regard to their adequacy for the industrial domain and their verification with formal methods. The paper ends with the description of a practical case of study, which shows that the proposed design and verification techniques can be successfully adopted in a real industrial framework, given domain-specific adaptation of object-oriented modeling languages.
Keywords :
Unified Modeling Language; control system CAD; formal verification; object-oriented languages; simulation languages; Statechart; UML; formal method; logic control system; manufacturing systems logic controller; object-oriented modeling language; software engineering method; specification language; Application software; Control system synthesis; Electrical equipment industry; Industrial control; Logic design; Manufacturing industries; Manufacturing systems; Object oriented modeling; Specification languages; Unified modeling language;
Conference_Titel :
Decision and Control, 2004. CDC. 43rd IEEE Conference on
Conference_Location :
Nassau
Print_ISBN :
0-7803-8682-5
DOI :
10.1109/CDC.2004.1428812