9月9日，我所軟件中心、華東分所團(tuán)隊(duì)來到上海，與華東師范大學(xué)計(jì)算機(jī)學(xué)院何積豐院士團(tuán)隊(duì)就嵌入式軟件功能安全領(lǐng)域開展了學(xué)術(shù)交流活動(dòng)。

在交流過程中，何院士親自帶領(lǐng)來訪人員參觀了其主持的國(guó)家可信嵌入式軟件工程中心，并全程參與了研討會(huì)。雙方就軟件形式化驗(yàn)證技術(shù)、軟件正確性證明技術(shù)、軟件自動(dòng)化測(cè)試技術(shù)、嵌入式軟件安全性檢測(cè)技術(shù)等共同關(guān)注的學(xué)術(shù)和技術(shù)問題進(jìn)行了廣泛深入的交流和探討。何院士對(duì)我所開展的嵌入式軟件功能安全相關(guān)研究工作和取得的成果給予了充分肯定，并希望結(jié)合雙方優(yōu)勢(shì)，開展更進(jìn)一步的合作。

此次交流活動(dòng)增進(jìn)了雙方的相互認(rèn)識(shí)和了解，為下一步開展更深入的合作打下了基礎(chǔ)。

部信軟司陳英副司長(zhǎng)與我所王勇副所長(zhǎng)共同策劃，促成了本次學(xué)術(shù)交流活動(dòng)。陳英副司長(zhǎng)全程參與了學(xué)術(shù)交流活動(dòng)，并給雙方進(jìn)一步的合作指明了方向。