0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

通過頂級靜態(tài)分析實(shí)現(xiàn)傳統(tǒng)軍事系統(tǒng)的現(xiàn)代化

星星科技指導(dǎo)員 ? 來源:嵌入式計(jì)算設(shè)計(jì) ? 作者:TOM SCHULTZ ? 2022-11-10 14:55 ? 次閱讀

戰(zhàn)爭和防御系統(tǒng)中過時的遺留代碼庫會造成安全漏洞,并禁止引入以網(wǎng)絡(luò)中心的新技術(shù)。通過靜態(tài)分析,這些系統(tǒng)可以進(jìn)行改造,使其具有高完整性,使設(shè)備更具技術(shù)競爭力。

戰(zhàn)爭和防御的世界已經(jīng)發(fā)生了變化。僅近10年來,排名最佳軍隊(duì)的主要因素就從僅僅擁有最大、最強(qiáng)大的戰(zhàn)斗力轉(zhuǎn)變?yōu)閼?zhàn)場上人員和軍事機(jī)器之間最好的溝通。這些軍事機(jī)器不再像幾十年前那樣以硬件為中心;大多數(shù)使用嵌入式軟件系統(tǒng)來執(zhí)行基本功能。例如,目前部署在伊拉克和阿富汗的艾布拉姆斯M1坦克有一個計(jì)算機(jī)輔助瞄準(zhǔn)系統(tǒng),可以與熱成像系統(tǒng)一起精確瞄準(zhǔn)。

這些類型的嵌入式系統(tǒng)被設(shè)計(jì)為盡可能堅(jiān)固和可靠,因?yàn)閴勖Q于它們的有效性。這些系統(tǒng)是高度專業(yè)化的,一旦建成并部署到現(xiàn)場,通常意味著在設(shè)備的使用壽命內(nèi)無需進(jìn)一步改造即可使用。不幸的是,這樣的設(shè)計(jì)理念沒有考慮到隨著技術(shù)的進(jìn)步,這些系統(tǒng)最終需要發(fā)揮越來越大的作用,而安全性可能成為一個問題。

同樣,在過去的幾十年里,網(wǎng)絡(luò)在軍事設(shè)備中越來越多地發(fā)揮了越來越大的作用。對遺留系統(tǒng)進(jìn)行現(xiàn)代化改造以利用依賴于軟件的新網(wǎng)絡(luò)功能已成為強(qiáng)制性要求。今天,坦克和其他車輛現(xiàn)在是一個更大的互連系統(tǒng)中的節(jié)點(diǎn),不斷共享信息。系統(tǒng)中的每個節(jié)點(diǎn)都可以與其網(wǎng)絡(luò)中的其他節(jié)點(diǎn)(甚至其他網(wǎng)絡(luò)中的節(jié)點(diǎn))一起工作,以解決任何一個系統(tǒng)無法處理的問題。

軟件驅(qū)動的系統(tǒng),如包含移動通信(COTM)系統(tǒng)的防雷伏擊保護(hù)(MRAP)車輛,依賴于軟件架構(gòu),并且必須進(jìn)行現(xiàn)代化改造才能以網(wǎng)絡(luò)為中心?,F(xiàn)代化是一個很好的策略,即使是可選的,因?yàn)閺拈L遠(yuǎn)來看,這樣做可以降低軟件維護(hù)成本。一旦構(gòu)建,遺留應(yīng)用程序理論上應(yīng)該永遠(yuǎn)存在,但它們很少這樣做,因?yàn)槿粘>S護(hù)最終會導(dǎo)致代碼庫惡化。維護(hù)舊代碼非常昂貴(每年高達(dá)初始開發(fā)預(yù)算的 10%),因?yàn)樗婕靶扪a(bǔ)漏洞和提高可靠性。這通常由擁有罕見正確技能的昂貴開發(fā)人員完成。相比之下,新代碼要便宜得多。盡管對代碼進(jìn)行現(xiàn)代化改造的前期成本較高,但這樣做通常更好,因?yàn)閺拈L遠(yuǎn)來看,定期長期維護(hù)舊代碼的成本更高。

遺留系統(tǒng)通常進(jìn)行現(xiàn)代化改造(但由于成本原因沒有完全被新單位取代),因?yàn)樵S多目前部署的軍事系統(tǒng)至少還有十年的計(jì)劃功能壽命。由于安全性和可靠性至關(guān)重要,因此必須在不影響先前質(zhì)量或超出預(yù)算的情況下對軟件進(jìn)行現(xiàn)代化改造以包含所需的新功能。靜態(tài)分析使此任務(wù)比其他任務(wù)更容易。

用于對舊代碼進(jìn)行現(xiàn)代化的靜態(tài)分析

修改遺留代碼以獲得新功能或使其符合新標(biāo)準(zhǔn)不應(yīng)輕易完成。由于遺留系統(tǒng)通常是關(guān)鍵任務(wù),并且已經(jīng)部署在現(xiàn)場,因此修訂應(yīng)在現(xiàn)有代碼中引入最少的新編碼缺陷。隨著代碼庫變得越來越復(fù)雜,隔離和消除缺陷變得更加困難,因?yàn)橛懈嗟淖兞靠赡軙圆豢深A(yù)見的方式與其他缺陷交互并堆疊在上面。

雖然較舊的工具使用語法和基于樣式的測試,但現(xiàn)代靜態(tài)分析通過數(shù)據(jù)流分析與布爾滿足性結(jié)合使用路徑模擬。路徑模擬的工作原理是模擬程序在編譯并執(zhí)行其代碼庫中的每個函數(shù)后將執(zhí)行的操作。這允許增加對資源分配問題、指針管理不善、緩沖區(qū)和字符串使用不當(dāng)以及污染數(shù)據(jù)處理的檢測。布爾滿足性將程序中的每個操作轉(zhuǎn)換為布爾變量,并使用此數(shù)據(jù)來測試潛在的運(yùn)行時問題,如整數(shù)溢出。這些方法產(chǎn)生的假陽性率低至 15%。

然而,要拯救的是靜態(tài)分析,它可以幫助開發(fā)人員重構(gòu)和重組遺留程序的代碼庫,以使其達(dá)到現(xiàn)代標(biāo)準(zhǔn)。靜態(tài)分析揭示了在創(chuàng)建遺留項(xiàng)目時執(zhí)行的步驟,以便開發(fā)人員可以了解程序的當(dāng)前架構(gòu)和初衷。此功能創(chuàng)新減輕了在嘗試升級代碼時檢測資源分配問題、指針管理不善、緩沖區(qū)使用不當(dāng)、字符串使用和受污染的數(shù)據(jù)處理等許多猜測。靜態(tài)分析工具,例如Coverity提供的分析工具,也能夠顯示有關(guān)任何有問題的缺陷的信息,并顯示它如何對整個程序產(chǎn)生不利影響。

與其他依賴軟件的行業(yè)類似,國防不能允許其技術(shù)落后于時代。遺留代碼的現(xiàn)代化是不可避免的,但高級靜態(tài)分析提供了可靠的補(bǔ)救措施。

審核編輯:郭婷

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
  • 嵌入式
    +關(guān)注

    關(guān)注

    5089

    文章

    19170

    瀏覽量

    306801
  • 移動通信
    +關(guān)注

    關(guān)注

    10

    文章

    2616

    瀏覽量

    69999
收藏 人收藏

    評論

    相關(guān)推薦

    雷曼光電助力校園現(xiàn)代化建設(shè)

    近日,雷曼光電為巴基斯坦University of Wah報告廳打造了大尺寸、高分辨率的雷曼超高清大屏,為學(xué)校日常開展課堂授課、學(xué)術(shù)交流和校園活動等提供強(qiáng)有力的硬件和技術(shù)支持,助力校園現(xiàn)代化建設(shè),也為客戶帶來了顯著的應(yīng)用價值。
    的頭像 發(fā)表于 11-26 15:14 ?280次閱讀

    智慧營區(qū)綜合管理平臺:現(xiàn)代化進(jìn)程中的重要產(chǎn)物

    智慧華盛恒輝營區(qū)綜合管理平臺是軍事領(lǐng)域現(xiàn)代化進(jìn)程中的重要產(chǎn)物,它集成了物聯(lián)網(wǎng)、大數(shù)據(jù)、云計(jì)算、人工智能等前沿技術(shù),為軍隊(duì)提供了一個全方位、全天候、智能的營區(qū)管理與服務(wù)解決方案。以下是對智慧營區(qū)綜合
    的頭像 發(fā)表于 11-22 14:06 ?163次閱讀

    ESD應(yīng)用手冊:汽車版現(xiàn)代化接口保護(hù)概念、測試和仿真

    電子發(fā)燒友網(wǎng)站提供《ESD應(yīng)用手冊:汽車版現(xiàn)代化接口保護(hù)概念、測試和仿真.pdf》資料免費(fèi)下載
    發(fā)表于 11-19 14:38 ?0次下載

    智慧農(nóng)業(yè)平臺:推動農(nóng)業(yè)現(xiàn)代化的科技力量

    的信息支持。 智慧農(nóng)業(yè)平臺的定義 智慧農(nóng)業(yè)平臺是一種基于現(xiàn)代信息技術(shù)和智能設(shè)備的農(nóng)業(yè)管理系統(tǒng),旨在通過集成多種智能
    的頭像 發(fā)表于 10-15 16:25 ?344次閱讀

    華為云徐峰:AI 賦能應(yīng)用現(xiàn)代化,加速軟件生產(chǎn)力躍升

    2024 年 9 月 19 日,在華為全聯(lián)接大會 2024 的“AI 賦能應(yīng)用現(xiàn)代化,加速軟件生產(chǎn)力躍升”論壇上,華為云 PaaS 服務(wù)產(chǎn)品部部長徐峰發(fā)表了主題演講,介紹了未來應(yīng)用智能演進(jìn)趨勢
    的頭像 發(fā)表于 10-14 09:45 ?548次閱讀
    華為云徐峰:AI 賦能應(yīng)用<b class='flag-5'>現(xiàn)代化</b>,加速軟件生產(chǎn)力躍升

    Optiver采用AMD企業(yè)級產(chǎn)品實(shí)現(xiàn)數(shù)據(jù)中心現(xiàn)代化

    AMD(超威,納斯達(dá)克股票代碼:AMD )宣布,Optiver – 在超過 100 家交易所擁有交易業(yè)務(wù)的全球領(lǐng)先做市商 – 正在廣泛采用 AMD 高性能計(jì)算引擎,通過構(gòu)建一個用作組織基礎(chǔ)的現(xiàn)代化
    的頭像 發(fā)表于 09-18 09:54 ?571次閱讀

    傳統(tǒng)到智能:高標(biāo)準(zhǔn)農(nóng)田灌區(qū)信息助力農(nóng)業(yè)現(xiàn)代化

    策略,為實(shí)現(xiàn)農(nóng)業(yè)現(xiàn)代化鋪設(shè)了堅(jiān)實(shí)的基石。一、傳統(tǒng)農(nóng)業(yè)的局限與挑戰(zhàn) 傳統(tǒng)農(nóng)田灌溉依賴于經(jīng)驗(yàn)判斷和人力操作,這種模式不僅效率低下,而且水資源浪費(fèi)嚴(yán)重,無法精確滿足作物生長需求。加之氣候變化
    的頭像 發(fā)表于 09-10 17:08 ?348次閱讀
    從<b class='flag-5'>傳統(tǒng)</b>到智能:高標(biāo)準(zhǔn)農(nóng)田灌區(qū)信息<b class='flag-5'>化</b>助力農(nóng)業(yè)<b class='flag-5'>現(xiàn)代化</b>

    現(xiàn)代化設(shè)備管理系統(tǒng):為企業(yè)發(fā)展注入強(qiáng)大動力

    現(xiàn)代化設(shè)備管理系統(tǒng)在企業(yè)發(fā)展中起到了重要作用,包括多學(xué)科理論融合、專業(yè)與協(xié)作以及信息管理。它能夠實(shí)
    的頭像 發(fā)表于 09-02 10:35 ?575次閱讀
    <b class='flag-5'>現(xiàn)代化</b>設(shè)備管理<b class='flag-5'>系統(tǒng)</b>:為企業(yè)發(fā)展注入強(qiáng)大動力

    高標(biāo)準(zhǔn)農(nóng)田灌區(qū)信息建設(shè)如何促進(jìn)農(nóng)業(yè)現(xiàn)代化

    高標(biāo)準(zhǔn)農(nóng)田灌區(qū)信息建設(shè)如何促進(jìn)農(nóng)業(yè)現(xiàn)代化 高標(biāo)準(zhǔn)農(nóng)田灌區(qū)信息建設(shè)是推動農(nóng)業(yè)現(xiàn)代化進(jìn)程的關(guān)鍵一環(huán),它通過集成
    的頭像 發(fā)表于 08-30 17:40 ?558次閱讀
    高標(biāo)準(zhǔn)農(nóng)田灌區(qū)信息<b class='flag-5'>化</b>建設(shè)如何促進(jìn)農(nóng)業(yè)<b class='flag-5'>現(xiàn)代化</b>

    現(xiàn)代化農(nóng)業(yè)生產(chǎn)中,立柱機(jī)器人不同規(guī)格肥料碼垛

    現(xiàn)代化農(nóng)業(yè)生產(chǎn)中,立柱機(jī)器人被應(yīng)用于不同規(guī)格肥料的碼垛作業(yè),其效高、準(zhǔn)確、靈活的特點(diǎn)為農(nóng)業(yè)生產(chǎn)帶來了顯著的變革。以下是對立柱機(jī)器人在不同規(guī)格肥料碼垛中的具體應(yīng)用的詳細(xì)分析: 一、立柱機(jī)器人
    的頭像 發(fā)表于 08-26 15:08 ?246次閱讀
    <b class='flag-5'>現(xiàn)代化</b>農(nóng)業(yè)生產(chǎn)中,立柱機(jī)器人不同規(guī)格肥料碼垛

    數(shù)字孿生智慧軍工合集,打造現(xiàn)代化軍事管理平臺

    智慧軍工可視技術(shù)在提高軍事行動的速度、精確度和效率方面具有顯著優(yōu)勢。它不僅增強(qiáng)了軍隊(duì)的現(xiàn)代化作戰(zhàn)能力,還在很大程度上改變了傳統(tǒng)軍事指揮和
    的頭像 發(fā)表于 08-13 10:48 ?492次閱讀
    數(shù)字孿生智慧軍工合集,打造<b class='flag-5'>現(xiàn)代化</b><b class='flag-5'>軍事</b>管理平臺

    農(nóng)業(yè)現(xiàn)代化:UWB模塊為農(nóng)業(yè)領(lǐng)域帶來的效益和便利

    隨著科技的進(jìn)步和農(nóng)業(yè)現(xiàn)代化的推進(jìn),超寬帶(UWB)技術(shù)正逐漸在農(nóng)業(yè)領(lǐng)域發(fā)揮重要作用。UWB模塊作為UWB技術(shù)的核心組成部分,具有高精度、實(shí)時性強(qiáng)的特點(diǎn),為農(nóng)業(yè)生產(chǎn)提供了新的技術(shù)手段和解決方案。本文將
    的頭像 發(fā)表于 04-12 15:02 ?503次閱讀

    訊維融合處理器助力醫(yī)院構(gòu)建現(xiàn)代化醫(yī)療監(jiān)控系統(tǒng)

    隨著醫(yī)療技術(shù)的不斷進(jìn)步和醫(yī)院管理要求的日益嚴(yán)格,構(gòu)建一套高效、穩(wěn)定、智能的醫(yī)療監(jiān)控系統(tǒng)已成為醫(yī)院現(xiàn)代化建設(shè)的迫切需求。在這一背景下,訊維融合處理器以其卓越的性能和獨(dú)特的功能,為醫(yī)院構(gòu)建現(xiàn)代化醫(yī)療監(jiān)控
    的頭像 發(fā)表于 04-01 16:31 ?351次閱讀
    訊維融合處理器助力醫(yī)院構(gòu)建<b class='flag-5'>現(xiàn)代化</b>醫(yī)療監(jiān)控<b class='flag-5'>系統(tǒng)</b>

    車載中控系統(tǒng):構(gòu)建現(xiàn)代化城市治安指揮車的核心技術(shù)支撐

    了構(gòu)建現(xiàn)代化城市治安指揮車的核心技術(shù)支撐。 一、實(shí)時、全面的信息感知與處理 城市治安管理的核心在于對治安環(huán)境的全面感知和快速響應(yīng)。訊維車載中控系統(tǒng)通過集成高清攝像頭、傳感器等多種感知設(shè)備,能夠?qū)崟r獲取并處理城市
    的頭像 發(fā)表于 03-06 16:18 ?377次閱讀

    英特爾亮相MWC 2024,助力企業(yè)通過現(xiàn)代化實(shí)現(xiàn)盈利

    在2024年世界移動通信大會(MWC 2024)上,超過65家英特爾的核心客戶及合作伙伴展示了其基于全新軟硬件和服務(wù)的系統(tǒng)與解決方案,用于實(shí)現(xiàn)未來基礎(chǔ)設(shè)施的現(xiàn)代化及貨幣轉(zhuǎn)型。 202
    的頭像 發(fā)表于 02-27 15:55 ?336次閱讀