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

2005 3rd IEEE International Conference on Industrial Informatics, INDIN

Volumn 2005, Issue , 2005, Pages 495-501

  Lobov, Andrei ^a,b   Martinez Lastra, Jose L ^a,b   Tuokko, Reijo ^a,b  

^a IEEE   (Finland)

^b TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

Model based verification; TNCES; UML

Indexed keywords

INDUSTRIAL ACCEPTANCE; MODEL BASED VERIFICATION; PLANT MODELING; UML TRANSLATION;

CLOSED LOOP CONTROL SYSTEMS; COMPUTATIONAL COMPLEXITY; COMPUTER SELECTION AND EVALUATION; INDUSTRIAL APPLICATIONS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33845319551     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2005.1560426     Document Type: Conference Paper

References (9)

1. G. Frey and L. Litz, "Formal methods in PLC programming". In Proceedings of the IEEE SMC, Nashville, USA, 2000
2. st IEEE conference on Industrial Informatics, Banff, Canada, 2003
3. M. Rausch, H-M Hanisch, "Net condition/event systems with multiple condition outputs", In Proceeding of Symposium on Emerging Technologies and Factory Automation, Paris, France, 1995
4. th International Conference on Emerging Technologies and Factory Automation, Los Angeles, USA, 1997
5. P. Starke, S. Roch, "Analyzing signal-event systems", Technical Report, Humboldt Universitat zu Berlin, Insitut für Informatik, 2002
6. th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2004, Bahia, Brasil, 2004
7. A. Lobov, "An approach to the formal verification of automated manufacturing systems with programmable control", M.Sc. Thesis, Tampere University of Technology, Tampere, Finland, 2004
8. Object Management Group, OMGXMLMetadata Interchange (XMI) Specification, version 1.2, January 2002
9. M. Bonfe, C. Fantuzzi, "Design and verification of mechatronic object-oriented models for industrial control systems", In Proceedings of IEEE International Conference on Emerging Technologues and Factory Automation, Volume: 2, 2003, Pages:253-260.