Dimitrova, D.; Frey, G.; Batchkova, I.: Formal Approach for Modeling and Verification of IEC 61499 Function Blocks. Proceedings of the International Conference Advanced Manufacturing Technologies (AMTECH 2005), Vol. 44, Book 2, pp. 731-736, University of Russe, Bulgaria, Nov. 2005.


Component based automation is a very promising technique in achieving reconfigurable control systems. To support the development of such systems new rapid, highquality and costeffective approaches for their design and maintenance are needed. On the base of an analysis of the latest trend in industrial automation such as the IEC 61499 standard and in the software engineering such as formal techniques, a new approach for their integration is proposed. A formal modelling approach based on Signal Interpreted Petri Nets and formal methods for verification using NuSMV tool are combined in order to model and verify the IEC 61499 based basic function blocks.