现代工程系统在整个寿命周期内表现出明显的动态特性，对系统进行风险评价应进一步考虑其动态特性。传统的概率风险评价技术本质上采用的是静态分析观点，很难解决动态系统的安全性问题，因此，必须对其进行改进，其中一个重要的改进是使它能处理时间相关性。GO-FLOW是一种能够处理时间相关性的分析技术，能够描述具有复杂运行时序、多状态系统的功能，而且经过简单的运算，就能得到系统在各时间点上的风险，这些都为GO-FLOW应用于动态工程系统的安全性分析与评估提供了一种有效的技术途径。但由于它在复杂系统的建模、分析计算和工程应用等方面还存在缺陷，需要对其进一步完善和改进。GO-FLOW自上世纪90年代发展以来，我国对此研究甚少，本文以“十五”预研课题《动态系统安全性分析技术》为背景，首先对GO-FLOW的基本原理进行系统地研究，重点对GO-FLOW作了以下扩展： (1)引入“N中取K门”、“非门”、“阶段任务”运算符，并给出相应的运算规则。 (2)提出了GO-FLOW处理共有信号的精确算法。 (3)给出GO-FLOW处理共因故障的结构框架。 (4)结合“阶段任务”运算符，提出利用GO-FLOW分析阶段任务的原理和方法。 (5)研究GO-FLOW与HAZOP方法的综合运用，以获取全面的评估结果。 其次，提出GO-FLOW计算机辅助分析软件的总体框架，介绍了该软件系统的组成和功能，讨论了其数据组织、工作流程以及实现软件功能的主要技术和方法。 最后用改进后的GO-FLOW及辅助软件来对PWR-AFWS的某一工作过程进行分析，该实例展示了GO-FLOW方法应用于动态系统安全性问题的优势。