安全關(guān)鍵系統(tǒng)是指那些系統(tǒng)失效會造成人員傷亡,環(huán)境和財產(chǎn)等的重大損失的軟件系統(tǒng)。航空電子系統(tǒng)作為飛機上的核心系統(tǒng),是典型的安全關(guān)鍵系統(tǒng)。需求分析是系統(tǒng)開發(fā)人員通過調(diào)研與分析,對用戶和系統(tǒng)功能,性能等要求進行理解,并將非形式的需求描述轉(zhuǎn)換為完整的需求定義的過程,是系統(tǒng)開發(fā)過程中最重要的階段。但傳統(tǒng)的需求表述方式由于自然語言的二義性,無法驗證需求特性等問題使得需求容易出錯,并且難以處理高度復(fù)雜的大型系統(tǒng)�；谛问交椒ǖ男枨髿w約過程以嚴格定義的語義和數(shù)學(xué)模型為基礎(chǔ),使得需求的表述更加清晰明了,易于理解,通過需求的自動化測試和檢驗工具的檢驗提高了需求的正確性和分析效率。但目前的形式化需求方法過于通用,工具普遍缺少安全屬性的驗證。本文以SCR（Software Cost Reduction）方法的研究為背景,針對傳統(tǒng)的需求描述方法容易引入錯誤的問題,將SCR方法應(yīng)用在飛機襟縫翼系統(tǒng)中,解決SCR方法過于通用性的問題,從保證系統(tǒng)安全性的角度出發(fā),對基于SCR方法的檢驗工具T-VEC的功能進行擴展,增加安全屬性驗證的功能。具體研究內(nèi)容如下所述:本文將形式化需求分析方法應(yīng)用到安全關(guān)鍵性系統(tǒng)航空電子系統(tǒng)... 

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

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

【文章目錄】：
摘要
abstract
第一章 緒論
    1.1 研究背景
    1.2 研究現(xiàn)狀
        1.2.1 需求分析方法研究現(xiàn)狀
        1.2.2 表格方法研究現(xiàn)狀
    1.3 本文內(nèi)容安排
第二章 背景知識
    2.1 SCR方法
        2.1.1 SCR方法的起源與發(fā)展
        2.1.2 SCR方法的理論基礎(chǔ)及符號含義
        2.1.3 SCR方法需求歸約流程
        2.1.4 SCR方法的優(yōu)勢
    2.2 T-VEC工具
        2.2.1 T-VEC工具簡介
        2.2.2 T-VEC工具的使用及原理說明
        2.2.3 T-VEC工具的優(yōu)劣
    2.3 模型檢測
        2.3.1 模型檢測基本思想
        2.3.2 時序邏輯
    2.4 本章小結(jié)
第三章 基于SCR方法的需求歸約
    3.1 SCR方法應(yīng)用過程
        3.1.1 系統(tǒng)需求歸約
        3.1.2 系統(tǒng)設(shè)計歸約
        3.1.3 軟件需求歸約
        3.1.4 系統(tǒng)容錯能力
    3.2 SCR方法在襟縫翼控制單元的應(yīng)用
        3.2.1 模塊介紹
        3.2.2 模塊需求歸約
        3.2.3 模塊設(shè)計歸約
        3.2.4 模塊軟件需求歸約
        3.2.5 故障處理及時間約束
    3.3 需求驗證與分析
    3.4 方法總結(jié)
        3.4.1 監(jiān)控變量與受控變量識別
        3.4.2 中間變量識別
        3.4.3 事件與條件的區(qū)分
        3.4.4 需求中變量間對應(yīng)關(guān)系原則
    3.5 本章小結(jié)
第四章 T2N模型轉(zhuǎn)換工具的設(shè)計與實現(xiàn)
    4.1 T-VEC與NuXMV語言
        4.1.1 T-VEC語言
        4.1.2 NuXMV語言
    4.2 T2N原型工具設(shè)計框架
        4.2.1 預(yù)處理
        4.2.2 詞法和語法處理
        4.2.3 轉(zhuǎn)換過程
    4.3 T2N原型工具的實現(xiàn)
        4.3.1 轉(zhuǎn)換的硬件平臺與語言
        4.3.2 轉(zhuǎn)換規(guī)則定義
        4.3.3 轉(zhuǎn)換實現(xiàn)算法
    4.4 本章小結(jié)
第五章 實例分析
    5.1 燈光控制系統(tǒng)描述與建模
        5.1.1 燈光控制系統(tǒng)介紹及選擇依據(jù)
        5.1.2 系統(tǒng)建模過程
    5.2 實例驗證與分析
        5.2.1 模型轉(zhuǎn)換
        5.2.2 安全屬性提取
        5.2.3 安全屬性驗證與結(jié)果分析
    5.3 本章小結(jié)
第六章 總結(jié)與展望
    6.1 研究總結(jié)
    6.2 未來工作展望
參考文獻
致謝
在學(xué)期間的研究成果及發(fā)表的學(xué)術(shù)論文


【參考文獻】：
期刊論文
[1]一種基于四變量模型的系統(tǒng)安全性建模與分析方法[J]. 胡軍,石嬌潔,程楨,陳松,王明明.  計算機科學(xué). 2016(11)
[2]面向DO-333的襟縫翼控制單元安全性分析[J]. 陳光穎,黃志球,陳哲,闞雙龍.  計算機科學(xué). 2016(05)
[3]滿足DO-178B要求的軟件需求開發(fā)方法[J]. 陳鑫,王輝,牟明.  計算機工程與設(shè)計. 2012(07)
[4]軟件需求的形式化轉(zhuǎn)換模型[J]. 侯麗珍,蔡小娟,鄒恒明.  計算機工程. 2007(05)



本文編號：3700579