近日，上海电气泰雷兹交通自动化系统有限公司与上海工业控制安全创新科技有限公司签署战略合作协议，将共同在地铁、有轨电车、市域铁路等城市轨道交通领域展开相关技术研究合作。合作内容将涵盖软件工程形式化方法应用研究，联锁系统安全需求自动化验证平台研究，数字化运维综合平台高安全数据基座研究等，并将充分发挥各自优势，在高水平人才联合培养方面展开合作。【温馨提示】本文内容和图片为作者所有,本站只提供信息存储空间服务,如有涉嫌抄袭/侵权/违规内容请联系我们删除！