A Safety Case Modeling Method Based on Template

Abstract

The present invention relates to a safety case modeling method based on a template. The method includes the following steps: conducting domain analysis on the safety case, extracting the concept, relationship and constraints of the safety case; modeling the safety case, and establishing a meta-model storage of the safety case In the database; create safety case templates based on the meta-model and store them in the database, including safety argumentation templates, system description templates, safety requirement templates, hazard analysis templates, and risk management templates; establish constraint rules for safety case templates and store them in the database ;Call the safety case template from the database to write a safety case and carry out safety demonstration. The method guides relevant personnel to conduct safety demonstrations for the system and write safety cases; avoids incompleteness when describing safety cases; alleviates ambiguity caused by natural language description of safety cases, and then completes and clearly expresses Make a safety case.

Description

technical field [0001] The invention relates to the field of computer technology, in particular to a template-based safety case modeling method. Background technique [0002] A safety-critical system is a system whose failure may result in loss of human life, loss of important property, or damage to the environment. In aerospace, many safety-critical systems rely on software to achieve their goals. As the technology related to software becomes more and more mature, the application of airborne software is also increasing. Software security comes from the system. Software may help to enhance the security of a system, or it may place the system in a dangerous state, thereby reducing the security of the system. [0003] MIL-STD-882D defines software security as the ability of software to run without causing system harm. NASA8719.13A defines software security as referring to the application of security engineering technology within the software life cycle to ensure that the s...

AI Technical Summary

Problems solved by technology

Then there is no complete description method for the safety case. The current textual and graphical description methods also bring about problems such as confusing structure and inability to fully describe the safety case.

And there are no binding rules on the description of the safety case, which makes it have problems such as ambiguity and ambiguity

In addition, there is no safety demonstration method to guide users to write safety cases for safety demonstration

Images