- 學位論文
電腦相關故障事件報告之檢索工具與分析模型
Analysis Models and a Retrieval tool for Digital I&C failure event reports
若您是本文的作者，可授權文章由華藝線上圖書館中協助推廣。
摘要
近年來，電腦用來控制安全關鍵系統(safety-critical system)增加不少，然而這樣的系統若發生故障都可能危及人員傷亡或是汙染環境。由於以往用在關鍵控制系統的技術是類比式的，所以類比式技術已相當成熟；相形之下，數位式技術仍有很大的進步空間。所以，在面對目前尚未成熟的軟體技術，我們應藉由分析過往發生的故障事件中，了解軟體出錯的本質；並記取教訓以發展更成熟的軟體安全技術。 因此，本論文發展一套自動分析與檢索的工具(EXANO)來輔助分析者進行分析工作，其可自動化整理舊有的故障事件報告並提供良好的分析界面。此外，為了使文件具有跨平台的性質，我們的工具亦可將原始文件加註XML標籤，並在附上標籤的文件類型定義(DTD)後，即可以進一步做資訊交流以利資料檢索與後續應用。此外，本研究亦提出一套以模式為基礎的模型(Mode based Model)與整合性的軟體失誤模式及效應分析模型(Integrated FMEA Model)來描述、分析意外事件。藉此，我們可以獲得經驗教訓(Lesson learned)，並將這些教訓運用在未來的系統設計、操作與維護上，進而增進系統安全性與可靠度。
並列摘要
Computer has been increasingly incorporated into safety-critical systems. However, failure of such systems may put human lives in danger. Compared to analog systems, digital systems are fairly new to safety critical domain, whether digital systems may introduce new failure modes in uncertain. Thus, it is critical to obtain lessons learned from the past digital I&C failure events so as to build safer digital systems. Based on these reasons, this research has developed an automatic information EXtraction, ANalysis, and retrieval tool based on Ontoloty(EXANO)to facilitate the analyzer to analyze the past digital failure events. Moreover, our tool adds XML tags to original text files to facilitate information exchange across different platforms. In addition, we have developed a Mode-based model and a Integrated Failure Mode and Effect Analysis model to analyze the accident events visually and in depth. We have completed the analysis of more than 120 digital I&C failure events. Statistics and the lessons learned are given in the thesis. We can apply these lessons to system design, operation, and maintenance to increase the system safety.
參考文獻
[3]D. S. Rosenblum,“Towards a Method of Programming with Assertions,” ACM Proceedings of the 14th international conference on Software engineering , June 1992.,pp92-104
[7]I. S. Bhandari , Ram Chillarege, J. K. Chaar,M. J. Halliday, D. S. Moebus, B. K. Ray, M. Wong,” Orthogonal Defect Classification - A Concept for In-Process Measurements” IEEE Transactions on Software Engineering, Vol 18, No. 11, Nov 1992.
[8]In formation Notices (IN),US Nuclear Regulatory commission
[10]J.D. Lawrence, “Software Safety Hazard Analysis,”1995.
[11]Licensee Event Report (LER),US Nuclear Regulatory Commission