-
往期回顾
51fusa功能安全社区“城市交通安全+”系列沙龙第一期成功举办
活动以“软件自动化测试技术在轨道交通行业应用探索”为主题展开探讨。
已有36人参与
11月27日下午，上海控安51fusa功能安全社区成功举办第一期“城市交通安全+”系列沙龙，活动以“软件自动化测试技术在轨道交通行业应用探索”为主题，邀请到三十余位高校教授、技术大咖、企业代表共同探讨行业发展，交流技术难题，加强产业互动。
上海大学通信与信息工程学院郑国莘教授就“轨道交通无线通信系统性能测试”主题进行分享，详细介绍了列车控制与5G通信的相关性、5G通信中的信道技术以及上海控安-上海大学轨交实验室承担的项目。郑教授指出，高铁和轨交建设正面临全新挑战，即特殊信道、高速移动以及高可靠性要求，如何选择带宽与调制，各种系统如何设置基站、传输方式和通信系统结构，都是未来亟待解决的技术难题。
上海大学通信与信息工程学院郑国莘教授
卡斯柯信号有限公司测试部经理陈晓轩围绕“软件自动化测试技术在行业应用的探索”主题，介绍了卡斯柯在轨道交通领域的应用。卡斯柯是一家兼具城轨和国铁业务的全方位列车运行控制系统集成商，tranavi系统是其自主研发的基于无线通信技术的列车控制系统，能够实现全自动无人驾驶。陈经理介绍了模型开发方式的特点以及应用案例，这种方法更具直观性，对于研发设计的效率提升大有裨益。
卡斯柯信号有限公司测试部经理陈晓轩
上海控安行业销售总监邢志文介绍了两款控安自研产品：工业嵌入式系统单元测试工具和工业软件成分分析工具及其应用现状。针对项目时间紧、任务重、需要投入大量的人力和时间成本的行业痛点，单元测试工具SmartRocket Unit能够智能生成测试用例，支持语句、分支、MC/DC覆盖准则，全面覆盖形参、全局变量、桩函数、桩函数形参等数据，并且可以无缝对接第三方工具。针对代码溯源困难、第三方代码许可证隐忧和代码漏洞问题，软件成分分析工具SmartRocket Scanner可以分析代码中的开源文件，为用户检索安全漏洞、许可证隐忧等信息，最后提供代码补丁和针对性修复建议。
华东师范大学软件工程学院张小禹介绍了国产轨道交通联锁系统的形式化自动验证解决方案SmartRocket iVerifier，对标瑞典prover ilock联锁系统验证工具而开发。可以自动对所有安全要求进行正式验证，并且在验证不通过的情况下给出反例，同时反例会呈现到对应的模型图和周期图上供用户推导出性质被违背的完整过程。
华东师范大学软件工程学院张小禹
交流环节中，企业代表们积极讨论了轨交安全产品的诉求、轨交产业如何聚焦并提升安全性能、厂商、认证机构、基础软件商在产业链的不同环节应如何发挥各自作用等话题。通过此次活动，企业、研发机构与高校更了解彼此的需求和痛点，为携手促进轨交安全蓬勃发展指引方向。
活动参与单位
安徽城市轨道交通研究院
华东师范大学软件工程学院
卡斯柯信号有限公司
上海大学通信与信息工程学院
上海电气泰雷兹交通自动化系统有限公司
上海富欣智能交通控制有限公司
上海工程技术大学城市轨道交通学院
上海轨道交通设备发展有限公司
上海交通大学产业园区研究中心
上海申通轨道交通检测认证有限公司
上海中铁通信信号测试有限公司
