A proposal of Fault Tree Analysis for control programs

Author

Takahashi, Masaharu ; Nanba, Reiji

Author_Institution

Dept. of Comput. Sci., Univ. of Yamanashi, Yamanashi, Japan

fYear

2014

fDate

9-12 Sept. 2014

Firstpage

1719

Lastpage

1724

Abstract

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.

Keywords

control engineering computing; fault trees; safety-critical software; FT templates; FTA; control program malfunction; damages; extract characteristics; fault tree analysis; industrial product; program structure; safety analysis; safeware; spin too fast fault; Data preprocessing; Fault trees; Hardware; Interrupters; Safety; Satellites; Sun; Control Program; Fault Tree Analysis; Safety Analysis; Safeware;

fLanguage

English

Publisher

ieee

Conference_Titel

SICE Annual Conference (SICE), 2014 Proceedings of the

Conference_Location

Sapporo

Type

conf

DOI

10.1109/SICE.2014.6935296

Filename

6935296