Ivanova D.; Batchkova, I.; Frey, G., Velev, K.: Verification of Formal Control Models for Vacuum Creation at the EBMR Plant. Proceedings of the International Conference Automatics and Informatics, ISSN: 1313-1850, Sep. 2009.


Electron beam melting and refining (EBMR) in vacuum is a well established technology for the production of high quality pure metals and alloys. The vacuum control solution is developed according to the standards for Batch Control S88 and IEC 61499 Standard for Component Based Systems using the new created component library for batch process control in the frame of IEC 61499 in combination with the S³ technique, to provide high reusable components concerning batch processes and an easy way to reconfigure their executions. The goal of the resent paper is to propose an effective way to formal verification of the developed vacuum control components based on model checking technique to provide very powerful, correctness and reliable control systems.