Aviation equipment field programmable logic device software security analysis method

A programming logic and security technology, applied in the field of security, can solve the problems of inability to guarantee consistency and adequacy, easy to miss failure modes, and difficult to find failures, etc.

Active Publication Date: 2021-04-06
CHINA AERO POLYTECH ESTAB
View PDF10 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Finally, there is no mature and recognized method for how to identify and analyze PLD software failure modes according to the PLD software requirements document. However, there are several shortcomings: when the number of functions or states of PLD software is large, it is easy to miss individual failure modes; PL

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 more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Aviation equipment field programmable logic device software security analysis method
  • Aviation equipment field programmable logic device software security analysis method
  • Aviation equipment field programmable logic device software security analysis method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0093] Attached below Figure 1-3 And embodiment the application is described in further detail. It should be understood that the specific embodiments described here are only used to explain related inventions, rather than to limit the invention. It should also be noted that, for the convenience of description, only the parts related to the related invention are shown in the drawings.

[0094] It should be noted that, in the case of no conflict, the embodiments in the present application and the features in the embodiments can be combined with each other. The present application will be described in detail below with reference to the accompanying drawings and embodiments.

[0095] Take a certain type of flight parameter recorder recording PLD software (hereinafter referred to as the flight parameter recording PLD software) as an example. The flight parameter recording PLD software is the core component of the flight parameter recorder. The software receives the flight data o...

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

No PUM Login to view more

Abstract

The invention provides an aviation equipment field programmable logic device software security analysis method, which comprises the following steps: forming a security analysis-oriented demand modeling method for an external cross-linking environment model, a function processing model and a working state migration model; according to the demand model, forming an aviation equipment PLD software security analysis rule from an external input interface, an external output interface, a function processing process and a working state angle; and on the basis of the demand model, determining a potential PLD software failure mode in the demand according to a PLD software security analysis rule, analyzing reasons and influences of the failure mode, formulating corresponding control measures, and determining PLD software security requirements. By means of the aviation equipment PLD software requirement modeling oriented to safety analysis and the aviation equipment PLD software safety analysis technology based on the requirement model, the aviation equipment PLD software safety analysis method is standardized, and the safety and the quality level of aviation equipment PLD software are improved.

Description

technical field [0001] The invention belongs to the technical field of security, in particular to a software security analysis method for field programmable logic devices of aviation equipment. Background technique [0002] Programmable logic device (programmable logic device, PLD) is widely used in aviation equipment because of its unique advantages such as high logic density and flexible design. However, there are still many problems in the existing PLD software security analysis methods for aviation equipment. Including insufficient analysis, limited by itself, lack of objective norms, etc. [0003] First of all, although relevant research has been carried out on aviation equipment software security analysis methods at home and abroad, there are few studies on aviation equipment PLD software; and common software security analysis methods focus on the analysis of software failure modes such as functions and task scenarios. However, PLD software realizes different logic de...

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
no application Login to view more
IPC IPC(8): G05B19/05
CPCG05B19/056G05B2219/13004
Inventor 封二强初振华赵刚孙乾马力蔡玉华
Owner CHINA AERO POLYTECH ESTAB
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap