一种基于故障树分析的软件设计方法

作者：李祥明; 吴学军; 王玮; 茅文浩

来源：兵工自动化, 2011, (08): 85-91.

• 静态故障树分析
• 动态故障树分析
• 软件设计 static fault-tree analysis
• dynamic fault-tree analysis
• software design

为尽量减少被软件设计过程传播的故障数,提出一种基于故障树分析(fault-tree analysis,FTA)的软件设计方法。以故障树分析为基础,从软件的静态和动态特性出发,将其引入到软件设计开发过程中,并以实例进行建模、分析。结果表明:该方法计算复杂度低、精确度高,建模过程简单,适合于规模小的系统。在海上测控软件的设计开发过程中应用该方法,提高了软件的可靠性和安全性。

• 单位
  中国卫星海上测控部