宛伟健，黄志球，沈国华，尹小花

(南京航空航天大学计算机科学与技术学院，南京211106)

(南京航空航天大学高安全系统的软件开发与验证技术工业和信息化部重点实验室，南京211106)

E-mail:wanweijianxs@163.com

1 引言

随着现代科学技术的不断发展，出现了大量多功能的复杂系统.复杂系统有软硬件结合和能执行多种功能任务的特性.大规模的复杂系统给人们带来巨大的经济利益，但是一旦出现故障则需要及时将故障排除，否则就会造成重大损失.FTA作为经典的安全性分析方法，被广泛应用于不同的领域［1-5］，在系统实现过程中加强设备的可靠性设计以及在后期系统运用中实现故障的全面诊断、快速排查和维护具有重要意义.然而，传统故障树通常基于分析师的经验建立，需要彻底了解系统功能原理并正确转化为布尔逻辑，对于简单系统，可以通过手动构建故障树，但是随着系统复杂度的提升，人工方式已基本无法构造和修改故障树［6］.

GO法［7-9］(GO Method)最早于60年代中期由凯曼科学公司(Kaman Sciences Corporation)开发出来，应用于国防和航天工业领域，它应用GO图模型来计算系统的可靠性和可用性，适用于有时序和实际物流的系统可靠性分析，由于其与系统功能原理图的相似性，通常易于构建［10］，且原理图中的构件与GO图的操作符之间常常有非常明显的一一对应关系，不会变得像故障树模型那样十分膨胀［11］.基于GO图的故障树生成技术为解决大型复杂系统故障树生成问题提供了一种新思路.本……