Airborne safety-critical system security requirement tracking chain establishment and maintenance method

Abstract

The invention relates to an airborne safety-critical system security requirement tracking chain establishment and maintenance method comprising the following steps: preliminarily defining a software high level security requirement template when system distributes to software; building a tracking chain according to the software high level security requirement template and a preliminarily defined tracking entity. The method can keep sufficient information in a process in which system security requirement is distributed to software high level security requirement; the method can solve the problems that a present software high level requirement template cannot describe software security essential factors; the method provides a tracking chain build model, considers software different level (from high level to low level) requirements and tracking relation between requirements, and emphasizes to-be-tracked entities and relations in a parse process; the method can provide basis for parsing security requirement consistency and integrity, and verifying whether the security requirement is satisfied or not.

Description

technical field [0001] The invention relates to the field of computer technology, in particular to a method for establishing and maintaining a safety requirement tracking chain of an airborne safety-critical system. Background technique [0002] In general, software requirements are recorded in the Requirement Specification (Requirement Specification) document. Requirements specification is a document formed by requirements analysts through communication with users to illustrate system functions and features from the user's perspective. The traditional requirements specification usually describes the system function through functional decomposition, that is, the system function is decomposed from top to bottom, and each module is refined into sub-modules, which are elaborated in detail, and then achieve the purpose of describing the function of the whole system. [0003] Security requirements acquisition process: [0004] Related research divides the software security proc...

AI Technical Summary

Problems solved by technology

[0011] In view of the above-mentioned analysis, the present invention aims to provide a method for establishing and maintaining a safety requirement tracking chain of an airborne safety-critical system, in order to solve the problem of existing software safety requirement tracking

Images