针对石油化工行业生产过程的安全性问题,提出了一种基于分段仿射(PWA)模型的安全诊断方法。该方法需要先建立石化系统的PWA模型,该类模型能够很好的描述石化系统的非线性特性和混杂特性;再采用基于可达性分析的形式验证算法,求取系统状态所有可能的运行轨迹,对系统在运行过程中是否发生危险进行预判,以便及时采取相应的措施,保证系统运行的可靠性和安全性。将该方法应用到连续搅拌反应釜(CSTR)系统中,仿真结果验证了其有效性和实用性。