静态的系统安全性分析方法在对含有失效时序关系的复杂系统进行安全性分析时,会在分析过程中丢失失效事件发生的时序信息,因此分析结果中可能含有潜在的错误。同时,现有可以考虑时序关系的分析方法,存在只适合进行定量分析或建模规模大,求解困难等问题。因此,本文研究一种考虑失效时序关系的复杂系统安全性分析方法,增加了同时与门(SAND)的处理能力,不仅适合对复杂系统进行定性的分析,而且分析过程清晰,结果更加准确。本文首先总结了复杂系统的失效特点,对现有可以考虑失效时序关系的分析方法从分析原理、分析流程及不足方面进行了评述,说明本文方法提出的必要性。该方法利用系统结构分层思想,以状态图作为描述工具,描述系统各层级失效状态迁移关系,同时,根据状态图模型,利用三种时序逻辑门,对失效时序信息进行准确逻辑表达,建立复杂系统的失效时序关系模型,提出基于时序逻辑规则的求解算法,以求解导致系统级失效的最小割序。最后,将本方法用于实例部分,通过和传统分析方法求解结果进行对比,验证方法的准确性和适用性。