• 研究方向

    當前位置: 真人平台|主页 > 科學研究 > 研究方向 > 正文

    可信計算環境與平臺——面向航空航天行業

    發布時間: 2014-06-30     作者:無    點擊次數:

    針對航空航天、電子政務、智能交通、衛星遙感等關鍵領域對安全攸關測評真人平台|主页、可信計算等的需求,結合國際發展趨勢,對可信計算開展了深入研究真人平台|主页。

    建立了CROWN,提供高可信軟件開發環境,Web服務中間件平臺,網絡環境運行平臺,獲國家科技進步二等獎真人平台|主页。

    結合航空航天領域的機載計算機系統、測試等方面的實際需求, 研制了應用系統。

    針對針對自主基礎軟件這一國家重大戰略需求,深入開展了可信評測工作;結合航空航天安全苛刻系統的需要,2004年開展了自動化測試和評測研究,2012年12月與五院建立航天器自動化測試技術聯和實驗室,持續進行相關工作。

    研究了自動化測試理論模型、測試用例自動生成方法、通用航天器測試語言、封裝規范和集成協議等,結合若干型號的研制開發了實際應用系統。

    獲2012年度國防科學技術進步獎二等獎、2012年度北京市科學技術獎三等獎真人平台|主页。

    研制了若干建模與測試軟件,在631所等單位開展了應用

    • 面向領域需求分析和輔助決策的過程建模與分析系統POMES

    • 面向軟件全過程的軟件測試與質量管理系統QESuite

    • 基于程序代碼分析的軟件分析、審查與測試工具QESat/Java&C++

    • 基于數字仿真技術的嵌入式軟件測試平臺QESiT

    • 面向分布式應用的模型驅動測試系統QEMDT

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