11月9日，西南交通大學(xué)信息科學(xué)與技術(shù)學(xué)院（以下簡稱信科院）在成都與我所軟件中心就軌道交通產(chǎn)品軟件可靠性、安全性領(lǐng)域開展了學(xué)術(shù)交流活動。

交流過程中，信科院院長潘煒介紹了西南交通大學(xué)近年來在高鐵、城軌領(lǐng)域的學(xué)科建設(shè)和與國內(nèi)外軌道交通行業(yè)的合作情況。西南交通大學(xué)是我國軌道行業(yè)的學(xué)術(shù)研究首府，交通控制信息工程專業(yè)已成為學(xué)校五大重點(diǎn)專業(yè)之一。接著，軟件中心主任楊春暉介紹了我所的概況和軟件中心在嵌入式軟件安全領(lǐng)域的科研能力與成果應(yīng)用情況。

隨后，軟件中心技術(shù)團(tuán)隊(duì)認(rèn)真參觀學(xué)習(xí)了信科院的城軌調(diào)度仿真實(shí)驗(yàn)室，雙方就軟件形式化驗(yàn)證、軟件正確性證明、軟件自動化測試和嵌入式軟件安全性檢測技術(shù)等共同關(guān)注的學(xué)術(shù)和工程技術(shù)問題進(jìn)行了詳細(xì)深入的交流和探討。緊接著，雙方為“軌道交通信號系統(tǒng)可靠性技術(shù)聯(lián)合實(shí)驗(yàn)室”進(jìn)行了揭牌儀式。

雙方的合作將實(shí)現(xiàn)優(yōu)勢互補(bǔ)，極大增強(qiáng)了彼此團(tuán)隊(duì)的技術(shù)實(shí)力，幫助我所拓寬軌道行業(yè)可靠性技術(shù)服務(wù)的渠道，從而更好地支撐我國軌道交通行業(yè)的可靠性發(fā)展。