Template-based safety case modeling method

Abstract

The present invention relates to a template-based safety case modeling method. The method comprises the following steps of performing field analysis on a safety case, and extracting concept, relation and constraint of the safety case; modeling the safety case, and establishing a safety case meta model and storing the safety case meta model into a database; establishing safety case templates according to the meta model and storing the safety case templates in the database, the safety case templates comprising a safety argument template, a system description template, a safety requirements template, a hazard analysis template and a risk management template; establishing constraint rules for the safety case templates and storing the constraint rules into the database; and calling the safety case templates from the database to write the safety case, and performing safety argument. According to the method, related personnel are directed to perform safety argument on a system and write a safety case; incompleteness generated by describing the safety case is prevented; and ambiguity caused by describing the safety case by natural language is reduced, and therefore the safety case is expressed completely and clearly.

Description

technical field [0001] The invention relates to the field of computer technology, in particular to a template-based security case modeling method. Background technique [0002] A safety-critical system is one whose failure may result in loss of human life, significant property damage, or environmental damage. In aerospace, many safety-critical systems rely on software to achieve their goals. As software-related technologies become more and more mature, the applications of airborne software are also increasing. Software security comes from the system. Software may help to enhance the security of the system, or it may put 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 operate without causing harm to the system. NASA 8719.13A defines software security as the application of security engineering techniques during the software life cycle to ensure that software takes pr...

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