Architecture for automation system development based on IEC 61499 standard

This paper introduces an idea of a validatable architecture for software intensive industrial automation systems. The validation means will be provided through the formal modeling of automation systems, including both modeling of uncontrolled behavior of the equipment and modeling of the control system. This will be achieved through the facilitated reuse and integration of basic models to the models of complex systems. The validation will be empowered by advanced formal verification techniques combined with more usual testing by simulation. The discussed architecture bases on the latest developments in automation such as IEC 61499 standard, on the latest trends in model-based software engineering, e.g. UML, and on modular modeling concepts of condition/event systems.

[1]  Bruce P. Douglass,et al.  Doing hard time: developing real-time systems with uml , 1999 .

[2]  Valeriy Vyatkin,et al.  Modelling and Verification of PLC-Based Systems Programmed with Ladder Diagrams , 2004 .

[3]  Valeriy Vyatkin,et al.  Intelligent mechatronic components: control system engineering using an open distributed architecture , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[4]  Valeriy Vyatkin,et al.  Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems , 2003, IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings..

[5]  H.-M. Hanisch,et al.  Bringing the Model-Based Verification of Distributed Control Systems into the Engineering Practice , 2001 .

[6]  K.C. Thramboulidis,et al.  Using UML in control and automation: a model driven approach , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[7]  V. Vyatkin,et al.  How does the IEC61499 architecture fit the requirements of intelligent automation systems? , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[8]  Marcello Bonfè,et al.  Design and verification of mechatronic object-oriented models for industrial control systems , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[9]  Valeriy Vyatkin,et al.  Verification of distributed control systems in intelligent manufacturing , 2003, J. Intell. Manuf..

[10]  Georg Frey,et al.  Formalization of existing PLC Programs: A Survey , 2003 .

[11]  Hervé Guéguen,et al.  A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic , 2003 .

[12]  Kleanthis Thramboulidis.  Development of distributed industrial control applications: the CORFU framework , 2002, 4th IEEE International Workshop on Factory Communication Systems.

[13]  Bernd J. Krämer,et al.  Modular Verification of Function Block Based Industrial Control Systems , 1999 .

[14]  M. Bonfe,et al.  Application of object-oriented modeling tools to design the logic control system of a packaging machine , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[15]  K. Feldmann,et al.  Development of an open, event-based and platform independent architecture for distributed and intelligent control systems , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.