PLC程序的形式化验证方法研究  

作　　者：张强 李锟 刘兵 

机构地区：[1]山东电工电气日立高压开关有限公司,山东济南250100 [2]山东电工电气集团有限公司,山东济南250100

出　　处：《中文科技期刊数据库（全文版）工程技术》2023年第5期28-31,共4页

摘　　要：随着计算机技术和网络通信技术的迅速发展,社会对工业自动化的需求越来越大,国家对工业自动化的需求也越来越大。基于此,国内外学者对如何改进自动控制软件的可靠性进行了大量的研究。目前,PLC的编程检测技术主要集中在语法和语义方面,对于程序变量之间的逻辑关系的检测很少。本文正是在这种大的背景下产生的,它为PLC编程提供了一种形式化的验证方式。

关 键 词：PLC形式化 验证程序指令 研究 指令表 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]