龍門核電廠是台灣第四座核電廠，採用進步型沸水式反應器，是台灣第一座採用全數位化儀控系統的核能電廠，數位儀控系統相較於傳統的類比儀控系統有許多優點，然而軟體錯誤會導致共因失效，要偵測在軟體設計及開發中產生的故障十分困難且複雜，因此利用軟體之安全系統的可靠度變成一個重大的議題。本研究之目的為實現一套軟體可靠度估算工具，並以此工具估算反應器保護系統軟體部分的可靠度，進一步估算整個反應器保護系統的可靠度。
軟體可靠度的估算方面，根據軟體結構建構出流程網路模型，流程網路模型中單一邊的可靠度大小與該邊是否經過測試以及該邊經過測試的次數有關，因此能根據測試結果估算流程網路模型中每個邊的軟體可靠度，利用二項分布模擬軟體的失效，再由模型簡化得到整個軟體的可靠度。系統可靠度則採用故障樹模型進行估算，以「反應器保護系統邏輯失效」作為頂端事件，根據軟體可靠度的估算結果求出基本事件「軟體失效」的機率代入。

目錄
摘要 i
Abstract ii
誌謝 iv
目錄 vi
表目錄 viii
圖目錄 ix
第 一 章 緒論 1
1.2研究對象 1
1.3研究方法與目的 4
第 二 章 文獻回顧 6
2.1軟體可靠度量化評估方法 6
2.2系統可靠度量化評估方法 8
第 三 章 反應器保護系統的軟體可靠度評估 9
3.1 理論模型 9
3.1.1軟體的流程網路模型 9
3.1.2單一邊的可靠度估計 11
3.1.3並聯結構等效的可靠度估計 13
3.1.4串聯結構等效的可靠度估計 14
3.1.5軟體的整個可靠度估計 15
3.2演算流程 16
3.3 m值的決定 19
3.3.1每個邊中程式碼行數的影響 19
3.3.2 M值的決定 20
3.4測試案例的設計 27
3.4.1考慮測試方法 27
3.4.3估算結果 28
第 四 章 反應器保護系統的系統可靠度評估 32
4.1故障樹的建構 32
4.2計算分析結果 35
第 五 章 結論 38
參考文獻 39
附錄 A 測試方法 41
A.1黑箱測試 41
A.2白箱測試 42
附錄 B 故障樹分析結果 44

[1] S. Yamada, S. Osaki, “Software Reliability Growth Modeling: Models and Applications,” IEEE Transactions on Software Engineering, vol. SE-11, no. 12, December 1985, pp. 1431-1437.
[2] M. Bouissou, F. Martin, A. Ourghanlian, “Assessment of a Safety-critical System Including Software: a Bayesian Belief Network for Evidence Sources,” IEEE Proceedings of Annual Reliability and Maintainability Symposium, 1999, pp. 142-150.
[3] C.S. Smidts, M. Li, “Preliminary Validation of a Methodology for Assessing Software Quality,” U.S. Nuclear Regulatory Commission, NUREG/CR-6848, July 2004.
[4] 王永旭，「以風險角度定量評估反應器保護系統的測試頻率」，國立清華大學核子工程研究所，碩士論文，中華民國84年
[5] A. D. Dominguez-Garcia, J. G. Kassakian, J. E. Schindall, “Reliability Evaluation of the Power Supply of an Electrical Power Net for Safety-relevant Applications,” Reliability Engineering & System Safety, vol. 91, no. 5, May 2006, pp. 505-514.
[6] Y. Yang, R. Sydnor, “Reliability Estimation for a Digital Instrument and Control System,” Nuclear Engineering and Technology, vol. 44, no.4, May 2012, pp. 405-414.
[7] G. Dahll, B. A. Gran, “The Use of Bayesian Belief Nets in Safety Assessment of Software Based Systems,” International Journal of General System, vol. 29, no. 2, 2000, pp. 205-229.
[8] Taiwan Power Company, “Final Safety Analysis Report for Lungmen Nuclear Power Station Units 1&2 (FSAR),” Appendix AA, 2007.