PLC建模和正常的检查方法

来源：56doc.com 资料编号：5D24641 资料等级：★★★★★ %E8%B5%84%E6%96%99%E7%BC%96%E5%8F%B7%EF%BC%9A5D24641

资料以网页介绍的为准,下载后不会有水印.资料仅供学习参考之用. 密保惠帮助

资料介绍

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