PLC建模和正常的检查方法

PLC建模和正常的检查方法(中文3000字,英文PDF)
摘要：
高可靠性是电气控制设备的关键。PLC结合计算机技术，技术，被广泛用于工业生产过程的自动控制技术和通信。复杂的PLC系统可以满足一些传统的验证方法无法满足的要求。在这篇论文中，提出了PLC系统的建模和验证的一种有效方法。为保证PLC的高速性能，我们提出了一项“时间间隔模式”和“通知等待”的技术。它可以减少状态空间，并使它可以验证一些复杂的PLC控制系统。同时，从已建立的PLC模型到Promela语言的转换是可获得的，一套为系统建模和检查的PLC检查工具已经设计好了。使用PLC检查器检查一个经典的PLC的例子，发现一个反例。虽然这一逻辑错误发生的概率很小，这可能导致系统致命的崩溃。
关键词：模型检查，PLC建模， PLC检查器，常规方法