自动测试石油和天然气行业PLC程序的安全规范

自动测试石油和天然气行业PLC程序的安全规范(中文6000字,英文PDF)
T.J.Prati，J.M.Farines，M.H.deQueiroz
摘要：石油天然气工业安全仪表系统可编程控制器PLC是一款基于安装前必须经过安全规范验证而设计的软件。本文提出了一种对PLC系统因果矩阵规格的自主检测方法。对于这类测试，要求表现为一组观察受控系统行为的Petri网络模型。形式化模型的使用允许Petri网络系统地组合并转换成一个程序，当PLC输出不符合安全规范时，该程序即命令PLC输入和观察。本研究开发出一个原型工具，可以在给定的上PLC自主进行因果矩阵测试。通过加热炉项目已证实了该方法的易用性和可行性。