Ontology-Based Requirements Generation for Credibility Validation of Safety-Critical System

As a kind of critical system, safety-critical system is always used for the key areas such as aerospace, national defense, transportation, nuclear energy, health and so on, which require the high security. Due to the inherent defects which caused by the complexity of the organizational structure, and the external threats which caused by the open and dynamic environment, some unexpected results will be produced inevitably which reduce the credibility of the safety-critical system. Therefore, requirements analysis for credibility validation has gradually become an essential work. However, there still lacks a systematic method to guide the elicitation of trustworthiness requirements. In this paper, we present an ontology-based requirements analysis method to elicit and model the credibility-related requirements. Using the formal representation, we model the system from static and dynamic aspects, model the inherent defects and the external threats that may exist. Further, we enable a set of rules to reason the requirements from the knowledge base we build. At last, the approach is evaluated on a mission electronic system.