隨著計算機越來越多的應用于工業(yè)生產(chǎn)中,尤其是以DCS和PLC控制系統(tǒng)為代表的計算機控制系統(tǒng)的廣泛應用。而且計算機控制系統(tǒng)常用于高溫高壓等臨界控制當中。那么計算機控制系統(tǒng)的安全性就越來越引起人們的注意,在這其中邏輯控制因為其在設(shè)計過程中極有可能存在錯誤,所以更加是保證安全的重中之重。在計算機控制系統(tǒng)正式應用于生產(chǎn)過程前,必須要做安全分析和安全測試,保證邏輯控制的安全性。傳統(tǒng)的人工安全測試方法,根據(jù)安全條件逐條設(shè)計試驗,十分消耗時間和資源,而且測試結(jié)果也不能保證覆蓋了所有的工況下的安全性。所以雖然邏輯控制安全問題在世界范圍內(nèi)越來越受到重視,但是目前并沒有成熟和實用的方法。因此,開展邏輯控制的安全測試技術(shù)的研究具有重要的實用意義。模型檢測技術(shù)是一種形式化驗證技術(shù),該技術(shù)在時序電路設(shè)計和通訊協(xié)議設(shè)計的驗證領(lǐng)域得到了廣泛的應用。模型檢測技術(shù)能夠高效、自動并完全地對軟件進行安全性分析。因此針對邏輯控制的安全性檢測的問題,本文主要對基于形式化模型檢測技術(shù)的邏輯控制的安全性檢驗進行研究,完成了以下工作：1.首先說明了形式化模型檢測的應用背景以及發(fā)展狀況,提出了基于模型檢測的邏輯控制安全性檢驗的一般應用... 

【文章來源】：東北大學遼寧省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：84 頁

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 邏輯控制安全性研究的背景和意義
    1.2 模型檢測技術(shù)相關(guān)領(lǐng)域研究現(xiàn)狀
    1.3 本文的主要工作和內(nèi)容
第2章 模型檢測技術(shù)
    2.1 形式化方法
        2.1.1 形式化方法的邏輯定義
        2.1.2 形式化方法的發(fā)展狀況
        2.1.3 形式化方法研究內(nèi)容
        2.1.4 形式化方法的分類
    2.2 模型檢測技術(shù)
        2.2.1 模型檢測的定義
        2.2.2 模型檢測的研究內(nèi)容
第3章 基于模型檢測的邏輯控制的安全性檢驗技術(shù)
    3.1 基于模型檢測的邏輯控制的安全性檢驗的應用框架
        3.1.1 邏輯控制安全檢驗的問題描述
        3.1.2 邏輯控制的模型檢測工具選擇
        3.1.3 基于模型檢測的邏輯控制的安全性檢驗過程
    3.2 安全性質(zhì)的數(shù)學描述
        3.2.1 CTL*計算樹邏輯
        3.2.2 μ-演算
    3.3 邏輯控制過程建模
        3.3.1 含有連續(xù)變量的控制過程建模
        3.3.2 不含連續(xù)變量的控制過程建模
第4章 無時間約束的聯(lián)鎖邏輯控制的安全檢驗
    4.1 聯(lián)鎖邏輯控制安全性規(guī)范
    4.2 預熱器工作原理
        4.2.1 預熱器液位自動控制設(shè)計
        4.2.2 預熱器液位聯(lián)鎖邏輯設(shè)計
    4.3 預熱器液位控制過程與聯(lián)鎖邏輯建模
        4.3.1 預熱器液位建模
        4.3.2 泵和截止閥門建模
        4.3.3 液位檢測儀表建模
        4.3.4 液位控制器建模
        4.3.5 安全聯(lián)鎖邏輯建模
    4.4 預熱器液位控制過程與聯(lián)鎖邏輯安全性檢驗
        4.4.1 SMV安全檢驗
        4.4.2 SMV安全檢驗擴展
第5章 帶時間約束的聯(lián)鎖邏輯控制的安全檢驗
    5.1 帶變頻器和風機的泵的電氣結(jié)構(gòu)
    5.2 帶變頻器和風機的泵的控制設(shè)計
    5.3 帶變頻器和風機的泵的控制建模
        5.3.1 操作員按鈕動作建模
        5.3.2 變頻器建模
        5.3.3 風機建模
        5.3.4 泵建模
    5.4 帶變頻器和風機的泵的控制設(shè)計的安全性檢驗
第6章 高壓酸浸給酸過程聯(lián)鎖邏輯控制的安全檢驗
    6.1 高壓酸浸給酸過程聯(lián)鎖邏輯控制
        6.1.1 高壓酸浸給酸過程
        6.1.2 高壓酸浸給酸過程聯(lián)鎖邏輯控制
    6.2 高壓酸浸給酸過程聯(lián)鎖邏輯控制的模型檢測
        6.2.1 高壓酸浸給酸過程聯(lián)鎖邏輯控制建模
        6.2.2 高壓酸浸給酸過程聯(lián)鎖邏輯控制安全性檢驗
第7章 總結(jié)與展望
參考文獻
致謝
攻讀碩士期間的主要工作



本文編號：3306923