"

中国足球队比赛直播---中国足彩网(yb3548.cn)是亚洲优质游戏品牌,综合各种在线游戏于一站式的大型游戏平台,经营多年一直为大家提供安全稳定的游戏环境,中国足球队比赛直播---中国足彩网值得信赖,期待广大游戏爱好者前来体验,中国足球队比赛直播---中国足彩网将把最好的游戏体验带给大家!

  • <code id="ufonv"><thead id="ufonv"></thead></code>

    <th id="ufonv"><td id="ufonv"></td></th> <code id="ufonv"></code>
  • <legend id="ufonv"><em id="ufonv"><track id="ufonv"></track></em></legend>
    <code id="ufonv"><thead id="ufonv"><bdo id="ufonv"></bdo></thead></code>
    <listing id="ufonv"></listing>
    "

    新聞公告

    當前位置: 首頁 > 國際交流 > 新聞公告 > 正文

    計算機學院研究成果被美國波音公司等高度關注和認可

    發布時間: 2016-10-17     作者:趙永望    點擊次數:

    近日,計算機學院趙永望的研究小組收到來自美國波音公司Associate Fellow、ARINC653國際標準委員會主席的郵件,對其團隊在ARINC653航空機載操作系統標準的研究成果表示認可與致謝,并將在ARINC653標準新版本中對存在的安全缺陷進行修復。

    ARINC653標準是國際航空工業界實時操作系統的事實性標準,已有20年歷史,被航空航天領域絕大多數實時操作系統所遵循,已應用到空客A380、波音787、F22、NASA獵戶座飛船等。該標準委員會主席由來自波音和空客的兩位專家擔任,成員包括波音、空客、洛克希德馬丁、GE航空、霍尼韋爾、達索航空、風河等。

    計算機學院近年來一直從事安全關鍵實時操作系統的形式模型與證明研究,并與新加坡南洋理工大學、歐盟FP7 EURO-MILS項目、法國科學院IRIT研究所等開展緊密合作。該項研究成果利用形式化方法構建了完整的實時操作系統規約,并通過自動化手段完成1600多個定理的形式證明,最終發現了ARINC653標準的6個安全缺陷。相關成果已發表在ISSRE 2015國際會議(軟件可靠性領域頂級會議)和IEEE Transactions on Industrial Informatics期刊。論文受到ARINC653標準委員會的高度關注, 2016年10月ARINC653標準委員會召開主題會議討論了我們的成果。最終,標準委員會確認ARINC653存在上述安全缺陷,并計劃在其新版本中進行修復。

    [以下是美國波音公司發來的致謝郵件]

    (文/北航新聞網 攝影/無)
    編輯:周潔
    中国足球队比赛直播---中国足彩网

  • <code id="ufonv"><thead id="ufonv"></thead></code>

    <th id="ufonv"><td id="ufonv"></td></th> <code id="ufonv"></code>
  • <legend id="ufonv"><em id="ufonv"><track id="ufonv"></track></em></legend>
    <code id="ufonv"><thead id="ufonv"><bdo id="ufonv"></bdo></thead></code>
    <listing id="ufonv"></listing>