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

[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.