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

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

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