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...

Full description

Saved in:
Bibliographic Details
Main Authors: Lobov, A., Lastra, J.L.M., Tuokko, R.
Format: Conference Proceeding
Language:English
Subjects:
Automatic control
Closed loop systems
Control system synthesis
Control systems
Electrical equipment industry
LAN interconnection
Power system modeling
Production engineering
Prototypes
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1935-4576
2378-363X
DOI:10.1109/INDIN.2005.1560426