本发明公开了一种列车火灾联动及建模验证方法，所述列车火灾联动方法包括：FAS的火灾探测设备检测到列车发生火灾，FAS的火灾报警主机确定起火位置，FAS上传火灾信息到TCMS，TCMS通过车地无线通信系统将报警信息转发给OCC的ISCS，同时TCMS解析火灾信息包含的火灾位置信息并控制对应位置的CCTV的摄像头，将所述摄像头的画面同步至ISCS，OCC结合报警信息和所述摄像头的画面判断是否发生火灾，相应的执行火灾误报系统复位或者启动火灾疏散；所述列车火灾联动建模验证方法基于UPPAAL工具建立时间自动机网络，描述并验证列车火灾联动方法。本发明中TCMS以及ISCS的各子系统能够可靠的进行联动，避免因为流程和联动逻辑发生错误导致系统瘫痪，保证列车行车安全。