摘要
为尽量减少被软件设计过程传播的故障数,提出一种基于故障树分析(fault-tree analysis,FTA)的软件设计方法。以故障树分析为基础,从软件的静态和动态特性出发,将其引入到软件设计开发过程中,并以实例进行建模、分析。结果表明:该方法计算复杂度低、精确度高,建模过程简单,适合于规模小的系统。在海上测控软件的设计开发过程中应用该方法,提高了软件的可靠性和安全性。
For reduces as far as possible the number of failure by the software design process dissemination, put forward a new software design method based on fault-tree analysis. On the basis of fault-tree analysis, it should its import software design development process according to these characteristic of static and dynamic of software, and taking example process modeling and analysis. The result shows that the method has low complexity, high accuracy of calculate, process simple of modeling, suitability for small-scale system. The method can advance reliability and security in the development process of maritime test and control.
出处
《兵工自动化》
2011年第8期85-91,共7页
Ordnance Industry Automation
关键词
静态故障树分析
动态故障树分析
软件设计
static fault-tree analysis
dynamic fault-tree analysis
software design
