Title :
Application of UML in plant modeling for model-based verification: UML translation to TNCES
Author :
Lobov, Andrei ; Lastra, Jose L Martinez ; Tuokko, Reijo
Author_Institution :
Inst. of Production Eng., Tampere Univ. of Technol., Finland
Abstract :
There do exist dozens of formal languages and formalisms that may be used for modeling different phenomena of real world. The time for industrial acceptance of a certain language is directly proportional to the complexity of the language. In our work we apply timed net condition/event systems (TNCES) formalism for modeling a closed loop system depicting interconnected controller and controlled plant. We hope to increase the method adoption by applying a Unified Modeling Language (UML) for plant modeling. UML is well-developed language supported by a number of tools. This paper gives general details on the approach to the formal validation and verification of industrial systems and presents the translation procedure of UML to TNCES.
Keywords :
Unified Modeling Language; closed loop systems; controllers; factory automation; formal languages; program verification; TNCES formalism; UML; Unified Modeling Language; closed loop system modelling; formal language; formal validation; industrial system; interconnected controller; model-based verification; plant modeling; timed net condition event system; Automatic control; Closed loop systems; Control system synthesis; Control systems; Electrical equipment industry; LAN interconnection; Power system modeling; Production engineering; Prototypes; Unified modeling language;
Conference_Titel :
Industrial Informatics, 2005. INDIN '05. 2005 3rd IEEE International Conference on
Print_ISBN :
0-7803-9094-6
DOI :
10.1109/INDIN.2005.1560426
