Closed-Loop Modeling in Future Automation System Engineering and Validation

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

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on human-machine systems 2009-01, Vol.39 (1), p.17-28
Main Authors: Vyatkin, V., Hanisch, H.-M., Cheng Pang, Chia-Han Yang
Format: Article
Language:English
Subjects:
Applied sciences
Architecture
Automated
Automation
Computer programs
Computer science
control theory
systems
Control theory. Systems
Design automation
Design engineering
Exact sciences and technology
IEC standards
Intelligent manufacturing systems
Manufacturing automation
Manufacturing industries
Manufacturing systems
Mechatronics
Methodology
Process control. Computer integrated manufacturing
Programming languages
Programming theory
Software
Software engineering
software reusability
Software tools
software verification and validation (V&V)
Studies
Systems engineering and theory
Theoretical computing
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 componentspsila 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.
ISSN:1094-6977
2168-2291
1558-2442
1558-2442
2168-2305
DOI:10.1109/TSMCC.2008.2005785