Valeriy Vyatkin

IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review

This review paper discusses the industrial and research activities around the IEC 61499 architecture for distributed automation systems. IEC 61499 has been developed to enable intelligent automation where the intelligence is genuinely decentralized and embedded into software components, which can be freely distributed across networked devices. With the recent emergence of professionally made software tools and dozens of hardware platforms, IEC 61499 is getting recognition in industry. This paper reviews research results related to the design of distributed automation systems with IEC 61499, the supporting tools and the aspects related to the execution of IEC 61499 on embedded devices. The promising application areas of IEC 61499 include flexible material handling systems, in particular airport baggage handling, flexible reconfigurable manufacturing automation, intelligent power distribution networks and SmartGrid, as well as the wide range of embedded networked systems.

Multiagent Smart Grid Automation Architecture Based on IEC 61850/61499 Intelligent Logical Nodes

Universal, intelligent, and multifunctional devices controlling power distribution and measurement will become the enabling technology of the Smart Grid ICT. In this paper, we report on a novel automation architecture which supports distributed multiagent intelligence, interoperability, and configurability and enables efficient simulation of distributed automation systems. The solution is based on the combination of IEC 61850 object-based modeling and interoperable communication with IEC 61499 function block executable specification. Using the developed simulation environment, we demonstrate the possibility of multiagent control to achieve self-healing grid through collaborative fault location and power restoration.

Distributed Power System Automation With IEC 61850, IEC 61499, and Intelligent Control

This paper presents a new approach to power system automation, based on distributed intelligence rather than traditional centralized control. The paper investigates the interplay between two international standards, IEC 61850 and IEC 61499, and proposes a way of combining of the application functions of IEC 61850-compliant devices with IEC 61499-compliant “glue logic,” using the communication services of IEC 61850-7-2. The resulting ability to customize control and automation logic will greatly enhance the flexibility and adaptability of automation systems, speeding progress toward the realization of the smart grid concept.

OOONEIDA: an open, object-oriented knowledge economy for intelligent distributed automation

OOONEIDA is a new initiative for enabling decentralized, agile industrial control and automation in discrete manufacturing and continuous process systems. The goal of the OOONEIDA project is the creation of the technological infrastructure for a new, open knowledge economy for automation components and automated industrial products. This will be done by further development of the concept of reusable portable software modules (function blocks), and by their application in the time- and cost-effective specification, design, validation, realization and deployment of intelligent mechatronic components in distributed industrial automation and control systems.

Verification of distributed control systems in intelligent manufacturing

This paper presents an application of formal methods for validation of flexible manufacturing systems controlled by distributed controllers. A software tool verification environment for distributed applications (VEDA) is developed for modeling and verification of distributed control systems. The tool provides an integrated environment for formal, model-based verification of the execution control of function blocks following the new international standard IEC61499. The modeling is performed in a closed-loop way using manually developed models of plants and automatically generated models of controllers.

OOONEIDA: an open, object-oriented knowledge economy for intelligent industrial automation

Open knowledge economy in intelligent industrial automation (OOONEIDA) is a new initiative for enabling decentralized, reconfigurable industrial control and automation in discrete manufacturing and continuous process systems. The goal of the OOONEIDA project is the creation of the technological infrastructure for a new, open knowledge economy for automation components and automated industrial products. This will be done by further development of the concept of reusable portable software modules (function blocks) and by their application in the time- and cost-effective specification, design, validation, realization, and deployment of intelligent mechatronic components in distributed industrial automation and control systems.

Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499

Airport baggage handling is a field of automation systems that is currently dependent on centralized control systems and conventional automation programming techniques. In this and other areas of manufacturing and materials handling, these legacy automation technologies are increasingly limiting for the growing demand for systems that are reconfigurable, fault tolerant, and easy to maintain. IEC 61499 Function Blocks is an emerging architectural framework for the design of distributed industrial automation systems and their reusable components. A number of architectures have been suggested for multiagent and holonic control systems that incorporate function blocks. This paper presents a multiagent control approach for a baggage handling system (BHS) using IEC 61499 Function Blocks. In particular, it focuses on demonstrating a decentralized control system that is scalable, reconfigurable, and fault tolerant. The design follows the automation object approach, and produces a function block component representing a single section of conveyor. In accordance with holonic principles, this component is autonomous and collaborative, such that the structure and the behavior of a BHS can be entirely defined by the interconnection of these components within the function block design environment. Simulation is used to demonstrate the effectiveness of the agent-based control system and a utility is presented for real-time viewing of these systems. Tests on a physical conveyor test system demonstrated deployment to embedded control hardware.

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

An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems

This paper discusses the extension of an ontology-based reconfiguration agent that uses ontological knowledge of the manufacturing environment for the purpose of reconfiguration without human intervention. The current mass customization era requires increased flexibility and agility in the manufacturing systems to adapt changes in manufacturing requirements and environments. Our configuration agent minimises the overheads of the current reconfiguration process by automating it. It infers facts about the manufacturing environment from the ontological knowledge model and then decides whether the current environment can support the given manufacturing requirements. This paper proposes an extension of the agent architecture enabling the integration between the high level planning with the distributed low level control compliant with the upcoming IEC 61499 function blocks standard.

A Synchronous Approach for IEC 61499 Function Block Implementation

IEC 61499 has been endorsed as the standard for modeling and implementing distributed industrial process measurement and control systems. The standard prescribes the use of function blocks for designing systems in a component-oriented approach. The execution model of a basic function block and the manner for event/data connections between blocks are described therein. Unfortunately, the standard does not provide exhaustive specifications for function block execution. Consequently, multiple standard-compliant implementations exhibiting different behaviors are possible. This not only defeats the purpose of having a standard but also makes verification of function block systems difficult. To overcome this, we propose synchronous semantics for function blocks and show its feasibility by translating function blocks into a subset of Esterel, a well-known synchronous language. The proposed semantics avoids causal cycles common in Esterel and is proved to be reactive and deterministic under any composition. Moreover, verification techniques developed for synchronous systems can now be applied to function blocks.