逻辑控制的安全检验技术研究

发布时间：2021-07-28 01:26

　　随着计算机越来越多的应用于工业生产中,尤其是以DCS和PLC控制系统为代表的计算机控制系统的广泛应用。而且计算机控制系统常用于高温高压等临界控制当中。那么计算机控制系统的安全性就越来越引起人们的注意,在这其中逻辑控制因为其在设计过程中极有可能存在错误,所以更加是保证安全的重中之重。在计算机控制系统正式应用于生产过程前,必须要做安全分析和安全测试,保证逻辑控制的安全性。传统的人工安全测试方法,根据安全条件逐条设计试验,十分消耗时间和资源,而且测试结果也不能保证覆盖了所有的工况下的安全性。所以虽然逻辑控制安全问题在世界范围内越来越受到重视,但是目前并没有成熟和实用的方法。因此,开展逻辑控制的安全测试技术的研究具有重要的实用意义。模型检测技术是一种形式化验证技术,该技术在时序电路设计和通讯协议设计的验证领域得到了广泛的应用。模型检测技术能够高效、自动并完全地对软件进行安全性分析。因此针对逻辑控制的安全性检测的问题,本文主要对基于形式化模型检测技术的逻辑控制的安全性检验进行研究,完成了以下工作：1.首先说明了形式化模型检测的应用背景以及发展状况,提出了基于模型检测的逻辑控制安全性检验的一般应用... 

【文章来源】：东北大学辽宁省 211工程院校 985工程院校 教育部直属院校

【文章页数】：84 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第1章 绪论
    1.1 逻辑控制安全性研究的背景和意义
    1.2 模型检测技术相关领域研究现状
    1.3 本文的主要工作和内容
第2章 模型检测技术
    2.1 形式化方法
        2.1.1 形式化方法的逻辑定义
        2.1.2 形式化方法的发展状况
        2.1.3 形式化方法研究内容
        2.1.4 形式化方法的分类
    2.2 模型检测技术
        2.2.1 模型检测的定义
        2.2.2 模型检测的研究内容
第3章 基于模型检测的逻辑控制的安全性检验技术
    3.1 基于模型检测的逻辑控制的安全性检验的应用框架
        3.1.1 逻辑控制安全检验的问题描述
        3.1.2 逻辑控制的模型检测工具选择
        3.1.3 基于模型检测的逻辑控制的安全性检验过程
    3.2 安全性质的数学描述
        3.2.1 CTL*计算树逻辑
        3.2.2 μ-演算
    3.3 逻辑控制过程建模
        3.3.1 含有连续变量的控制过程建模
        3.3.2 不含连续变量的控制过程建模
第4章 无时间约束的联锁逻辑控制的安全检验
    4.1 联锁逻辑控制安全性规范
    4.2 预热器工作原理
        4.2.1 预热器液位自动控制设计
        4.2.2 预热器液位联锁逻辑设计
    4.3 预热器液位控制过程与联锁逻辑建模
        4.3.1 预热器液位建模
        4.3.2 泵和截止阀门建模
        4.3.3 液位检测仪表建模
        4.3.4 液位控制器建模
        4.3.5 安全联锁逻辑建模
    4.4 预热器液位控制过程与联锁逻辑安全性检验
        4.4.1 SMV安全检验
        4.4.2 SMV安全检验扩展
第5章 带时间约束的联锁逻辑控制的安全检验
    5.1 带变频器和风机的泵的电气结构
    5.2 带变频器和风机的泵的控制设计
    5.3 带变频器和风机的泵的控制建模
        5.3.1 操作员按钮动作建模
        5.3.2 变频器建模
        5.3.3 风机建模
        5.3.4 泵建模
    5.4 带变频器和风机的泵的控制设计的安全性检验
第6章 高压酸浸给酸过程联锁逻辑控制的安全检验
    6.1 高压酸浸给酸过程联锁逻辑控制
        6.1.1 高压酸浸给酸过程
        6.1.2 高压酸浸给酸过程联锁逻辑控制
    6.2 高压酸浸给酸过程联锁逻辑控制的模型检测
        6.2.1 高压酸浸给酸过程联锁逻辑控制建模
        6.2.2 高压酸浸给酸过程联锁逻辑控制安全性检验
第7章 总结与展望
参考文献
致谢
攻读硕士期间的主要工作



本文编号：3306923