Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. (1st February 2007)

• Record Type: Journal Article
• Authors: Vyatkin, Valeriy; Hanisch, Hans-Michael; Karras, Sirko; Pfeiffer, Thomas; , Victor Dubinin
• Is Part Of: International journal of manufacturing research. Volume 1:Number 4(2006)
• Page Start: 382
• Page End: 404
• Publication Date: 2007-02-01
• Subjects: automation objects -- distributed control -- IEC 61499 -- verification -- rapid engineering -- object re-configuration -- formal modelling -- intelligent manufacturing systems -- IMS -- information processing -- mechatronic ontologies -- object-oriented design -- manufacturing flexibility -- flexible manufacturing -- intelligent automation; Manufacturing processes -- Periodicals; Manufacturing processes -- Automation -- Periodicals; Production engineering -- Periodicals; Factory management -- Periodicals; 670.5
• Languages: English
• ISSNs: 1750-0591

Abstract

This paper is about the engineering of the information processing and control part of intelligent manufacturing systems. A number of recently developed technologies can bring qualitative benefits to the users and vendors of such systems. In particular, component distributed architectures (IEC 61499), mechatronic ontologies, object-oriented design methods (UML) and formal verification, if properly combined, can provide real plug and play of intelligent machines, and thus drastically improve the flexibility of manufacturing systems. The paper surveys important relevant works in the area of intelligent automation and presents new ideas on object-oriented development of automation systems. The ideas presented in this paper reflect current progress of the ongoing R&D project VAIAS, 'Validatable Architectures for Industrial Automation Systems'.