Closed-loop modeling in future automation system engineering and validation

  • Authors:
  • Valeriy Vyatkin;Hans-Michael Hanisch;Cheng Pang;Chia-Han Yang

  • Affiliations:
  • Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand;Institute of Information Sciences, Martin Luther University of Halle-Wittenberg, Halle, Germany;Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand;Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand

  • Venue:
  • IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a new framework for design and validation of industrial automation systems based on systematic application of formal methods. The engineering methodology proposed in this paper is based on the component design of automated manufacturing systems from intelligent mechatronic components. Foundations of such components' information infrastructure are the new IEC 61499 architecture and the automation object concept. It is illustrated in this paper how these architectures, in conjunction with other advanced technologies, such as Unified Modeling Language, Simulink, and net condition/event systems, form a framework that enables pick-and-place design, simulation, formal verification, and deployment with the support of a suite of software tools. The key feature of the framework is the inherent support of formal validation techniques achieved on account of automated transformation among different system models. The paper appeals to developers of automation systems and automation software tools via showing the pathway to improve the system development practices by combining several design and validation methodologies and technologies.