2015年2月11日下午由上海土木工程学会主持召开了“轨道交通信号系统安全与实证”项目验收会，验收会在在上海申通集团技术举行。申通集团技术中心首席总监王大庆主持了验收会，张凯代表项目项目向与会专家汇报了项目的研究过程及成果，武青云向与会专家演示了研究成果。
与会专家认为：该项目利用形式化开发工具SCADE，对轨道交通核心关键技术进行实质性的研究与开发，对提升国内轨道交通核心技术的研发有指导意义；为国内第三方软件安全评估奠定了基础。项目达到了预期的成果，同意验收通过。
薛小平教授、王小平教授、贾建华副教授参加了项目验收会。