Research on functional and real-time fault-localization method for Flight Control software

Flight control software has higher requirements on reliability, as well as real-time performance. What's more, the fault of flight control software not only contains traditional functional fault, but also contains real-time fault. Thus, fault localization and removing for Flight Control software is a huge challenge for relative engineers. To locate and remove those faults effectively, this paper adopts Sober algorithm as the functional fault-localization algorithm for flight control software. Meanwhile, this paper proposes the module-level and function- level real-time fault-localization algorithms inspired by Sober algorithm. The experimental results indicate that all algorithms have obtained acceptable localization results. For further goals on increasing the automation level and the efficiency of software fault-localization process, we develop a fault-localization and visualization (FL&V) tool for flight control software at last.