论文部分内容阅读
状态事件故障树(State/Event Fault Tree, SEFT)是组件故障树与状态机相结合的系统可靠性建模方法.Kaiser首先提出了状态事件故障树分析方法,该方法通过添加状态机元素来增强状态事件故障树的时间表达式.模型的顶层输出表示系统的故障结果,通过将系统的基本组件与各类逻辑门相结合,描述系统故障的因果逻辑关系.