Reliability design method and device for flight control software, and computer storage medium

A technology of flight control and design method, applied in the field of flight control, can solve the problem of low reliability, achieve the effect of improving reliability and preventing wrong judgment of signs

Active Publication Date: 2020-12-29
CHINA ACAD OF LAUNCH VEHICLE TECH
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] As the embedded software on the arrow, the flight control software has mandatory constraints on its calculation time. The reliability design of the traditional flight control software is mainly considered from the software level, and the reliability is not high.

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
  • Reliability design method and device for flight control software, and computer storage medium
  • Reliability design method and device for flight control software, and computer storage medium
  • Reliability design method and device for flight control software, and computer storage medium

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0030] figure 1 It shows a schematic flow chart of implementing the flight control software reliability design method in Embodiment 1 of the present application.

[0031] As shown in the figure, the flight control software reliability design method includes:

[0032] Step 101, obtaining the flight profile;

[0033] Step 102, determining key timing actions and their dependencies according to the flight profile;

[0034] Step 103, according to the key sequence actions and their dependencies, identify the minimum pre-sequence set of actions to be judged;

[0035] Step 104, judging the minimum pre-sequence sequence set.

[0036] During specific implementation, the key timing actions may be determined according to the flight profile and preset rules. The dependency relationship of the key sequence actions can be determined according to the flight control process, for example, the execution of a certain sequence action needs to be performed only when certain sequence actions are...

Embodiment 2

[0061] Based on the same inventive concept, the embodiment of the present application provides a flight control software reliability design device. The principle of the device to solve technical problems is similar to a flight control software reliability design method, and the repetition will not be repeated.

[0062] figure 2 A schematic structural diagram of the flight control software reliability design device in Embodiment 2 of the present application is shown.

[0063] As shown in the figure, the flight control software reliability design device includes:

[0064] An acquisition module 201, configured to acquire a flight profile;

[0065] A determining module 202, configured to determine key timing actions and their dependencies according to the flight profile;

[0066] An identification module 203, configured to identify the minimum pre-sequence sequence set of actions to be judged according to the key sequence actions and their dependencies;

[0067] A judging modu...

Embodiment 3

[0089] Based on the same inventive concept, an embodiment of the present application further provides a computer storage medium, which will be described below.

[0090] The computer storage medium has a computer program stored thereon, and when the computer program is executed by the processor, the steps of the flight control software reliability design method as described in the first embodiment are implemented.

[0091] The computer storage medium provided in the embodiment of the present application proposes a mechanism to minimize pre-order logic guarantees. On the one hand, it constrains the order and conditions of logical transformations; The flag judgment error caused by the abnormality has effectively improved the reliability of the flight control software.

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 discloses a reliability design method and device for flight control software, and a computer storage medium. The method comprises the steps of obtaining a flight profile; determining a key time sequence action and a dependency relationship thereof according to the flight profile; identifying a minimum preorder time sequence set of the action to be judged according to the key time sequence action and the dependency relationship thereof; and judging the minimum preorder time sequence set. According to the scheme, a minimization preorder logic guarantee mechanism is provided, on onehand, the logic conversion sequence and condition are restrained, on the other hand, the preorder guarantee requirement is minimized, sign judgment errors caused by abnormity of irrelevant information are prevented, and the reliability of flight control software is effectively improved.

Description

technical field [0001] The present application relates to flight control technology, in particular, to a flight control software reliability design method, device, computer storage medium, and electronic equipment. Background technique [0002] As the most critical software of the rocket, the flight control software plays a decisive role in the success or failure of the flight test. The correctness of the flight control software determines the accuracy of its calculation results under the normal branch, and the reliability of the flight control software determines the robustness of its calculation results under the abnormal branch. Under normal circumstances, the half-physical simulation test of the flight control system can fully assess the correctness of the flight control software. However, due to the differences between the flight environment and the test environment, the reliability assessment of the flight control software is relatively weak. Therefore, it is urgent to...

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): G06F8/20G06F8/30B64C13/00
CPCG06F8/20G06F8/315B64C13/00
Inventor胡骁李浩张亚琳潘彦鹏张雪婷陈旭东吕瑞涂海峰严大卫陈喆葛云鹏梁卓宋志国张东蔡亚楠王凯旋李迎博薛晨琛李烨谭黎立杨立杰丁禹赵楠陈铁凝郝仁杰丘岳诗孟文霞姜春旺杜肖谭清科
OwnerCHINA ACAD OF LAUNCH VEHICLE TECH