站场电动放空阀控制逻辑的形式化建模与验证

摘要：

在油气管道控制系统典型逻辑标准编制的早期,对拟标准化控制逻辑的建模与验证能够提前发现设计缺陷,有助于提高控制系统的功能完整性与安全性,进而避免因控制逻辑设计失误导致的危险事故发生.根据形式化验证方法中模型检验的原理,利用时间自动机及其验证工具UPPAAL,对天然气站场电动放空阀通用控制逻辑开展形式化建模与验证,将逻辑图中的各类功能组件以及阀门动作流程独立建模,用于刻画完整的控制逻辑操作过程,综合验证结果发现,阀门的"开""关"切换逻辑存在设计缺陷.最后,通过反例分析给出合理的优化方案,优化后的验证结果表明,优化方案能够满足控制系统功能完整性与安全性需求,形式化方法为管道站控系统控制逻辑可靠性验证提供了一个全新的技术路径.

关键词：油气管道、控制逻辑、形式化方法、时间自动机、UPPAAL、形式化验证方法

所属期刊栏目：46

分类号：TN876.3-34(无线电设备、电信设备)

资助基金：国家石油天然气管网集团有限公司科学研究与技术开发项目Y180022KY01KF0330004

在线出版日期：2023-09-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：155-162