女人自慰AV免费观看内涵网,日韩国产剧情在线观看网址,神马电影网特片网,最新一级电影欧美,在线观看亚洲欧美日韩,黄色视频在线播放免费观看,ABO涨奶期羡澄,第一导航fulione,美女主播操b

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

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

3天內不再提示

在軍事和航空航天系統中遷移安全關鍵型軟件

星星科技指導員 ? 來源:嵌入式計算設計 ? 作者:TIM KING ? 2022-11-08 11:03 ? 次閱讀

DO-178B 應用程序面臨重新驗證和重新認證,即將遷移到 DO-178C 標準。

當今的軍事和商業航空電子系統中使用了數億行遺留代碼。這些遺留系統中的大多數都是使用現已過時(或過時)的編程語言和開發系統以及不再可用的編程專業知識開發的。因此,這些遺留系統的維護和升級變得越來越困難和昂貴,從而迫使開發人員將其應用程序遷移到新的開發主機、編譯器、安全關鍵操作系統和編程語言。此外,監管機構對認證施加的新標準和新要求也可能引發對軟件遷移和重新驗證的需求。

遷移復雜的嵌入式軟件,特別是在需要實時響應和高度安全關鍵性的應用中,可能是一個昂貴、耗時且有風險的過程,需要更改代碼、重新測試、重新審查、重新分析甚至重新認證。有許多因素使舊版應用程序難以移植。這些因素包括編程語言的細微差別、特定于編譯器的實現、運行時和硬件依賴關系、使用超出定義的編程語言的擴展以及不兼容的應用程序代碼結構。遷移應用程序還會影響已通過 DO-178B 認證或即將通過 DO-178C 認證的代碼的重用。

遷移到新語言

在所有遷移工作中,最具挑戰性的是將使用傳統語言(如 Ada 或 JOVIAL)編寫的代碼移動到另一種語言(如 C)中。由于生成的應用程序與原始應用程序不完全相同,因此至少需要基本的重新測試,并且可能需要完全重新驗證。此外,由于必須在源代碼級別修改應用程序,因此分配給該程序的新軟件工程師可能必須接受傳統編程語言以及應用程序設計和內部工作方面的培訓。這將不可避免地將錯誤引入應用程序。其他因素也將發揮作用。例如,生成的代碼將具有不同的布局,并且可能不再適合可用內存。數據布局也將不同,不再正確映射到底層硬件。性能和時序方面也將發生變化。

更改語言時,最好使用支持舊語言和新目標語言的開發環境,并能夠混合語言。這將允許設計人員緩慢遷移并逐步進行測試。雖然許多編譯器可以組合不同語言的代碼段,但大多數調試器工具一次只處理一種語言。這意味著開發人員必須同時調用多個工具來查看代碼段之間的交互。這些工具很少以協調的方式進行交互或交換信息,以幫助將目標代碼與多種語言源相關聯?;旌险Z言開發環境(如DDC-I的OpenArbor)允許從單個啟動進行混合語言調試,從而更容易檢測交互錯誤并協調新的和現有的代碼。

開發人員可能還希望利用可加快轉換過程的工具和服務。其中包括半自動化工具,這些工具以可預測和直接的方式轉換應用程序,同時保留原始應用程序結構和源代碼注釋。這使得轉換后的代碼可讀且可維護,最大限度地降低引入軟件錯誤的風險,并消除對軟件轉換工具的任何進一步依賴。使用新語言后,可以使用更新的語言功能優化應用程序,并/或使用新功能進行增強。

DO-178B/DO-178C 遷移

如果應用程序最初已通過 DO-178B 認證并已遷移,則必須使用新語言、開發環境、驗證環境和運行時環境重新驗證和重新認證。如前所述,今年晚些時候,該行業將開始從DO-178B過渡到DO-178C,這將在新開發和遺留代碼重用方面產生新的影響。除了對 DO-178B 的指南進行一些澄清外,DO-178C 文檔還增加了新的指南,以適應自 DO-178B 發布以來變得很常見的開發技術,包括面向對象編程、基于模型的開發(UML 或 Simulink)、工具鑒定和形式化方法。

對于開發人員來說,好消息是DO-178C保留了核心DO-178B指南,并進行了一些修改以進行澄清。開發人員仍然必須熟悉適用于其特定流程和程序的每個領域的指南。開發人員還必須評估附加指南的影響,相應地定制其流程和過程,并更新他們遷移的任何軟件和認證項目。但是,DO-178B的大部分將保持不變,從而簡化了向DO-178C的過渡。

審核編輯:郭婷

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

    關注

    5141

    文章

    19526

    瀏覽量

    314875
  • 操作系統
    +關注

    關注

    37

    文章

    7081

    瀏覽量

    124940
  • 編譯器
    +關注

    關注

    1

    文章

    1654

    瀏覽量

    49886
收藏 人收藏

    評論

    相關推薦
    熱點推薦

    滾珠導軌航空航天領域具體應用是什么?

    滾珠導軌航空航天領域的應用,不僅能夠提供精確的定位控制和運動傳遞,還能夠承受惡劣的環境條件和高負荷要求,是航空航天領域不可或缺的關鍵傳動元件。
    的頭像 發表于 05-24 17:54 ?58次閱讀
    滾珠導軌<b class='flag-5'>在</b><b class='flag-5'>航空航天</b>領域具體應用是什么?

    沈陽航空航天大學選購我司HS-DSC-101A差示掃描量熱儀

    科研領域,儀器的助力對高校突破研究瓶頸、提升科研水平起著關鍵作用。近期,沈陽航空航天大學成功選購了我司的HS-DSC-101A差示掃描量熱儀,為其科研工作注入強大動力。?沈陽航空航天
    的頭像 發表于 03-21 14:09 ?234次閱讀
    沈陽<b class='flag-5'>航空航天</b>大學選購我司HS-DSC-101A差示掃描量熱儀

    泰克MDO3034示波器航空航天信號測量的應用

    隨著航空航天技術的飛速發展,信號測量飛行器設計、測試和維護的重要性日益凸顯。航空航天領域的信號具有高頻率、高精度和復雜性的特點,因此對測量儀器的性能提出了極高的要求。泰克MDO30
    的頭像 發表于 03-19 13:47 ?448次閱讀
    泰克MDO3034示波器<b class='flag-5'>在</b><b class='flag-5'>航空航天</b>信號測量<b class='flag-5'>中</b>的應用

    航空航天領域對電源濾波器可靠性和安全性的特殊要求

    航空航天領域對電源濾波器可靠性和安全性要求極高。從電磁兼容性到抗惡劣環境,從安全性到長壽命與維護性,從輕量化與小型化等都需達到高標準。隨著航空航天技術發展,未來濾波器將向高性能、小型化
    的頭像 發表于 03-07 11:45 ?290次閱讀
    <b class='flag-5'>航空航天</b>領域對電源濾波器可靠性和<b class='flag-5'>安全</b>性的特殊要求

    普源示波器航空航天信號測試

    航空航天領域,信號的精確測試和分析是確保航天設備正常工作的關鍵。無論是衛星通信、導航系統還是
    的頭像 發表于 02-12 17:54 ?328次閱讀
    普源示波器<b class='flag-5'>航空航天</b>信號測試

    虹科問答 | 航空航天通信難題多,虹科TSN方案如何破局?

    航空航天領域對可靠性和精準性要求近乎苛刻,通信技術的每一次突破都意義重大。時間敏感網絡(TSN)技術憑借其獨特優勢,正逐漸成為航空航天通信的關鍵支撐。本文將以問答形式,深入探討TSN技術特點、
    的頭像 發表于 01-22 17:33 ?449次閱讀
    虹科問答 | <b class='flag-5'>航空航天</b>通信難題多,虹科TSN方案如何破局?

    霍尼韋爾考慮拆分航空航天業務

    近日,據最新報道,全球領先的多元化高科技和制造企業霍尼韋爾國際公司,正在認真考慮對其業務結構進行重大調整,即將其航空航天業務進行拆分。 12月16日的一份官方聲明,霍尼韋爾明確提到,此次考慮拆分
    的頭像 發表于 12-20 14:40 ?744次閱讀

    泰克信號發生器航空航天測試關鍵作用

    航空航天測試扮演著不可或缺的角色,為確保飛行器和相關系統安全可靠運行提供了堅實保障。 一、泰克信號發生器
    的頭像 發表于 12-05 10:05 ?360次閱讀
    泰克信號發生器<b class='flag-5'>在</b><b class='flag-5'>航空航天</b>測試<b class='flag-5'>中</b>的<b class='flag-5'>關鍵</b>作用

    2024第15屆中國珠海航展視角:PLM系統航空航天行業的解決方案

    近期的珠海航展再次吸引了全球航空航天領域的目光,成為展示行業最新技術和發展趨勢的重要平臺。在這場盛會中,不僅有多款先進的飛行器亮相,更有諸多關于產品生命周期管理(PLM)系統航空航天
    的頭像 發表于 11-15 16:04 ?678次閱讀

    反射內存卡在航空航天的應用

    天津拓航科技有限公司自研反射內存卡在航空航天的應用
    的頭像 發表于 11-14 10:10 ?450次閱讀
    反射內存卡在<b class='flag-5'>航空航天</b><b class='flag-5'>中</b>的應用

    億緯鋰能通過AS9100D航空航天體系認證

    近日,億緯鋰能獲得DNV頒發的AS9100D航空航天質量管理體系認證證書(Certificate No.: C690714),通過范圍為:航空航天用鋰電池的設計、制造和銷售、售后。標志著億緯鋰能質量管理體系達到航空航天用鋰電池全
    的頭像 發表于 11-06 11:50 ?660次閱讀

    精準傳輸 高效測試:國產連接器賦能航空航天領域

    效率、安全性和舒適性等關鍵指標,因此成為航空航天工程研發階段至關重要。 ? ? ?氣動性能測試能驗證飛行器各種飛行狀態下是否都具備良好飛
    的頭像 發表于 11-03 16:18 ?437次閱讀
    精準傳輸 高效測試:國產連接器賦能<b class='flag-5'>航空航天</b>領域

    格瑞普電池誠邀您共同參與2024年土耳其國際防務與航空航天展覽會

    參展消息2024年土耳其國際防務與航空航天展覽會來自格瑞普的邀請函2024年土耳其國際防務與航空航天展覽會在土耳其伊斯坦布爾展覽中心盛大舉行。土耳其SAHAEXPO,即土耳其國際防務與航空航天
    的頭像 發表于 10-22 08:01 ?674次閱讀
    格瑞普電池誠邀您共同參與2024年土耳其國際防務與<b class='flag-5'>航空航天</b>展覽會

    光學變焦機芯:航空航天領域的“千里眼”

    光學變焦機芯航空航天領域扮演著至關重要的角色,被譽為該領域的“千里眼”。其卓越的性能和廣泛的應用場景,使得它成為航空航天探索與監測不可或缺的工具。以下是對光學變焦機芯
    的頭像 發表于 09-09 14:57 ?655次閱讀
    光學變焦機芯:<b class='flag-5'>航空航天</b>領域的“千里眼”

    3D打印航空航天零部件模型3D打印定制設計服務CASAIM

    隨著技術進步,3D打印正在逐步改變航空航天工業的生產方式。航空航天領域,隨著飛行器使用要求和設計水平的不斷提高,新型航空航天產品不斷向性能高、壽命長、成本低、可靠性好等方向發展,
    的頭像 發表于 07-21 15:13 ?612次閱讀
    3D打印<b class='flag-5'>航空航天</b>零部件模型3D打印定制設計服務CASAIM