隨著嵌入式技術(shù)的飛速發(fā)展,應用成本的大幅降低,嵌入式技術(shù)已廣泛應用于航空航天、智能交通、工業(yè)自動化控制等領(lǐng)域。隨著應用范圍的不斷擴張,特別是隨著嵌入式系統(tǒng)應用在一些高危工作環(huán)境后,用戶對嵌入式系統(tǒng)的要求也在發(fā)生著改變;用戶的要求已不僅僅局限于系統(tǒng)的實時性與高性能等方面,開始越來越重視系統(tǒng)的安全性、可靠性及防危性等。防危核技術(shù)是保證系統(tǒng)防危性的有力手段。但目前為止,國內(nèi)外對防危核的研究成果中,并未單獨考慮系統(tǒng)工作環(huán)境的改變對防危策略的影響;但在實際工作環(huán)境下,安全關(guān)鍵系統(tǒng)的工作環(huán)境一旦改變,其防危策略也將隨之發(fā)生巨大的改變;即在某種工作環(huán)境下合法的操作,在另一種工作環(huán)境下將非法。因此,使防危核具有自適應性,提高安全關(guān)鍵系統(tǒng)在不同安全環(huán)境下的可靠性與安全性防已成為研究熱點之一。本文首先介紹了國內(nèi)外防危技術(shù)的研究成果,并詳細討論了各防危技術(shù)的原理以及它們之間的差異。而后,詳細論述了利用有限狀態(tài)自動機原理構(gòu)造自適應防危策略的方法,以此作為自適應防危策略來源的理論依據(jù)。再者利用反射技術(shù)原理設(shè)計出防危核模型,該模型具有良好的通用性與可擴展性。并根據(jù)自適應的特點,設(shè)計出自適應防危核的結(jié)構(gòu),在此結(jié)構(gòu)中... 

【文章來源】：電子科技大學四川省 211工程院校 985工程院校 教育部直屬院校

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

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 研究背景
    1.2 相關(guān)技術(shù)發(fā)展現(xiàn)狀
        1.2.1 實時中間件技術(shù)的發(fā)展
        1.2.2 防危技術(shù)的發(fā)展
    1.3 自適應性與自適應系統(tǒng)的定義
        1.3.1 自適應性的定義
        1.3.2 自適應系統(tǒng)的定義
    1.4 課題來源與主要工作
    1.5 本文章節(jié)安排
第二章 防危技術(shù)簡介
    2.1 防危性與安全性
    2.2 防危殼技術(shù)
    2.3 防危核技術(shù)
        2.3.1 防危核理論及模型結(jié)構(gòu)
        2.3.2 Kevin 防危核實現(xiàn)方案
        2.3.3 基于反射技術(shù)的防危核
        2.3.4 防危核與防危殼技術(shù)對比分析
    2.4 本章小結(jié)
第三章 RTARMM 技術(shù)簡介
    3.1 CORBA 簡介
    3.2 TAO 簡介
    3.3 RTARMM 簡介
        3.3.1 RTARMM 技術(shù)功能簡介
        3.3.2 RTARMM 的總體結(jié)構(gòu)
        3.3.3 代理（Delegate）
        3.3.4 合同（Contract）
        3.3.5 系統(tǒng)狀態(tài)對象（System Condition Object）
        3.3.6 Qoskets：可復用的自適應策略
        3.3.7 性能描述語言QDL
        3.3.8 RTARMM 的執(zhí)行流程
    3.4 本章小結(jié)
第四章 基于有限自動機的自適應防危策略模型
    4.1 有限自動機簡介
        4.1.1 有限狀態(tài)自動機的定義
        4.1.2 有限狀態(tài)自動機的特點
    4.2 自適應防危策略模型
        4.2.1 系統(tǒng)安全環(huán)境有限自動機模型
        4.2.2 各安全環(huán)境狀態(tài)下防危策略模型
        4.2.3 自適應防危策略整體模型
    4.3 本章小結(jié)
第五章 自適應防危核的實現(xiàn)
    5.1 自適應防危核結(jié)構(gòu)分析
        5.1.1 通用性分析
        5.1.2 自適應防危核結(jié)構(gòu)
    5.2 RTARMM 服務(wù)器端關(guān)鍵設(shè)備的配置
        5.2.1 用戶態(tài)設(shè)計
        5.2.2 多用戶互斥性設(shè)計
        5.2.3 設(shè)備的更新設(shè)計
    5.3 基于RTARMM 平臺的自適應防危核設(shè)計
        5.3.1 需求分析
        5.3.2 基于RTARMM 的自適應防危核原理
    5.4 自適應防危核的實現(xiàn)
        5.4.1 重要數(shù)據(jù)結(jié)構(gòu)
        5.4.2 基于RTARMM 的防危反射塔設(shè)計
        5.4.3 防危代理模塊
        5.4.4 防危驗證模塊
        5.4.5 防危核自適應性實現(xiàn)
    5.5 自適應防危核整體工作機制
    5.6 本章小結(jié)
第六章 自適應防危核模型驗證
    6.1 核反應堆安全關(guān)鍵系統(tǒng)原理簡介
    6.2 核電站狀態(tài)分析
    6.3 核電站關(guān)鍵設(shè)備操作分析
    6.4 核電站自適應防危策略模型
        6.4.1 核電站安全環(huán)境有限自動機模型
        6.4.2 核電站各安全環(huán)境下防危策略模型
        6.4.3 核電站自適應防危核整體模型
    6.5 核電站自適應防危策略數(shù)據(jù)
    6.6 飛機飛行控制模型例
    6.7 自適應防危核的測試
    6.8 本章小結(jié)
第七章 結(jié)束語
參考文獻
致謝
碩士期間取得的成果



本文編號：2923302