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

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

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

【學(xué)位級別】：碩士

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



本文編號：3306923