跳到主要內容

臺灣博碩士論文加值系統

(18.204.48.64) 您好!臺灣時間:2021/08/01 09:22
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:黃志睿
研究生(外文):Chih-Jui Huang
論文名稱:安全關鍵軟體品質認證技術之發展
論文名稱(外文):Development of Techniques for Safety-Critical Software Quality Certification
指導教授:范金鳳范金鳳引用關係
學位類別:碩士
校院名稱:元智大學
系所名稱:資訊工程學系
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2009
畢業學年度:97
語文別:中文
論文頁數:69
中文關鍵詞:知識本體軟體審查安全關鍵系統BTP14
外文關鍵詞:OntologySoftware ReviewSafety-Critical SystemBTP14
相關次數:
  • 被引用被引用:0
  • 點閱點閱:156
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
安全關鍵系統必須經由管制單位的審核作業後,才能發給使用執照。目前國際間對於安全關鍵領域如核能、航空、軍事等,已經制定了許多評估、認證的標準。但有些標準由於結構較不嚴謹、又或要求較為模糊,容易造成發展人員和審核人員在審核的過程中發生爭議,故本論文在此提出一套安全關鍵軟體品質認證的技術。我們以核能數位電腦化儀控系統的審查標準BTP14為例,首先,我們對標準的知識本體進行分析,分析了它的本體架構後並針對此架構提出符合性審查的評價標準,以量化審查的進度,接著再以本體架構為基礎發展輔助軟體審查工具,達到審查流程的部份自動化和可重複性。對於BTP14的執行效率低落,我們並對它建議了CMMI式的改進方法。我們提出的這套方法具通用性,可以應用於各個安全關鍵領域上。此方法提供了發展人員和審核人員兩方一個共通的知識架構 (標準本體論) ,經由此架構可減少審查過程的爭議,並提昇審查過程的執行效率及效益。
Safety-critical systems need to obtain a regulators’ license before operation. Such process is called certification. Nowadays, the international community has developed a number of assessment criteria/standards for certification for safety critical areas such as nuclear, aviation, military and so on. However, some standards lack of precise structure or requirements are vague. These standards may cause controversies among regulators and applicants during certification.

We proposed a technique for safety-critical software quality certification. Our example was BTP14, a nuclear review standard for digital computer-based instrumentation and control (I&C) systems. First, we analyze the ontology of BTP14. Then, we proposed its conformance checking method. We developed an ontology-based software review tool to automate part of the review process and improve review’s transparency and repeatability. We also recommended a CMMI-like approach to improve BTP14. Our proposed methodology is general and can be applied in all safety critical areas. It provides regulators and applicants a common knowledge framework (the standard’s ontology). Our approach can reduce controversies during certification and improves certification efficiency and effectiveness.
書名頁 I
中文摘要 II
英文摘要 III
誌謝 IV
目錄 V
圖目錄 VI
表目錄 VII
一 、序論 1
二 、相關背景 3
2.1 BTP14 (BRANCH TECHNICAL POSITION 7-14) 3
2.2本體論 (Ontology) 7
2.3 CMMI (Capability Maturity Model Integration,能力成熟度整合模式) 8
2.4 軟體標準的評估 10
2.5 軟體產品驗證模式 ( Software Product Certification Model) 10
2.6 審查認證相關工具 12
三 、研究方法 14
3.1 分析BTP14邏輯架構,建立BTP14知識本體 15
3.2 提出BTP14符合性審查評價標準 23
3.3 以BTP14架構為基礎,製作BTP14 審查輔助工具 24
3.3.1 工具介紹 24
3.3.2 實例說明 29
3.4 提出基於CMMI的BTP14改進方法 34
3.4.1 安全標準量測指標 34
3.4.2 改進建議 38
四 、結論與未來展望 46
五 、參考文獻 48
附錄一 文件標籤 50
附錄二 程式目錄改寫建議 64
附錄三 BTP14知識本體 68
[1] Nuclear Power Engineering Committee of the IEEE Power Engineering Society, “IEEE Standard Criteria for Safety Systems for Nuclear Power Generating Stations,” July 1, 1998.
[2] U.S. Nuclear Regulatory Commission, “Standard Review Plan, Rev. 4,” June, 1997 December 19, 2003.
[3] Radio Technical Commission for Aeronautics, “DO-178B, Software Considerations in Airborne Systems and Equipment Certification,” December 1, 1992.
[4] ISO/IEC, “ISO/IEC 15408 - Common Criteria for Information Technology Security Evaluation – Part 1:Introduction and general mode, Version 3.1,” September, 2006.
[5] U.S. Nuclear Regulatory Commission, “Standard Review Plan Branch Technical Position 7-14,” March, 2007.
[6] SEI, “Capability Maturity Model Integration for Development Version 1.2,” August, 2006.
[7] Norman E. Fenton, “Strategy for Improving Safety Related Software Engineering Standards,” IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 24, NO. 11, November, 1998.
[8] Petra M. Heck, “A Software Product Certification Model for Dependable Systems,” CS-Report 06–20. Eindhoven:Technische Universiteit Eindhoven, August, 2006.
[9] 吳德明, “軟體文件審查過程知識結構之推導與應用,” 元智大學資工所碩士論文, July, 2000.
[10] 連國廷, “IEEE安全標準邏輯架構的建立與應用,” 元智大學資工所碩士論文, July, 2008.
[11] 楊耀榮, 范金鳳, 易俗, “審查作業群組軟體之設計發展,” 全國計算機會議 1995, pp. 923-931, Taiwan.
[12] Sommerville, I., “Software Engineering, 6th Edition,” Addison Wesley, 2001.
[13] Pressman, R. S., “Software Engineering, A Practitioner’s Approach, Sixth Edition,” McGraw-Hill, 2005.
[14] W3C, http://www.w3.org/.
[15] Web service & sematic web, http://www.ws.org.tw/.
[16] U.S. Nuclear Regulatory Commission, “Review Templates for Computer - Based Reactor Protection Systems,” May 12, 2000
[17] Dennis, M. Ahern., “CMMI Distilled Second Edition,” Addison Wesley, 2004.
[18] Nuclear Power Engineering Committee of the IEEE Power Engineering Society, “IEEE Standard Criteria for Digital Computer in Safety Systems for Nuclear Power Generating Stations,” July 1, 1998.
[19] Nuclear Power Engineering Committee of the IEEE Power Engineering Society, “IEEE Standard Criteria for Safety Systems for Nuclear Power Generating Stations,” July 1, 1998.
[20] International Electrotechnical Commission, “International Standard IEC 61508 - Functional safety of electrical/electronic/programmable electronic safety-related systems,” 1999.
[21] Japanese Electric Association Survey Committee for Electrotechnical Standards. “Application Guidelines for Programmable Digital Computer System in Safety-protection Systems of Nuclear Power Plants,” February, 1989.
[22] Protégé, http://protege.stanford.edu/.
[23] 蔡尚霖, “限制為基礎之程序互動錯誤分析方法,” 元智大學資工所碩士論文, July, 2008.
[24] 王有利, “軟體工程技術標準實際應用效用之分析方法,” 元智大學資工所碩士論文, July, 2001.
[25] UK Ministry of Defence, “Defence Standard 00-56,” June, 2007
[26] Assurance and Safety Case Environment, http://www.adelard.com/web/index.html
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top