A health management method for safety-critical software

Abstract

The invention belongs to the on-board computer technology field, to be specific, relates to a safety-critical software health management method. The safety-critical software health management method comprises the following steps: 1) a safety-critical software health monitoring table can be created; 2) a safety-critical software diagnosis criteria table can be created; 3) a safety-critical software health management decision blueprint can be created; 4) whether the safety-critical software is faulted can be determined by querying a health monitoring table; 5) a fault phenomenon can be determined according to the health diagnosis criteria table; 6) the fault treatment can be carried out according to the fault treatment rules made by the health management decision blueprint. The safety-critical software health management method is advantageous in that the fault isolation and the fault recovery of the safety-critical software can be realized by creating the health monitoring table, the health diagnosis criteria table, and the health management decision blueprint, and therefore the problems such as airplane crash, casualties, property damages, and severe environmental damages, which are possibly caused by the incorrect function or the failure of the safety-critical software, can be prevented.

Description

technical field [0001] The invention belongs to the technical field of airborne computers, and in particular relates to a health management method for safety-critical software. Background technique [0002] Airborne safety-critical system refers to a type of airborne system with potential destructive power. Once such system fails, it may cause serious consequences such as aircraft crash, casualties and environmental damage. With the development of computer technology and airborne avionics technology, the application of software in safety-critical systems is becoming more and more widespread and increasing in scale. In the integrated avionics system of the F-22 fighter, 80% of the avionics functions are realized by software, and the software code reaches more than 1.7 million lines. In the advanced integrated avionics system of the F-35 fighter, the software code reaches 5 million lines. This shows that in more and more safety-critical systems, the software is becoming more...

AI Technical Summary

Problems solved by technology

[0004] Aiming at the problem that incorrect functions or failures of airborne safety-critical software are likely to cause aircraft crashes, casualties, property damage, and serious damage to the environment, a system based on health monitoring, health diagnosis, management decision-making, fault isolation, and fault management is designed. A six-in-one approach to health management of safety-critical software based on recovery and failure prediction

Images