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

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

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

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

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

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


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

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



本文編號(hào)：2978065