現今安全關鍵領域的設備系統(如航太、交通、核能、醫療器材等)皆需要相關管制單位詳細評估審查,待通過並由管制單位頒予證照之後才可運作。安全案例(Safety Case)是設備系統在審照過程中由申請方所提出之安全聲明及證明的重要文件;測試案例(Test Case)則是用來證明安全案例之中各項敘述是否達成的證據。 傳統的安全案例由純文字所組成,近年則有研究提出目標結構圖(Goal Structuring Notation)[6],以圖形化的方式來表達以往文字式安全案例的上層概念。然而目標結構圖雖然比純文字易讀,卻同樣需要由人工繪製,難免效率不佳;本研究提出根據特定領域的知識本體[16](Domain-Specific Ontology)有系統的產生目標結構圖並自動產生測試案例的方法,提昇安全系統的審查效率。本研究已依安全注水系統為研究案例,並以Protege及Jena API完成以知識本體推導安全案例的實作,以顯示本研究所提出之方法的可行性及有效性。
Contemporary safety critical systems(in aerospace, transportation, nuclear power plants and medicine domains) require operation licenses from regulatory agencies before operating. The Safety Case is a significant document consisting of safety claims and proofs prepared by the license applicant for certification process. A test case should also provide evidences to prove that conditions described in the Safety Case are satisfied. A safety case is usually composed of written words. However, Goal Structuring Notation [6] for a safety case was recently proposed. The notation describes the upper-level concepts of a Safety Case using graphs instead of words. Yet, these graphs are often drawn manually. This research proposes a method to generate Goal Structuring Notation as well as test cases systematically based on a domain-specific Ontology [16] so as to enhance license review efficiency. We have applied this method to a case study, a Safety Injection System, to demonstrate the feasibility and effectiveness of the proposed method.