A proposal of Fault Tree Analysis for control programs

This paper proposes a method of Fault Tree Analysis (FTA) for control program. If malfunction of control program occurs, industrial product into which program is installed may behave inadequately. As a result, it causes some faults for industrial products, but it also causes damages to the users and environments. This paper proposes following method; prepare FT templates corresponding to the program structure, extract characteristics of control program, and develop FT according to the predefined rules. As a result, we can develop FT mechanically. The proposed FTA method is applied to an analysis of “spin too fast” fault for satellite, and FT is developed. The result of FT is adequate. This result shows that safety of control program installed into industrial products are improved by applying the proposed FTA method for control program.