| Summary: | 碩士 === 元智大學 === 資訊工程學系 === 100 === 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.
|
|---|
