Application of UML in plant modeling for model-based verification: UML translation to TNCES

摘要

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.