11月27日下午，上海控安51fusa功能安全社區成功舉辦第一期“城市交通安全+”系列沙龍，活動以“軟件自動化測試技術在軌道交通行業應用探索”為主題，邀請到三十余位高校教授、技術大咖、企業代表共同探討行業發展，交流技術難題，加強產業互動。

上海大學通信與信息工程學院鄭國莘教授就“軌道交通無線通信系統性能測試”主題進行分享，詳細介紹了列車控制與5G通信的相關性、5G通信中的信道技術以及上海控安-上海大學軌交實驗室承擔的項目。鄭教授指出，高鐵和軌交建設正面臨全新挑戰，即特殊信道、高速移動以及高可靠性要求，如何選擇帶寬與調制，各種系統如何設置基站、傳輸方式和通信系統結構，都是未來亟待解決的技術難題。

上海大學通信與信息工程學院鄭國莘教授

卡斯柯信號有限公司測試部經理陳曉軒圍繞“軟件自動化測試技術在行業應用的探索”主題，介紹了卡斯柯在軌道交通領域的應用。卡斯柯是一家兼具城軌和國鐵業務的全方位列車運行控制系統集成商，tranavi系統是其自主研發的基于無線通信技術的列車控制系統，能夠實現全自動無人駕駛。陳經理介紹了模型開發方式的特點以及應用案例，這種方法更具直觀性，對于研發設計的效率提升大有裨益。

卡斯柯信號有限公司測試部經理陳曉軒

上海控安行業銷售總監邢志文介紹了兩款控安自研產品：工業嵌入式系統單元測試工具和工業軟件成分分析工具及其應用現狀。針對項目時間緊、任務重、需要投入大量的人力和時間成本的行業痛點，單元測試工具SmartRocket Unit能夠智能生成測試用例，支持語句、分支、MC/DC覆蓋準則，全面覆蓋形參、全局變量、樁函數、樁函數形參等數據，并且可以無縫對接第三方工具。針對代碼溯源困難、第三方代碼許可證隱憂和代碼漏洞問題，軟件成分分析工具SmartRocket Scanner可以分析代碼中的開源文件，為用戶檢索安全漏洞、許可證隱憂等信息，最后提供代碼補丁和針對性修復建議。

華東師范大學軟件工程學院張小禹介紹了國產軌道交通聯鎖系統的形式化自動驗證解決方案SmartRocket iVerifier，對標瑞典prover ilock聯鎖系統驗證工具而開發。可以自動對所有安全要求進行正式驗證，并且在驗證不通過的情況下給出反例，同時反例會呈現到對應的模型圖和周期圖上供用戶推導出性質被違背的完整過程。

華東師范大學軟件工程學院張小禹

交流環節中，企業代表們積極討論了軌交安全產品的訴求、軌交產業如何聚焦并提升安全性能、廠商、認證機構、基礎軟件商在產業鏈的不同環節應如何發揮各自作用等話題。通過此次活動，企業、研發機構與高校更了解彼此的需求和痛點，為攜手促進軌交安全蓬勃發展指引方向。