Method for sufficiently inspecting safety analysis of embedded software
A technology of embedded software and inspection methods, which is applied in the computer field, can solve the problems that it is difficult to evaluate software security analysis work is sufficient and effective, and achieve the effect of improving quality and efficiency
Active Publication Date: 2014-02-26
CHINA AERO POLYTECH ESTAB
View PDF3 Cites 13 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0005] However, there is currently no adequacy checking method for software security analysis, and software security analysts are often unable to effectively and standardizedly check whether various software security analysis techniques have fully identified system hazards and failure modes, making it difficult to evaluate software security Whether the analysis work is carried out adequately and effectively
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 1
[0091] The object selected in this example is a certain type of radar data processing embedded software security analysis project. The radar data processing software receives the radar echo data, performs signal processing on the radar echo data according to different working methods, and then converts the data into corresponding meteorological video signals or terrain video signals according to different working methods, and outputs them to the avionics system for display The processing unit is configured to output a wind shear warning signal to the warning system in a wind shear state. The entire project uses three analysis techniques to carry out software security analysis, namely PHA analysis, FMEA analysis, and FHA analysis.
[0092] The first step is to clarify the results of PHA, FHA, and FMEA analysis work. See attached table 1 for the results of PHA analysis work, see attached table 2 for the results of FHA analysis work, and see attached table 3 for the results of F...
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 belongs to the technical field of computers, and relates to a method for sufficiently inspecting safety analysis of embedded software, in particular to a method for sufficiently inspecting safety analysis of a plane. According to the method, the fact that the safety analysis work of the airborne embedded software is sufficiently inspected from the both-way aspect of a system and software is firstly and clearly put forwards, the detailed process and the inspection strategy for conducting independent and cross inspection on PHA, FHA and FMEA analysis results are given out, and the defects and the shortcomings existing in products in each stage of the safety analysis work of the airborne embedded software can be effectively identified. The method can be used for improving the quality and the efficiency of the safety analysis working items of the airborne embedded software, and also can be used for checking, accepting and evaluating the safety analysis working items of the software, the problems that man-made influence factors in the working effect are large and the sufficiency can not be effectively guaranteed in the safety analysis of the current airborne embedded software are effectively solved, and technical support is provided for enabling the airborne embedded software to meet the high safety and quality demand.
Description
technical field [0001] The invention belongs to the technical field of computers and relates to a method for checking the adequacy of safety analysis of embedded software, in particular to a method for checking the adequacy of safety analysis of aircraft. Background technique [0002] With the development of science and technology and the wide application of computer technology in modern aircraft, software has gradually become an extremely important part of the airborne system. It is very important to ensure the high security, high reliability and high quality of airborne embedded software. important. Software security refers to the ability not to cause system accidents during software operation. It reflects the ability of the product not to cause casualties, system damage, major property damage, or endanger human health and the environment. In software security, the objective existence or potential conditions that lead to security incidents are called "dangerous". [000...
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 IPC IPC(8): G06F11/36
Inventor 刘畅李海峰蔡玉华谢许扬郑军
Owner CHINA AERO POLYTECH ESTAB