Validating programmable logic controller systems with duration calculus

作者：He Anping; Wu Jinzhao; Yang Shihan; Zhou Yongquan

来源：International Journal of Innovative Computing Information and Control, 2013, 9(11): 4519-4530.

• Duration calculus
• EDC
• Hierarchical analysis
• PLC system
• Programmable logic
• Programmable logic controllers (PLC)
• Safety critical systems

The programmable logic controller (PLC) system is a type of the hybrid systems, which is a widely used safety-critical system in industry. It is regarded that the formal method is a valuable and indispensable way of analyzing and validating the PLC systems. However, which formal methods and how to use the methods are challenges. In this article, we propose a specific formal method of the PLC systems, e.g., we formalize the PLC systems by the EDC formulae hierarchically, specify the property as the formulae, and then analyze and verify the system in the framework of the EDC calculus. So in fact we propose an EDC based hierarchical formal method of this type of system, we trust this method is applicable. We also harness two examples to demonstrate the effectiveness and feasibility of the method.

• 出版日期2013
• 单位广西大学