System and method for analyzing reliability of flight guidance control software based on formalized rule

A guidance control and reliability technology, applied in the field of software reliability analysis, can solve problems such as inaccuracy, inability to effectively support the identification of developers, affecting the stable operation of the system, etc., to achieve the effect of reducing logic complexity

Active Publication Date: 2018-11-27
NAVAL UNIV OF ENG PLA
View PDF5 Cites 13 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] Due to the above characteristics of the flight guidance control software, its failure mechanism is more complicated
However, traditional software reliability analysis techniques (such as failure mode and its effects analysis FMEA, fault tree analysis FTA, etc.) focus on static traversal analysis of functional interfaces, which cannot effectively support developers to identify complex failure modes with dynamic characteristics. Software requirements There are many security risks
However

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
  • System and method for analyzing reliability of flight guidance control software based on formalized rule

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0024] Below in conjunction with accompanying drawing and specific embodiment the present invention is described in further detail:

[0025] A kind of flight guidance control software reliability analysis system based on formal rules of the present invention, such as figure 1 As shown, it includes flight guidance control software requirements modeling module 1, flight guidance control software reliability analysis rule management module 2, flight guidance control software reliability analysis rule formal description module 3 and flight guidance control software based on formal rules Reliability automatic analysis module 4, wherein, flight guidance control software requirements modeling module 1 is used for flight guidance control software reliability analysis rule management module 2, flight guidance control software reliability analysis rule formalization description module 3 and formalization-based The regular flight guidance control software reliability automatic analysis m...

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 relates to a system for analyzing reliability of flight guidance control software based on a formalized rule. The system comprises a flight guidance control software requirement modelingmodule, a flight guidance control software reliability analyzing rule management module, a flight guidance control software reliability analyzing rule formalized description module and a flight guidance control software reliability automatic analysis module based on the formalized rule. According to the system, automatic traversing failure model effectiveness analysis is performed for a requirement model, potential logic branches which are not defined or considered in the requirement are sufficiently recognized, and existing potential safety hazards are analyzed. The efficiency and quality inthe work of software reliability analysis are improved, the requirement quality and completeness are ensured, the level of the software reliability is guaranteed, and the development requirements ofa flight guidance control system are met.

Description

technical field [0001] The invention relates to the technical field of software reliability analysis, in particular to a system and method for reliability analysis of flight guidance control software based on formalized rules. Background technique [0002] With the rapid development of computer technology, software has become the core component of the flight guidance and control system, completing important functions such as data calculation, target tracking, command and control. The ensuing problem is that software failure becomes the main cause of system danger. Therefore, how to ensure the high reliability and high security of the flight guidance control software is very important. Software reliability refers to the ability of the software to run without causing system failure under specified conditions and within a specified period of time. It has become one of the core elements of flight guidance and control system quality. [0003] The flight guidance control system ...

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): G06F11/36G06F8/10
CPCG06F8/10G06F11/3684G06F11/3688
Inventor 马良荔张浩然李海峰刘畅
Owner NAVAL UNIV OF ENG PLA
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