本報(bào)訊10月9日，第一屆安全關(guān)鍵軟件系統(tǒng)模型化開發(fā)與驗(yàn)證國際研討會(huì)在我校新主樓會(huì)議中心召開。校長懷進(jìn)鵬院士接見了會(huì)議邀請(qǐng)的國外專家和來自工業(yè)集團(tuán)等單位的領(lǐng)導(dǎo)，陶智副校長在開幕式致辭。
　　本次研討會(huì)將持續(xù)三天，主旨是針對(duì)國內(nèi)工業(yè)部門所關(guān)注的安全關(guān)鍵軟件的開發(fā)與驗(yàn)證問題，討論安全軟件及系統(tǒng)建模與驗(yàn)證技術(shù)及其在航空工業(yè)等領(lǐng)域的應(yīng)用，分析歐洲和北美在模型化方法與技術(shù)應(yīng)用方面的成功經(jīng)驗(yàn)和典型案例，詳細(xì)講解基于模型的系統(tǒng)與軟件協(xié)同分析、設(shè)計(jì)與驗(yàn)證方法，及其在航空工業(yè)等領(lǐng)域中的成功實(shí)踐。
　　本次研討會(huì)共安排了7場(chǎng)特邀主題演講，4場(chǎng)深入的特邀技術(shù)講座，同時(shí)有11個(gè)來自工業(yè)部門和研究所的研究報(bào)告。李未院士作為特邀嘉賓做了關(guān)于程序調(diào)試?yán)碚摰闹黝}演講。在參會(huì)人員中，有70多人來自國內(nèi)航空、電子、航天、汽車等領(lǐng)域兄弟院校。通過本次國際研討會(huì)，北航為國內(nèi)航空航天等工業(yè)部門提供了一個(gè)專題化的國際交流平臺(tái)，對(duì)于介紹國外先進(jìn)研究成果和經(jīng)驗(yàn)，促進(jìn)國內(nèi)工業(yè)部門在關(guān)鍵技術(shù)的研發(fā)等方面都將發(fā)揮重要的作用。
　　航空科學(xué)與技術(shù)國家實(shí)驗(yàn)室（籌）、空軍測(cè)評(píng)中心、中航計(jì)算所、CCF抗惡劣環(huán)境專委會(huì)和CCF軟件工程專委會(huì)共同主辦了本次會(huì)議。（計(jì)文）