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

證源技術(shù)服務(wù)(上海)有限公司總經(jīng)理方云根等領(lǐng)導(dǎo)出席儀式，并為工具頒發(fā)證書。上?？⒅切畔⒓夹g(shù)有限公司股東、監(jiān)事陸家安受邀見證。上海控安總經(jīng)理助理?xiàng)罾?、研發(fā)中心副主任兼功能安全開發(fā)部總監(jiān)周正輝等平臺(tái)公司相關(guān)同志出席，上?？匕伯a(chǎn)品總監(jiān)包丹珠主持會(huì)議。

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

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

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

閱讀原文