• 通知公告

    當前位置: 真人平台|主页 > 科學研究 > 通知公告 > 正文

    第一屆安全關鍵軟件系統模型化開發與驗證國際研討會(SafeMOVE 2013)召開

    發布時間: 2013-10-09     作者:無    點擊次數:

    2013年10月9日,第一屆安全關鍵軟件系統模型化開發與驗證國際研討會(SafeMOVE 2013)在北航新主樓會議中心召開。校長懷進鵬接見了會議邀請的國外專家和來自空軍裝備部以及工業集團的領導,陶智副校長在開幕式致辭真人平台|主页,向與會嘉賓介紹了北航的發展情況,并預祝大會取得圓滿成功。

    本次研討會將持續三天,主旨是針對國內工業部門所關注的安全關鍵軟件的開發與驗證問題,討論安全軟件及系統建模與驗證技術及其在航空工業等領域的應用,分析歐洲和北美在模型化方法與技術應用方面的成功經驗和典型案例真人平台|主页,詳細講解基于模型的系統與軟件協同分析、設計與驗證方法真人平台|主页,及其在航空工業等領域中的成功實踐。

    本次研討會共安排了7場特邀主題演講,4場深入的特邀技術講座,同時有11個來自工業部門和研究所的研究報告。李未院士作為特邀嘉賓做了關于程序調試理論的主題演講。在參會人員中,有70多人來自國內航空、電子、航天、汽車和兄弟院校。通過本次國際研討會,北航為國內航空航天等工業部門提供了一個專題化的國際交流平臺,對于介紹國外先進研究成果和經驗,促進國內工業部門在關鍵技術的研發等方面都將發揮重要的作用。

    會議在籌辦過程中得到了空裝機關的大力支持,航空科學與技術國家實驗室(籌)、空軍測評中心真人平台|主页、中航計算所真人平台|主页、CCF抗惡劣環境專委會和CCF軟件工程專委會共同主辦了本次會議。

    (文/北航新聞網 攝影/無)
    編輯:無
    真人平台|主页