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

fYear

2005

fDate

10-12 Aug. 2005

Firstpage

495

Lastpage

501

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Informatics, 2005. INDIN '05. 2005 3rd IEEE International Conference on

Print_ISBN

0-7803-9094-6

Type

conf

DOI

10.1109/INDIN.2005.1560426

Filename

1560426