UML-PA as an engineering model for distributed process automation

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 16, Issue , 2005, Pages 129-134

  Katzke, Uwe ^a   Vogel Heuser, Birgit ^a  

^a UNIVERSITY OF WUPPERTAL   (Germany)

Author keywords

Control applications of computer; Control system design; Modelling; Object modelling techniques; Object oriented programming; Programmable logic controllers; Programming approaches; Real time computer systems

Indexed keywords

AUTOMATION; COMPUTER CONTROL SYSTEMS; COMPUTER SYSTEMS PROGRAMMING; CONTROL SYSTEMS; DISTRIBUTED DATABASE SYSTEMS; MODELS; NETWORK SECURITY; PROCESS CONTROL; PROGRAMMABLE LOGIC CONTROLLERS; REAL TIME SYSTEMS; SOFTWARE DESIGN;

CONTROL APPLICATIONS; DISTRIBUTED PROCESS; ENGINEERING MODELING; HETEROGENEOUS DISTRIBUTED SYSTEMS; IMPLEMENTATIONAL MODELS; OBJECT MODELLING; OBJECT ORIENTED SOFTWARE DEVELOPMENT; REAL-TIME COMPUTER SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 79960712600     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20050703-6-cz-1902.01063     Document Type: Conference Paper

References (14)

1. Berkenkötter, B., Bisanz, S., Hannemann, U. and Peleska, J. (2004), HybridUML Profile for UML 2.0, SVERT., workshop hold in conjunction with UML 2003, San Francisco.
2. Friedrich, D., Vogel-Heuser, B. and Bristol, E. (Nov. 2003). Evaluation of Modeling Notations for Basic Software Engineering in Process Control. In: 29th Annual Conference of the IEEE Industrial Electronics Society (IECON 03), VA, USA.
3. Fuchs, M., et al. BMW-ROOM, An Object-Oriented Method for ASCET, Society of Automotive Engineers, Detroit, 1998.
4. Henzinger, T. A., Kirsch, C. M., Sanvido, M. A. A. and Pree, W. (2003). From Control Models to Real-Time Code Using Giotto, IEEE Control System Magazine 23, vol. 1, pp. 50-64.
5. Huber, F. and Schätz, B. (Dec. 2001). Integrated Development of Embedded Systems with Auto-Focus. Technical Report TUM-I0107, TU München, Institut für Informatik, Munich.
6. Kardos, M., Rammig, F., J. (2004). Model Based Formal Verification of Distributed Production Control Systems. Ehrig et al. (Eds.) Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes of Computer Science, Springer, Berlin.
7. Katzke U., Vogel-Heuser, B. and Fischer, K. (2004). Analysis and State of the Art of Modules in Industrial Automation. atp international, vol. 1, pp. 23-31.
8. Licht, T. (2004). Ein Verfahren zur zeitlichen Analyse von UML-Modellen beim Entwurf von Automatisierungssystemen. PhD Thesis, faculty of computer science and automation, Technical University of Ilmenau.
9. Nickel U., Schäfer, W. and Zündorf, A. (2003). Integrative Specification of Distributed Production Control Systems for Flexible Automated Manufacturing. In: M. Nagl, B. Westfechtel (Eds.) Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, Wiley-VCH Verlag, Weinheim.
10. OMG, UML 2.0 Superstructure Specification, www.omg.org/cgi-bin/doc?ptc/ 2004-10-02.
11. Overview of the Ptolemy project, technical memorandum UCB/ERL M03/25, http://ptolemy.eecs.berkeley.edu, 2004-09-29.
12. Stützle, R. (2002). Wiederverwendung ohne Mythos. Empirisch fundierte Leitlinien für die Entwicklung wiederverwendbarer Software, PhD Thesis, faculty of computer science, University of Munich.
13. Vogel-Heuser, B., Friedrich, D., Katzke, U. and Witsch, D., "Usability and benefits of UML for plant automation - some research results" accepted paper in atp international, 3(2005), issue 1, Oldenbourg Verlag, Munich, 2005.
14. Vogel-Heuser, B., Fischer, K., Göhner, P., Gutbrodt, F. and Katzke, U. (2004). Conceptual Design of an Engineering Model for Product and Plant Automation. In: Ehrig et al. (Eds.) Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes of Computer Science, vol. 3147, Springer, Berlin.