Architecture for automation system development based on IEC 61499 standard

INDIN'05. 2005 3rd IEEE International Conference on …, 2005 - ieeexplore.ieee.org
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 …

Architecture for automation system development based on IEC61499 standard

V Vyatkin, S Karras, T Pfeiffer - … on Industrial Informatics: 10/08/2005 …, 2005 - diva-portal.org
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 …