On Industrial Automation Software Development; Modeling, Analysis and Execution Using Automation Components and IEC 61499
Licentiate thesis, 2006

Ever increasing need for new personalized products drives the development of flexible manufacturing system. Due to their complexity they are controlled using distributed control systems that use many cooperating computers for the control task. The computers execute the control software application that orchestrates the equipment of the manufacturing process towards the common goal of product making. The development process of the software application may be divided in two major steps. Generation of the control function and transformation of that function into executable control code. For the generation of the control function the development model presented in the thesis uses discrete event models and the synthesis algorithms provided by the formal framework of supervisory control theory. For the executable code the new IEC 61499 standard is used since it provides communication primitives necessary for software applications in distributed control systems. The first contribution presents a method for automatic transformation of synchronously executed discrete event models into IEC 61499 function block applications. On the other hand, the second contribution presents a method for generation of the discrete event models from already existing IEC 61499 function block applications. The second method makes the us- age of supervisory control theory possible for the verification of correctness of the modeled application. The third contribution presents a framework for component based soft- ware development for distributed control systems. It is based on software units called automation components and their composition using a novel approach of utilization hierarchy along side usual implementation hiding and grouping using aggregation hierarchy. The utilization hierarchy provides the capability needed for abstraction of functionality in control applications that makes dynamic zooming during the application simulation feasible.

Automation Components

Discrete Event Systems

Fuber

Supervisory Control Theory

Software Development

IEC 61499


Author

Goran Cengic

Chalmers, Signals and Systems, Systems and control

Implementation of full synchronous composition using IEC 61499 function blocks

2005 IEEE International Conference on Automation Science and Engineering (CASE) (IEEE Cat. No.05EX1181),; (2005)p. 267-72

Paper in proceeding

Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA; Hamburg; Germany; 20 September 2006 through 22 September 2006,; (2006)p. 1269-1276

Paper in proceeding

A Framework for Component Based Distributed Control Software Development Using IEC 61499

Proceedings of the 2006 IEEE International Conference on Emerging Technology and Factory Automation, Sep 2006, Prague, Czech Republic,; (2006)

Journal article

Subject Categories

Computer and Information Science

More information

Created

10/6/2017