On Integration of Model-based Validation in Software Engineering of Industrial Automation Systems

V. Vyatkin (New Zealand), S. Karras, T. Pfeiffer, and H.-M. Hanisch (Germany)


Industrial automation, modeling, formal verification,architecture, intelligent control


This paper introduces idea of a system architecture for industrial automation software systems which integrates the formal background of modular place transition models with the ideas of the upcoming IEC61499 standard for component based distributed measurement and control systems. Goal of the architecture is to support simulation and formal verification as a natural part of the engineering process in industrial automation.

Important Links:

Go Back