11月27日下午，上海控安51fusa功能安全社区成功举办第一期“城市交通安全＋”系列沙龙，活动以“软件自动化测试技术在轨道交通行业应用探索”为主题，邀请到三十余位高校教授、技术大咖、企业代表共同探讨行业发展，交流技术难题，加强产业互动。

上海大学通信与信息工程学院郑国莘教授就“轨道交通无线通信系统性能测试”主题进行分享，详细介绍了列车控制与5G通信的相关性、5G通信中的信道技术以及上海控安－上海大学轨交实验室承担的项目。郑教授指出，高铁和轨交建设正面临全新挑战，即特殊信道、高速移动以及高可靠性要求，如何选择带宽与调制，各种系统如何设置基站、传输方式和通信系统结构，都是未来亟待解决的技术难题。

卡斯柯信号有限公司测试部经理陈晓轩围绕“软件自动化测试技术在行业应用的探索”主题，介绍了卡斯柯在轨道交通领域的应用。卡斯柯是一家兼具城轨和国铁业务的全方位列车运行控制系统集成商，tranavi系统是其自主研发的基于无线通信技术的列车控制系统，能够实现全自动无人驾驶。陈经理介绍了模型开发方式的特点以及应用案例，这种方法更具直观性，对于研发设计的效率提升大有裨益。

上海控安行业销售总监邢志文介绍了两款控安自研产品：工业嵌入式系统单元测试工具和工业软件成分分析工具及其应用现状。针对项目时间紧、任务重、需要投入大量的人力和时间成本的行业痛点，单元测试工具SmartRocket Unit能够智能生成测试用例，支持语句、分支、MC／DC覆盖准则，全面覆盖形参、全局变量、桩函数、桩函数形参等数据，并且可以无缝对接第三方工具。针对代码溯源困难、第三方代码许可证隐忧和代码漏洞问题，软件成分分析工具SmartRocket Scanner可以分析代码中的开源文件，为用户检索安全漏洞、许可证隐忧等信息，最后提供代码补丁和针对性修复建议。

华东师范大学软件工程学院张小禹介绍了国产轨道交通联锁系统的形式化自动验证解决方案SmartRocket iVerifier，对标瑞典prover ilock联锁系统验证工具而开发。可以自动对所有安全要求进行正式验证，并且在验证不通过的情况下给出反例，同时反例会呈现到对应的模型图和周期图上供用户推导出性质被违背的完整过程。

交流环节中，企业代表们积极讨论了轨交安全产品的诉求、轨交产业如何聚焦并提升安全性能、厂商、认证机构、基础软件商在产业链的不同环节应如何发挥各自作用等话题。通过此次活动，企业、研发机构与高校更了解彼此的需求和痛点，为携手促进轨交安全蓬勃发展指引方向。