發(fā)布時間：2021-01-15 02:46

　　本文研究了一種核反應(yīng)堆保護系統(tǒng)（RPS）嵌入式保護軟件設(shè)計方法，即利用高安全性應(yīng)用程序的開發(fā)環(huán)境SCADE（Safety-Critical Application DevelopmentEnvironment）開發(fā)RPS的嵌入式保護軟件的方法。本文按照SCADE開發(fā)嵌入式軟件的設(shè)計流程，依據(jù)HAD102/16規(guī)定的軟件生命周期，通過軟件需求階段的工藝需求分析、保護軟件需求分析和邏輯處理模塊需求分析，軟件設(shè)計階段的邏輯處理模塊設(shè)計和保護軟件設(shè)計，軟件實現(xiàn)階段的邏輯處理模塊實現(xiàn)和保護軟件實現(xiàn)，通過SCADE自動生成可直接面向工程的高安全性嵌入式保護軟件。同時，在SCADE開發(fā)環(huán)境中，對邏輯處理模塊完成了MC/DC覆蓋率分析、安全性驗證，在PC機平臺中，對邏輯處理模塊SCADE生成代碼在Matlab Simulink中進行了功能驗證測試，提出了不受硬件限制的嵌入式軟件功能測試的新方法，并有效地驗證了該方法的可行性。本文說明在SCADE下實現(xiàn)了RPS保護軟件開發(fā)的自動化，減少了軟件開發(fā)成本、加快了開發(fā)時間進度，且最終生成的代碼具有高安全性特征，滿足了RPS嵌入式保護軟件的開發(fā)要求，驗證了SCA... 

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

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

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 引言
    1.2 開發(fā)平臺
    1.3 運行平臺
    1.4 軟件生命周期
    1.5 論文結(jié)構(gòu)
第二章 需求分析
    2.1 工藝需求分析
        2.1.1 壓水堆簡介
        2.1.2 工藝需求分析
    2.2 保護軟件需求分析
        2.2.1 功率量程保護功能
        2.2.2 穩(wěn)壓器壓力低保護功能
    2.3 邏輯處理模塊需求分析
第三章 軟件設(shè)計及實現(xiàn)
    3.1 邏輯處理模塊設(shè)計及實現(xiàn)
        3.1.1 邏輯處理模塊設(shè)計
        3.1.2 邏輯處理模塊實現(xiàn)
    3.2 保護軟件設(shè)計及實現(xiàn)
        3.2.1 保護軟件設(shè)計
        3.2.2 保護軟件實現(xiàn)
第四章 軟件驗證測試與分析
    4.1 MC/DC覆蓋率分析
    4.2 安全性驗證
    4.3 驗證測試與分析
第五章 總結(jié)與展望
    5.1 總結(jié)
    5.2 存在的問題及展望
致謝
參考文獻
附錄 MC/DC覆蓋率分析TCL腳本


【參考文獻】：
期刊論文
[1]SCADE平臺下的圖形化設(shè)計和代碼自動生成[J]. 章曉春,金平,孫全艷.  軟件. 2011(05)
[2]基于SCADE的列車調(diào)度軟件設(shè)計[J]. 高博文.  鐵道通信信號. 2010(08)
[3]基于SCADE實現(xiàn)的三余度飛控計算機系統(tǒng)任務(wù)同步[J]. 吳成富,王睿,陳懷民,段曉軍.  航空計算技術(shù). 2009(01)
[4]基于模型的軟件開發(fā)技術(shù)在型號軟件研制中的應(yīng)用[J]. 張杰,宋志剛.  科學技術(shù)與工程. 2008(15)
[5]基于SCADE的無人機自主導航飛行軟件設(shè)計[J]. 張合軍,陳欣.  計算機測量與控制. 2007(10)
[6]SCADE平臺下C代碼的自動生成[J]. 顏雯清,李秀娟.  計算機仿真. 2007(10)
[7]SCADE在彈載軟件建模中的應(yīng)用[J]. 鄧志云,宋志剛,馬金梭.  航空兵器. 2007(03)
[8]三余度信號表決系統(tǒng)在SADE下的設(shè)計與實現(xiàn)[J]. 林成文,吳成富,陳懷民,段曉軍.  科學技術(shù)與工程. 2007(09)
[9]基于SCADE的無人機三余度飛控系統(tǒng)設(shè)計及實現(xiàn)[J]. 王群偉,吳成富,陳懷民,徐克.  測控技術(shù). 2007(04)
[10]基于SCADE的PID控制器設(shè)計與應(yīng)用[J]. 謝輝峰,陳欣,歐干良.  計算機仿真. 2006(10)

碩士論文
[1]基于PVS對SCADE開發(fā)軌交控制系統(tǒng)的形式化建模與驗證[D]. 周佳銘.華東師范大學 2011
[2]SCADE在無人機飛行控制軟件設(shè)計中的應(yīng)用[D]. 程黎.西安電子科技大學 2011
[3]無人機余度飛行控制軟件設(shè)計與研究[D]. 劉路.南京航空航天大學 2011
[4]基于SCADE的CBTC區(qū)域控制器軟件開發(fā)[D]. 張路.北京交通大學 2010
[5]基于SCADE的無人機飛行控制系統(tǒng)軟件設(shè)計[D]. 王鑫.南京航空航天大學 2008
[6]機載軟件圖形化設(shè)計與自動代碼生成研究[D]. 林成文.西北工業(yè)大學 2007
[7]基于SCADE的無人機飛行控制系統(tǒng)軟件設(shè)計[D]. 張合軍.南京航空航天大學 2007



本文編號：2978065