System and Method for Reliability Analysis of Flight Guidance and Control Software Based on Formal Rules

Abstract

The present invention relates to a flight guidance control software reliability analysis system based on formalized rules, which includes flight guidance control software requirement modeling module, flight guidance control software reliability analysis rule management module, flight guidance control software reliability analysis rule form Based on the simplified description module and the automatic reliability analysis module of flight guidance control software based on formalized rules, the present invention conducts automatic traversal failure mode analysis around the requirement model, fully identifies potential logical branches that have not been clearly or considered in the requirement, and analyzes the existing safety hazards. Improve the efficiency and quality of software reliability analysis work, ensure the quality and integrity of requirements, and ensure that the level of software reliability meets the development requirements of the flight guidance and control system.

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 ...

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, software testing technology focuses on verifying the realization of requirements, and it is not easy to find problems caused by insufficient or inaccurate requirements.

Due to the limitations of traditional analysis and verification technology, it is difficult to fully cover the external abnormal input stimulus of the flight guidance control software, and the software will frequently fail when it is running, affecting the stable operation of the system and the completion of the guidance task

Images