A study of fault tree analysis for control program in space system.