5月15日，上海控安SmartRocket TestGrid嵌入式軟件自動化測試平臺工具授證儀式成功舉辦，工具支持《TJ/DW 230-2020 鐵路信號安全軟件編程暫行技術(shù)要求》附錄 A編碼規(guī)則、《TJ/DW 231-2020 鐵路信號安全軟件測試暫行技術(shù)要求》條款5.1定義的模塊測試活動，為國內(nèi)該領(lǐng)域正式獲第三方認證的產(chǎn)品工具。

證源技術(shù)服務(wù)(上海)有限公司總經(jīng)理方云根等領(lǐng)導(dǎo)出席儀式，并為工具頒發(fā)證書。上海竣智信息技術(shù)有限公司股東、監(jiān)事陸家安受邀見證。上海控安總經(jīng)理助理楊昆、研發(fā)中心副主任兼功能安全開發(fā)部總監(jiān)周正輝等平臺公司相關(guān)同志出席，上海控安產(chǎn)品總監(jiān)包丹珠主持會議。

會上，三方共同回顧了TestGrid工具認證評估執(zhí)行過程，并就工具技術(shù)能力項、軌道交通應(yīng)用場景等內(nèi)容進行深入交流研討。據(jù)產(chǎn)品負責(zé)人介紹，本次評估標(biāo)準(zhǔn)依據(jù)TJ/DW230-2020 鐵路信號安全軟件編程暫行技術(shù)要求，TJ/DW231-2020 鐵路信號安全軟件測試暫行技術(shù)要求，EN50128:2011 軌道交通-通信、信號和處理系統(tǒng)-控制和防護系統(tǒng)軟件，IEC61508-3:2010 電氣/電子/可編程電子安全相關(guān)系統(tǒng)的功能安全 第3部分軟件要求開展。

經(jīng)第三方認證評估，TestGrid工具靜態(tài)分析模塊的 TJ/DW230-2020 附錄A編碼規(guī)則掃描功能，滿足EN50128:2011條款6.7和IEC61508-3:2010 條款 7.4.4對T2類工具的要求；在嚴(yán)格遵守評估報告7.3節(jié)規(guī)定的相關(guān)應(yīng)用條件時，工具最高可用于EN50128、IEC61508定義的安全完整度等級SIL4的靜態(tài)分析活動，并支持TJ/DW231-2020 條款 5.1定義的模塊測試活動。

交通是興國之要、強國之基。加快建設(shè)交通強國，對軌道交通系統(tǒng)的可靠性與安全性提出更高要求。作為上海市首批推動建設(shè)的研發(fā)與轉(zhuǎn)化功能型平臺之一，上海控安致力于打造國產(chǎn)化工業(yè)軟件開發(fā)與驗證工具鏈，重點聚焦軌道交通等安全攸關(guān)領(lǐng)域進行“卡脖子”難題攻關(guān)，目前已在嵌入式系統(tǒng)測試域取得技術(shù)突破，服務(wù)了眾多軌道交通領(lǐng)域單位。未來，上海控安將持續(xù)提升核心技術(shù)創(chuàng)新創(chuàng)優(yōu)與標(biāo)準(zhǔn)研制能力，為交通強國建設(shè)提供更多智慧化解決方案。

閱讀原文