【摘要】：作為核電站中樞神經(jīng)的儀表和控制系統(tǒng)是確保電站安全可靠運行的重要系統(tǒng)與設(shè)備,目前在役以及在建核電站的儀控系統(tǒng)基本都采用了基于微處理器的數(shù)字化儀控系統(tǒng),其控制和保護邏輯主要由軟件實現(xiàn),因此軟件的可靠性問題成為核電行業(yè)關(guān)注的焦點。論文以執(zhí)行核安全重要功能的反應(yīng)堆停堆保護系統(tǒng)為主要研究對象,從保障核電廠執(zhí)行安全功能軟件可靠性的設(shè)計審查、分析與測試評估等“三個維度”,論述開展三個維度活動的過程與工程方法,并以核電廠數(shù)字化儀控安全級軟件可靠性實施活動為例,驗證了論文研究方法的合理性與可執(zhí)行性,以期對我國核電安全級軟件可靠性評估策劃和實施提供借鑒。本文的主要貢獻包括:基于國內(nèi)外核安全評審文獻以及工程經(jīng)驗,提煉并總結(jié)了核電廠執(zhí)行重要安全功能軟件可靠性設(shè)計審查的重點與關(guān)鍵技術(shù)條款;結(jié)合核電廠工程經(jīng)驗,提出基于著色Petri網(wǎng)的核電廠安全級軟件可靠性建模和分析方法與技術(shù);研究了核電廠安全級軟件可靠性測試的流程以及構(gòu)造操作剖面的技術(shù)方法,并基于核電廠安全級軟件失效特征,研究了可靠性模型篩選與軟件可靠性定量評價的方法。
【學(xué)位授予單位】：上海交通大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：TP311.5;TM623
【圖文】：

圖 2-1 三代核電站儀控總體結(jié)構(gòu)圖Fig.2-1 I&C overall graph for the 3rdnuclear power plant廠建造過程中，系統(tǒng)執(zhí)行安全等級的功能不同，對其設(shè)備的鑒定要求也不同。廠儀控設(shè)計的首要任務(wù)是開展安全等級劃分與定義。國際上安全分級的標準類別各異，本文采納標準 IEC61226-2005[47]進行安全分級討論。按照三代核需求安全功能的規(guī)定，引入了電廠可控狀態(tài)、安全停堆狀態(tài)和超設(shè)計基準）分析的最終狀態(tài)三個物理狀態(tài)：狀態(tài)：堆芯次臨界（特殊情況下允許操縱員干預(yù)導(dǎo)致核電廠低功率短暫返回通過蒸汽發(fā)生器在短時間內(nèi)堆芯熱排出、堆芯水裝量穩(wěn)定和放射性排放在內(nèi)）。安全停堆狀態(tài)：堆芯次臨界、保證長期地余熱排出和放射性排放在允。最終狀態(tài)：堆芯次臨界、通過一、二次回路進行余熱排出和放射性排放在內(nèi)。 IEC61226-2005[47]，核電廠的安全功能按其重要性分為 A、B 和 C 三類。

圖 2-2 軟件生命周期活動及主要任務(wù)Fig.2-2 The activities and main tasks for the I&C software life cycle軟件可靠性要求，除生命周期模型，還需要考慮業(yè)內(nèi)相關(guān)法規(guī)、標準對安全級軟件的可靠性要求。國際上，IEEE 軟件可靠性標準主要涉及軟件可靠性度量體系和軟件可靠性評估兩方面內(nèi)容[33]。IEEE 982.1-2005 為軟件可靠性度量標準，主要定義了度量軟件可靠性宜采用的12 個度量參數(shù)，包括失效率、平均失效間隔時間、缺陷密度、與需求的一致性、網(wǎng)絡(luò)可靠性等，借此可對軟件質(zhì)量、特別是軟件可靠性進行預(yù)測評估。IEEE 1633-2008（軟件可靠性操作規(guī)程）[47]重點規(guī)定了軟件可靠性評估的實施過程和可采用的軟件可靠性評估模型，該標準也是當(dāng)前最新的、較為全面的有關(guān)軟件可靠性評估的國際標準。，最后，聚焦核電領(lǐng)域，核電的法規(guī)標準近幾年都在不斷強調(diào)核電安全級軟件的可靠性設(shè)計與評估要求，但是缺乏 IEEE 那樣具備具體操作指導(dǎo)的內(nèi)容：

【參考文獻】

相關(guān)期刊論文 前6條

1 姜夢岑;李秋英;;離散型軟件可靠性驗證測試方案研究[J];計算機應(yīng)用研究;2010年04期

2 蔡開元;董昭;劉克;;關(guān)于軟件可靠性測試的若干問題[J];工程數(shù)學(xué)學(xué)報;2008年06期

3 陳振華;王峰;;基于Markov鏈使用模型的軟件可靠性測評方法研究[J];計算機工程與設(shè)計;2007年12期

4 谷濤;;軟件可靠性及其保證[J];信息技術(shù)與標準化;2006年Z1期

5 宮云戰(zhàn),高文玲;軟件測試與軟件可靠性之間的關(guān)系[J];同濟大學(xué)學(xué)報(自然科學(xué)版);2002年12期

6 郭建英,丁喜波,王天榮;軟件可靠性評價的Hazard Rate模型[J];電子產(chǎn)品可靠性與環(huán)境試驗;2001年06期

本文編號：2720258