AA片在线观看视频在线播放,精品一区二区三区四区,国产看真人毛片爱做A片,成人爽a毛片一区二区免费,成人国产精品秘 在线看
當前位置: 首頁 > 能源互聯(lián)網(wǎng) > 企業(yè)報道

軟件代碼安全檢測技術(shù)再獲肯定,七〇六所航天中認相關(guān)項目榮獲北京市科技進步二等獎

中國電力網(wǎng)發(fā)布時間:2021-02-24 14:06:02

  中國電力網(wǎng)訊  日前,北京市科學技術(shù)獎評選工作結(jié)束,七〇六所航天中認軟件測評科技(北京)有限責任公司與北京大學聯(lián)合申報的“大規(guī)??缯Z言代碼安全檢測技術(shù)及應用”項目,作為國內(nèi)首個自主掌握代碼安全檢測領(lǐng)域創(chuàng)新成果,榮獲2020年度北京市科學技術(shù)進步二等獎。航天中認技術(shù)攻關(guān)團隊在軟件代碼安全檢測技術(shù)基礎上,主要承擔了面向航空航天等多個領(lǐng)域的定制開發(fā),并在軍用裝備、軌道交通、電力能源等領(lǐng)域開展關(guān)鍵系統(tǒng)測評服務。

  此次榮獲北京市科學技術(shù)進步二等獎,依托了航天中認多年在航天領(lǐng)域測試實踐中的技術(shù)能力和創(chuàng)新能力。本次項目開展過程中項目攻關(guān)團隊從大規(guī)模程序分析關(guān)鍵技術(shù)攻關(guān)、重大工程任務試點、代碼安全質(zhì)量保障等方面均獲得顯著成果。

  瞄準“卡脖子”關(guān)鍵技術(shù)

  建立自主掌握的軟件質(zhì)量及安全保障體系

  軟件代碼安全檢測技術(shù)是保障軟件安全的重要手段,傳統(tǒng)的代碼分析技術(shù),在進行大規(guī)模代碼檢測時會發(fā)生狀態(tài)爆炸,在計算資源和計算效率的約束下,分析精度受到嚴重制約,導致軟件風險難以有效控制。軟件安全檢測技術(shù)已經(jīng)成為影響我國軟件質(zhì)量和安全的關(guān)鍵技術(shù)。針對大規(guī)模程序分析狀態(tài)爆炸的根本性計算難題,項目攻關(guān)團隊提出了基于程序復雜度的自適應分析方法,實現(xiàn)了檢測精度和效率的有機平衡,檢測效率達到150萬行代碼每小時,誤漏報率控制在30%以下。形成了具有自主知識產(chǎn)權(quán)、獨具特色的技術(shù)體系,技術(shù)成果在檢測效率和精度等方面達到國際先進水平。

  為多項國家重大工程保駕護航

  通過多年的技術(shù)深耕,航天中認已將該項技術(shù)成果成功應用于多項重大工程任務中,在航空航天、軍工、金融、電信等領(lǐng)域得到廣泛應用,發(fā)現(xiàn)了超過39萬個缺陷漏洞,缺陷密度為平均6.98個/千行,預計節(jié)約總成本為19.6億元。航天中認團隊聚焦軟件代碼安全檢測技術(shù)在航空航天領(lǐng)域的漏洞挖掘,持續(xù)開展深入研究,解決了航天軟件靜態(tài)代碼分析技術(shù)固有的高誤報缺陷的問題,設計了基于動靜結(jié)合的缺陷自動驗證機制,構(gòu)建了基于跨模態(tài)多粒度代碼語義表示的缺陷自動分類模型。該成果已獲得5項授權(quán)發(fā)明專利、18項軟件著作權(quán),發(fā)表論文40余篇。

  解決代碼安全質(zhì)量保障關(guān)鍵問題

  本次項目研發(fā)成果增強了國內(nèi)軟件安全服務的硬實力,已成為軟件產(chǎn)業(yè)鏈的重要組成部分,服務于軟件開發(fā)、系統(tǒng)驗證和漏洞發(fā)現(xiàn)利用。經(jīng)比較分析,整體檢測能力達到了國際先進水平,具有顯著的經(jīng)濟、社會效益和推廣價值,航天中認已利用大規(guī)??缯Z言代碼安全檢測技術(shù),為航空航天、 船舶、兵器、電子、核能、電信、電力、軌道交通、互聯(lián)網(wǎng)、金融、政府等多個安全關(guān)鍵領(lǐng)域提供質(zhì)量保障。

  本項目解決的軟件代碼安全檢測關(guān)鍵技術(shù),為構(gòu)建我國自主掌握的安全檢測生態(tài)系統(tǒng),提供了有力保障。今后航天中認將持續(xù)加強在多領(lǐng)域的專業(yè)測評技術(shù)研究、以及相應的技術(shù)和手段創(chuàng)新工作,為構(gòu)建自主、安全、可控的測評驗證環(huán)境不斷努力。

評論

用戶名:   匿名發(fā)表  
密碼:  
驗證碼:
最新評論0

相關(guān)閱讀

李建春:關(guān)于對內(nèi)蒙古自治區(qū)“十四五”電力能源發(fā)展的思考和建議

2020年11月20日,內(nèi)蒙古政協(xié)信息刊登了李建春專家“把內(nèi)蒙古打造成為國家級綠色清潔能源基地”的建議(見附件),之后,布小林主席、張韶春常務副主席做了批示!2021年1月22日,李建春專家在此建議的基礎上,應邀在

李建春:關(guān)于對內(nèi)蒙古自治區(qū)“十四五”電力能源發(fā)展的思考和建議

2020年11月20日,內(nèi)蒙古政協(xié)信息刊登了李建春專家“把內(nèi)蒙古打造成為國家級綠色清潔能源基地”的建議(見附件),之后,布小林主席、張韶春常務副主席做了批示!2021年1月22日,李建春專家在此建議的基礎上,應邀在
深度閱讀2021-02-03

《人民日報》:“老中電力能源合作的典范工程”

日前,由中國電力建設集團有限公司(中國電建)投資建設的老撾南歐江二期項目三級水電站最后一臺機組成功并網(wǎng)發(fā)電。至此,二期項目一、三、四級電站的9臺機組在2020年全部投產(chǎn)發(fā)電,實現(xiàn)“一年九投”目標,全面進入發(fā)電大產(chǎn)出階

“老中電力能源合作的典范工程”

日前,由中國電力建設集團有限公司(中國電建)投資建設的老撾南歐江二期項目三級水電站最后一臺機組成功并網(wǎng)發(fā)電。
國際新聞2021-01-07

區(qū)塊鏈推動電力能源管理新一輪技術(shù)變革

談到比特幣,我們就不得不提及區(qū)塊鏈。因為真正引發(fā)比特幣價格一路攀升的根本原因就在于它的底層技術(shù)——區(qū)塊鏈。
區(qū)塊鏈2021-01-04

TES—區(qū)塊鏈電力能源生態(tài)系統(tǒng)正式啟動

電力能源業(yè)發(fā)展瓶頸不是單一國家或組織能突破解決的,因而需要一個價值統(tǒng)一的全球化的平臺,形成相互聯(lián)系、彼此協(xié)調(diào)互動。
區(qū)塊鏈2020-11-04

能源轉(zhuǎn)型中我國電力能源的結(jié)構(gòu)、問題與趨勢

電力系統(tǒng)轉(zhuǎn)型,關(guān)鍵在電網(wǎng)轉(zhuǎn)型。一方面需要通過技術(shù)變革和投資方向的調(diào)整實現(xiàn)轉(zhuǎn)型,另一方面則要億靠電力體制改革。
咨詢報告2020-08-05
億力科技助推國網(wǎng)重慶電力能源服務大數(shù)據(jù)平臺建設 助力能源行業(yè)賦能

億力科技助推國網(wǎng)重慶電力能源服務大數(shù)據(jù)平臺建設 助力能源行業(yè)

5月28日下午5點,國網(wǎng)信通產(chǎn)業(yè)集團億力科技“國網(wǎng)重慶電力能源服務大數(shù)據(jù)平臺”建設項目組現(xiàn)場團隊才發(fā)現(xiàn)已經(jīng)遠遠超過午飯時間。抓緊時間分批出動,一人一張板凳配一張塑料椅,吃一碗重慶特色小面。
綜合新聞2020-06-05

緬甸電力能源部啟動30個太陽能發(fā)電項目招標工作

緬甸電力能源部5月18日發(fā)布公告,將在全國范圍內(nèi)建設30個太陽能發(fā)電項目,這是繼緬政府2019年6月同期啟動5個天然氣電站共1000多兆瓦電力項目之后規(guī)模最大的一次招標工作。截標時間為6月18日。項目將采取BOO模式合作,政府購電20年。
國際新聞2020-05-20

寧夏2020年重點電力能源項目投資計劃

近日,寧夏發(fā)改委發(fā)布關(guān)于印發(fā)《2020年自治區(qū)重點項目投資計劃》的通知,其中涉及多個電力能源項目。
AA片在线观看视频在线播放,精品一区二区三区四区,国产看真人毛片爱做A片,成人爽a毛片一区二区免费,成人国产精品秘 在线看