PLC的建模与形式检查已方法-毕业论文外文翻译.docxVIP

英文原文及翻译 PLC Modeling and Checking Based on Formal Method ABSTRACTHigh reliability is the key to performance of electrical control equipment. PLC combines computer technology, automatic control technology and communication technology and becomes widely used for automation of industrial processes. Some requirements of complex PLC systems cannot be satisfied by the traditional verification methods. In this paper, an efficient method for the PLC systems modeling and verification is proposed. To ensure the high-speed property of PLC, we proposed a technique of “Time interval model” and “notice-wai