High 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 industr...High 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-waiting”. It could reduce the state space and make it possible to verify some complex PLC systems. Also, the conversion from the built PLC model to the Promela language is obtained and a tool PLC-Checker for modeling and checking PLC systems are designed. Using PLC-Checker to check a classical PLC example, a counter-example is found. Although the probability of this logic error occurs very small, it could result in system crash fatally.展开更多
针对复杂算法在PLC运动控制系统中难以工程实现的问题,该文提出了一种基于MBD(model based design)的系统设计和应用方法。首先,利用MATLAB/Simulink建立控制模型并仿真验证,预留变量接口,正确匹配参数定义和数据类型;然后,基于Simulink...针对复杂算法在PLC运动控制系统中难以工程实现的问题,该文提出了一种基于MBD(model based design)的系统设计和应用方法。首先,利用MATLAB/Simulink建立控制模型并仿真验证,预留变量接口,正确匹配参数定义和数据类型;然后,基于Simulink PLC Coder将模型转换为符合IEC 61131-3标准的结构化文本ST(structure text)代码,根据集成开发环境CoDeSys定制文件格式;最后,将生成代码以功能块FB(function block)的形式导入CoDeSys,实现算法与应用程序的集成。某型起重机回转控制系统的应用证明了MBD方法可有效解决复杂算法工程实现难的问题。展开更多
文摘High 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-waiting”. It could reduce the state space and make it possible to verify some complex PLC systems. Also, the conversion from the built PLC model to the Promela language is obtained and a tool PLC-Checker for modeling and checking PLC systems are designed. Using PLC-Checker to check a classical PLC example, a counter-example is found. Although the probability of this logic error occurs very small, it could result in system crash fatally.
