Method for Establishing and Maintaining Safety Requirements Tracing Chain of Airborne Safety-Critical System
A safety-critical system and safety technology, which is applied in the field of establishment and maintenance of the safety requirements tracking chain of airborne safety-critical systems, and can solve problems such as tracking and storage of software safety requirements
Active Publication Date: 2019-03-19
BEIHANG UNIV
View PDF2 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
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
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0047] The present invention proposes a set of methods for describing high-level security requirements of software and establishing and maintaining a tracking chain, so that when the security requirements are allocated to software as a system, the information of high-level security requirements of software as a bridge between the system layer and the software layer can be obtained. Relatively complete and easy-to-understand preservation; the established tracking chain is based on the high-level security requirements of this software, and is aimed at the establishment and maintenance of tracking chains between tracking entities concerned by safety-critical systems.
[0048] Preferred embodiments of the present invention will be specifically described below in conjunction with the accompanying drawings, wherein the accompanying drawings constitute a part of the application and are used together with the embodiments of the present invention to explain the principle of the present i...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More PUM
Login to View More Abstract
The invention relates to a method for establishing and maintaining a safety requirement tracking chain of an airborne safety-critical system, comprising: when assigning the system to the software, pre-defining a software high-level safety requirement template; based on the software high-level safety requirement template and The tracking relationship between predefined tracking entities establishes a tracking chain; the present invention retains sufficient information in the process of assigning system security requirements to software high-level security requirements; solves the problem that the current software high-level requirement template does not have a strong impact on software security. The problem of describing the essential elements; the model of establishing the tracking chain is proposed, the tracking relationship between the requirements and requirements of different levels of software (high-level to low-level) is noticed, and the entities and relationships that should be tracked in the analysis process are emphasized; for the analysis of security It provides the basis for the consistency and completeness of the security requirements and the verification of whether the security requirements are met.
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...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G06F8/10G06F21/52
CPCG06F8/75G06F21/52
Inventor 刘超邓明丽杨海燕吴际
Owner BEIHANG UNIV