国产精品久久久aaaa,日日干夜夜操天天插,亚洲乱熟女香蕉一区二区三区少妇,99精品国产高清一区二区三区,国产成人精品一区二区色戒,久久久国产精品成人免费,亚洲精品毛片久久久久,99久久婷婷国产综合精品电影,国产一区二区三区任你鲁

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

成功遷移安全關鍵型軟件

星星科技指導員 ? 來源:嵌入式計算設計 ? 作者:Ole N. Oest ? 2022-10-20 09:56 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

軟件俱樂部的第一條規則:如果它沒有壞,就不要談論觸摸它。但是,這在許多情況下是不可行的,例如,由于與系統相關的原因,必須遷移運行良好的代碼。這在安全關鍵型系統中成為一個大問題,其中更改代碼會觸發一系列其他昂貴且有風險的活動。那么設計師們該怎么辦呢?以下是有關如何衡量團隊目標以及應考慮哪些選項的解釋。

將安全關鍵型系統遷移到新技術可能是一個成本高昂且有風險的過程,開發人員應盡可能避免。但是,在某些情況下,出于財務或性能原因,遷移是可取的,或者由于硬件過時和新要求而無法避免。面臨遷移的開發人員需要仔細考慮系統更改的類型和程度,以比較內部活動與設計服務支持的好處。

部署在航空航天和國防領域的安全關鍵型嵌入式系統的使用壽命通常超過單個系統組件的使用壽命。技術發展的快速步伐使得這些組件中至少有一個需要在系統本身退役之前數年甚至數十年進行更改的可能性很高。反過來,這種硬件更改可能會觸發開發人員將系統軟件遷移到新技術的需要,以確保持續的可維護性。

許多系統更改可能會觸發軟件組件遷移。例如,外設、通信總線或協議可能會發生變化,從而迫使代碼段遷移到新硬件。目標硬件或處理器可能會過時,就像基于英特爾 80860 的系統一樣,迫使整個系統軟件遷移到一個全新的平臺。可能會出現新的功能要求或認證標準,迫使系統設計在以前不需要的地方納入實時操作系統(RTOS)。同樣,新標準的強加,FAA等監管機構對認證的新要求,以及與新系統互操作的需求,都可能產生將軟件遷移到新平臺的需求。

對開發環境的更改也可能導致遷移系統軟件的需要。開發和維護應用程序的主機的過時(如 VAX/VMS 主機所發生的情況)可能會在難以找到故障硬件的備件時強制將系統軟件遷移到新的開發工具。開發工具本身的過時或應用程序工具或語言專業知識的喪失可能會啟動向新工具的遷移,以確保開發人員可以繼續支持已安裝的系統。同樣,RTOS 的過時可能會促使軟件遷移到新平臺。

即使是業務變化也會刺激遷移。與RTOS或其他軟件組件相關的生產版稅可能會影響系統的盈利能力。由于利潤空間狹窄,開發人員可能會選擇遷移系統軟件以消除此類版稅。

降低成本和風險

無論什么觸發硬件或軟件的更改,遷移系統軟件都會涉及成本和風險。軟件遷移不僅意味著更改軟件及其隨之而來的引入錯誤的風險,還意味著重新測試和可能重新認證軟件。開發和測試工作的總成本可能相當可觀,特別是對于必須滿足嚴格要求的安全關鍵系統。

移徙因素

成功遷移的一個關鍵是徹底了解遷移的影響。開發人員需要考慮許多因素,包括:

性能:新處理器/實時操作系統/平臺能否滿足系統“??s”的實時截止時間要求?

資源限制:軟件是否適合系統內存和寄存器可用性的限制?

RTOS 影響:更改 RTOS 或將 RTOS 添加到曾經裸露的板環境中可能會改變代碼執行順序或時序。它還可能增加系統復雜性并改變內存要求。

字長:字長的變化(例如從 16 位到 32 位)將如何影響現有代碼?計算算法、指針、計數器、上溢/下溢條件和執行速度可能會受到字長變化的影響。

工具可用性:主機或目標平臺的更改是否也意味著工具集的更改?用于創建和維護系統軟件的開發工具可能不適用于主機系統和目標處理器或 RTOS 的給定組合。

數據布局:編譯器將數據映射到寄存器和內存的方式各不相同。此類變化可能會導致與軟件中隱含或預期的映射發生沖突。

可擴展性:軟件遷移可能需要升級或增強功能以滿足新的要求。工具和系統資源需要支持此類增強功能。

可追溯性:將遷移的軟件追溯到原始軟件的能力可以通過證明軟件未更改來幫助降低測試成本。

遷移期間所做的更改越多,起作用的因素就越多。風險最低的遷移是僅更改系統的一個方面,例如主機開發平臺。如果原始軟件開發系統和軟件工具在當前主機平臺(如運行微軟Windows的PC)上可用,這是可行的。僅更改開發主機對系統和軟件的其余部分的影響最小。

開發人員應尋求創造性的方法,將更改次數保持在最低限度。例如,如果開發工具在新的主機平臺上不可用,仿真可能會提供切換工具集的替代方法。事實證明,在PC上運行的VAX仿真器在允許繼續使用工具方面是成功的,并且由此生成的二進制目標代碼通常與原始目標代碼相同。工具、源代碼和目標代碼沒有改變,減少了重新測試和重新認證的需要。

工具更改需要編譯器專業知識

當工具集必須更改時,開發人員將面臨其他挑戰。編譯器將源代碼映射到底層硬件結構的方式各不相同,例如內存尋址和寄存器用法。除非開發人員仔細約束編譯器的“??s”行為,否則這些變化可能會導致目標代碼的更改。充其量,這會觸發重新測試并可能重新認證軟件的需要。在最壞的情況下,這些更改可能會導致執行期間出現意外且可能存在缺陷的系統行為。

在不引起其他更改的情況下更改工具集要求開發團隊具有應用程序級工程師通常缺乏的編譯器行為‘?ì專業知識。為了避免花費時間和精力獲得所需的技能,開發團隊可以向外尋求幫助。設計服務組織通常具有使用各種工具集的經驗,并且可以將這種經驗用于確保工具更改不會觸發軟件更改。

設計人員團隊應盡可能避免某些更改,例如將應用程序從舊編程語言轉換為當前編程語言。團隊應該使用舊語言和新目標硬件的開發系統,而不是轉換。這將并發更改和風險的數量限制為僅兩個:開發系統和目標硬件。

改變語言涉及許多可能的陷阱。生成的應用程序將與原始應用程序不同,需要昂貴的重新測試和重新認證。其他因素也起作用。生成的代碼將具有不同的布局,并且可能不再適合可用內存;數據布局將有所不同,不再正確映射到底層硬件;性能和時間方面將發生變化。應用程序必須在源代碼級別進行修改,這將需要使用新的編程語言以及應用程序的設計和內部工作來培訓軟件工程師。

雖然如果沒有一個程序員接受過應用程序’??s編程語言的培訓,那么遷移到一門新語言可能很誘人,但這應該是最后的手段。在采取這條路之前,請考慮用舊語言培訓程序員。精通相對復雜的當前語言(如JavaC++)的程序員不會發現學習另一種語言是不可逾越的。

設計服務提供專家協助

另一種可能性是聘請提供必要語言專業知識的設計服務。對于針對軍事和航空電子系統的專用語言,如Ada和JOVIAL,設計服務提供商通常在應用領域和語言方面擁有豐富的經驗,包括安全關鍵系統設計需求的經驗。這使他們能夠快速深入了解系統軟件,并提供開發團隊所需的維護和升級支持。

如果最終必須廢棄原始語言,系統設計人員可以使用翻譯工具部分更改語言(如圖 1 所示)。但是,沒有任何工具可以完成完整的工作,并且轉換后的源程序的可讀性可能值得懷疑。如果可能,開發團隊應努力僅在絕對必要的部分更改語言。

圖1

pYYBAGNQqrWAZNAfAAAzEiewiH0518.jpg

實現此目的的一種方法是使用支持新舊目標語言并且可以混合語言的工具集。這允許團隊保持原始代碼中仍然可用的部分不變,并將語言更改限制為滿足新要求所涉及的部分。

這種混合語言工具的一個關鍵部分是調試器。雖然許多編譯器可以組合不同語言的代碼段,但大多數調試器工具一次只處理一種語言。這意味著開發人員必須同時調用多個工具才能查看代碼段之間的交互,而這些工具很少以協調的方式進行交互或交換信息以幫助將目標代碼與多種語言源相關聯。DDC-I‘??s OpenArbor(如圖 2 所示)等工具允許在單次啟動時進行混合語言調試,可以顯著縮短調試時間,并更容易檢測交互錯誤。

圖2

poYBAGNQqraAbYb5AABVbMDC86o663.jpg

無論是否涉及語言更改,遷移安全關鍵型系統軟件都是一項復雜的任務,存在許多潛在的陷阱。硬件、主機、目標、工具和語言的每次更改都會引入復雜性,并可能強制進行其他更改,從而導致后果升級。應通過最大化舊版工具和代碼重用來盡可能避免遷移中固有的成本和風險。當需要更改時,仔細選擇新工具并戰略性地使用經驗豐富的設計服務可以降低軟件遷移風險和成本。

審核編輯:郭婷

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 操作系統
    +關注

    關注

    37

    文章

    7401

    瀏覽量

    129288
  • JAVA
    +關注

    關注

    20

    文章

    3001

    瀏覽量

    116422
  • RTOS
    +關注

    關注

    25

    文章

    866

    瀏覽量

    122977
收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    Parasoft C/C++test:嵌入式安全關鍵行業的一體化軟件測試解決方案

    ? ? ? 在汽車電子、工業控制、醫療設備、航空航天等嵌入式安全關鍵行業,軟件質量與功能安全直接決定產品可靠性與合規準入。面對日益復雜的代碼架構與高速迭代的開發需求,企業亟需一套覆蓋全
    的頭像 發表于 03-06 09:42 ?212次閱讀

    成都大學攜手曙光云成功完成虛擬化平臺國產化替代

    信創國產化浪潮下,高校信息化建設進入關鍵轉型期。成都大學數據中心引入曙光云平臺,成功完成虛擬化平臺國產化替代,實現業務無感遷移安全平穩過渡,為教育行業信創改造提供了可借鑒范例。
    的頭像 發表于 02-27 17:13 ?1086次閱讀

    Vector官宣收購StatInf公司RocqStat軟件技術

    Vector Informatik于2026年1月16日,在其德國斯圖加特總部,官宣收購了StatInf公司的RocqStat軟件技術及其專家團隊。此次收購意在增強Vector在時序分析和最差情況執行時間(WCET)估算方面的能力,更全面地支持安全
    的頭像 發表于 01-22 14:40 ?549次閱讀

    無質量損失的數據遷移:Nikon SLM Solutions信賴3Dfindit企業版

    制造和航空航天,其中整個渦輪機部件都可以通過3D打印實現。 使用3Dfindit企業版進行數據遷移在引入新的PLM和CAD軟件時,Nikon SLM Solutions曾面臨著數據遷移的挑戰。雖然可以
    發表于 11-25 10:06

    新型超快速單脈沖技術解決傳統遷移率測量挑戰

    溝道有效遷移率 (μeff) 通過載流子速度和驅動電流影響MOSFET性能。它是互補金屬氧化物半導體的關鍵參數之一 (CMOS) 技術。 隨著新型介電材料的出現,傳統的遷移率評估測量技術遇到了下一節中描述的許多問題,導致測量誤差
    的頭像 發表于 11-17 13:58 ?3123次閱讀
    新型超快速單脈沖技術解決傳統<b class='flag-5'>遷移</b>率測量挑戰

    軟件物料清單分論壇成功舉辦

    近日,由開放原子開源基金會主辦,國家工業信息安全發展研究中心(簡稱“中心”)、開源風險評估與治理技術實驗室聯合承辦的“2025開放原子開源生態大會——軟件物料清單(SBOM)分論壇” 在北京國家會議中心二期成功舉辦。
    的頭像 發表于 07-28 17:31 ?815次閱讀

    中軟國際上云遷移服務充分釋放云計算價值

    在數字經濟時代,企業上云已成為提升業務敏捷性、降低成本、增強安全性的關鍵路徑。然而,上云遷移涉及復雜的業務系統、海量數據和高可用性要求,如何確保遷移過程高效、穩定、
    的頭像 發表于 07-25 14:32 ?946次閱讀
    中軟國際上云<b class='flag-5'>遷移</b>服務充分釋放云計算價值

    潤和軟件成功中標國家電網省級公司操作系統運維大單

    近日,江蘇潤和軟件股份有限公司(以下簡稱“潤和軟件”)憑借全棧式操作系統運維能力與國產化遷移核心技術,成功中標國家電網江蘇省電力公司信息通信分公司“2025年服務器操作系統技術支持與運
    的頭像 發表于 07-21 09:46 ?1135次閱讀

    新思科技如何驗證更安全的智能汽車軟件

    汽車軟件正在迅速發展,其復雜性、安全性要求以及對高效開發流程的需求與日俱增。在這一背景下,虛擬ECU(vECU)成為加速開發和驗證的關鍵工具,而將Rust語言集成進AUTOSAR Classic環境則為行業帶來了寶貴的新可能。
    的頭像 發表于 07-10 15:12 ?1001次閱讀
    新思科技如何驗證更<b class='flag-5'>安全</b>的智能汽車<b class='flag-5'>軟件</b>

    國民技術安全芯片筑牢關鍵信息基礎設施安全防線

    在數字浪潮席卷全球的當下,關鍵信息基礎設施宛如國家經濟社會運行的中樞神經,其安全與否,直接關乎國計民生與國家安全。近期,《關鍵信息基礎設施商用密碼使用管理規定》正式發布,這一規定猶如為
    的頭像 發表于 07-07 11:28 ?1483次閱讀
    國民技術<b class='flag-5'>安全</b>芯片筑牢<b class='flag-5'>關鍵</b>信息基礎設施<b class='flag-5'>安全</b>防線

    編譯器功能安全驗證的關鍵要素

    在汽車、工業、醫療等安全關鍵應用中,確保功能安全合規性需要嚴格的工具鏈驗證。開發安全關鍵
    的頭像 發表于 07-05 13:37 ?1574次閱讀

    如何精準提取MOSFET溝道遷移

    溝道有效遷移率(μeff)是CMOS器件性能的關鍵參數。傳統測量方法在高k介質、漏電介質與高速應用中易出現誤差。本文介紹了UFSP(Ultra-Fast Single Pulse)技術如何準確提取遷移率,克服這些挑戰。
    的頭像 發表于 05-19 14:28 ?1849次閱讀
    如何精準提取MOSFET溝道<b class='flag-5'>遷移</b>率

    龍芯終端與合見工軟PCB設計軟件UniVista Archer成功適配

    近日,龍芯3A5000/3A6000桌面終端與上海合見工業軟件集團有限公司自主研發的PCB設計軟件UniVista Archer成功適配,實現了電子系統設計平臺從電子硬件設計工具到硬件研發平臺的全國產化鏈路閉環。這一突破標志著龍
    的頭像 發表于 05-13 14:44 ?1396次閱讀
    龍芯終端與合見工軟PCB設計<b class='flag-5'>軟件</b>UniVista Archer<b class='flag-5'>成功</b>適配

    中軟國際推出金融數據信創遷移與集成解決方案

    隨著國家對信息技術應用創新戰略的深入推進,金融行業作為國民經濟的重要支柱,成為國產化替代的關鍵領域。這一轉過程面臨著國產化產品選型復雜、傳統系統與信創平臺兼容性不足、數據遷移風險高、運維能力欠缺等諸多挑戰
    的頭像 發表于 04-10 16:08 ?1018次閱讀

    充電樁老化負載評估:保障安全與效率的關鍵路徑

    隨著新能源汽車的普及,充電樁作為核心基礎設施,其長期運行的可靠性備受關注。在持續高負荷工作、環境侵蝕及元器件老化等因素影響下,充電樁的性能衰退可能引發安全隱患與效率下降。因此,系統化的老化負載評估
    發表于 03-10 16:32