A systematic verification method for satellite safety-critical software
A verification method and systematic technology, applied in the verification field of satellite safety key software, can solve problems such as lack of systematic verification and difficulty in mining software security problems, and achieve the effect of increasing the number of systematic problems
Active Publication Date: 2021-06-11
CHINA ACADEMY OF SPACE TECHNOLOGY
View PDF0 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0005] The traditional software security processing technology looks at software problems from a perspective similar to hardware failure problems, and believes that the unreliable factors of software itself account for a large proportion of software-related problems, and only verify the software within the scope of the software's own functions. Its flaws are: it ignores the key issue that many software-related accidents are caused by multidimensional, systematic, and dynamic factors, and does not include other system influencing factors other than the software function itself for verification. The lack of systematic verification makes it difficult to tap potential specific, systemic software security issues
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
[0028] The solution of the present invention is: 1) constructing a multi-dimensional influencing factor model of safety-critical software around the logic of the software itself, its operating environment, and interaction characteristics; 2) incorporating the safety requirements of safety-critical software in the system requirements phase Consider and establish the safety-critical software requirement constraint set; 3) Based on the safety-critical software requirement constraint set, design the safety-critical software verification set and conduct the test verification based on the safety verification set.
[0029] Specific embodiments of the present invention will be further described in detail below in conjunction with the accompanying drawings.
[0030] figure 1 It is a verification flowchart of the safety-critical software verification method based on system multidimensional elements in the present invention. The whole verification process is divided into three parts, nam...
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
A systematic verification method for satellite safety-critical software. Firstly, a multi-dimensional influencing factor model of safety-critical software is constructed, and then a requirement constraint set of safety-critical software is constructed according to the multi-dimensional influencing factor model of safety-critical software. Critical software is verified. The present invention combines the operation processing process of safety-critical software, abstracts the control process processing model of safety-critical software, refines and forms a safety constraint set at the software system level, and designs a verification set of safety-critical software on this basis, realizing the establishment of Based on the coverage analysis of safety impact factors on the software process model, and the seamless mapping from the safety impact factors of safety-critical software to the verification sets of safety-critical software, compared with traditional test verification methods, the verified systematic problems The quantity is increased by more than 20%, which has a very good use value.
Description
technical field [0001] The invention relates to the verification field of satellite safety-critical software, in particular to a systematic verification method for satellite safety-critical software. Background technique [0002] The key software for satellite safety is the core of satellite management. It integrates functions such as telemetry and remote control, thermal control, energy, internal affairs, and FDIR management. It performs data interaction with multiple integrated processing units through the bus, sends remote control commands and receives telemetry information, and completes Control and management of satellites. [0003] As the proportion of software execution functions continues to rise, the scale of software code continues to grow, the complexity of the software's own structure increases, and the degree of coupling between software and hardware increases, making software-related security issues prominent. [0004] Therefore, it is an urgent need to clarif...
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): G06F21/57
CPCG06F21/57G06F2221/033
Inventor 吕小虎韩笑冬宫江雷邓兵李翔王雷
Owner CHINA ACADEMY OF SPACE TECHNOLOGY