research interests

  • Engineering methodology for designing model-based object-oriented industrial automation systems. In particular, the investigation and applications of IEC 61499 and IEC 62424 standards in Intelligent Mechatronic Components (IMCs) from early conception to final implementation.
  • Systematic engineering methodology for designing IMCs following the interface-based composite Model-View-Control design pattern.
  • Development of integrated engineering environment for distributed control programs covering:
    • Open file format and generic data exchange mechanism
    • Data model and library fro IEC 61499 programming tools
    • Verification and simulation tools for IEC 61399 applications
    • Plug-in based integrated Development Envrionment (IDE) for IEC 61499 engineering
    • Intelligent programming technologies and techniques for industrial automation systems

current projects

FBench IDE [Project homepage] [SourceForge]

FBench

FBench Project is an open-sourced plug-in based IDE for engineering embedded automation systems according to the IEC 61499 standard

CAEX meta data model for generic data exchange of IEC 61499 lifecycle engineering

The CAEX meta data model from IEC 6242 is adopted for the engineering process of IEC 61499 applications to accomplish seamless integration of various development phrases.

Case study of practicing IMC design approach on various IDE for IEC 61499, including:

  •  FBDK: Distributing Station and Handling Station
  •  4DIAC: Stack Magazine module
  • nxtControl: WIP
  • ISaGRAF: WIP

DS and HS

 Formal verification and simulation for IEC 61499 applications

past projects

  • Visual NCES Editor (ViEd): a graphical editor for designing Net Condition Event Systems (NCES)
  • NCES model generator for IEC 61499 Function Block (Master of Engineering)

tools and demos

  • IEC 61499 MVC model for Distributing Station and Handling Station in FBDK
  • Stack Magazine MVC model for 4DIAC
  • Remote ImageDevice for FBDK

useful links

publications

  • C. Pang and V. Vyatkin, "Towards Formal Verification of IEC 61499: Modelling of Data and Algorithms in NCES," in 5th IEEE Conference on Industrial Informatics (INDIN 2007)Vien, Vienna, Austria, 2007.
  • C. Pang and V. Vyatkin, "Automatic Model Generation of IEC 61499 Function Block Using Net Condition/Event Systems," in 6th IEEE Conference on Industrial Informatics (INDIN 2008)Daej, Daejeon, Korean, 2008, pp. 1133-1138.
  • C. Pang and D. V. Vyatkin, "Systematic Closed-Loop Modelling in IEC 61499 Function Blocks: A Case Study," in Information Control Problems in Manufacturing, 2009. INCOM09. 13th IFAC Symposium onMosc, Moscow, Russia, 2009, pp. 199-204.
  • C. Pang and V. Vyatkin, "IEC 61499 Function Block Implementation of Intelligent Mechatronic Component," in 8th IEEE Conference on Industrial Informatics (INDIN 2008)Osak, Osaka, Japan, 2010.
  • C. Pang. ((March, 2009) [Online]. Development of IEC 61499 Function Block Model of FESTO Distributing Station: From Modelling to Formal Verification Available: http://www.ece.auckland.ac.nz/~cpan024/publications/iPubs.htm

CAEX meta-model for IMCs

CAEX meta-model provides a mechanism for seamless integrate the data exchange process accross various tools involved during the development process of IMCs.

Read more »

evaluation of IEC 61499 tools

This article focuses on the evaluation of currently availble development tools for IEC 61499, in particular: FBDK, 4DIAC, and nxtControl.

Read more »

IEC 61499 Tool Development Experiences

The new international standard IEC 61499 brings a new design paradim to the industrial automation field but also demands new development environments. This paper shares some experiences on this issue.

Read more »