【产通社，11月23日讯】中国赛宝实验室（China CEPREI Laboratory）官网消息，西南交通大学信息科学与技术学院11月9日在成都与其软件中心就轨道交通产品软件可靠性、安全性领域开展了学术交流活动。

交流过程中，信科院院长潘炜介绍了西南交通大学近年来在高铁、城轨领域的学科建设和与国内外轨道交通行业的合作情况。西南交通大学是中国轨道行业的学术研究首府，交通控制信息工程专业已成为学校五大重点专业之一。接着，软件中心主任杨春晖介绍了我所的概况和软件中心在嵌入式软件安全领域的科研能力与成果应用情况。

随后，软件中心技术团队认真参观学习了信科院的城轨调度仿真实验室，双方就软件形式化验证、软件正确性证明、软件自动化测试和嵌入式软件安全性检测技术等共同关注的学术和工程技术问题进行了详细深入的交流和探讨。紧接着，双方为“轨道交通信号系统可靠性技术联合实验室”进行了揭牌仪式。

双方的合作将实现优势互补，极大增强了彼此团队的技术实力，帮助我所拓宽轨道行业可靠性技术服务的渠道，从而更好地支撑中国轨道交通行业的可靠性发展。查询进一步信息，请访问官方网站http://www.ceprei.com。    （完）