chinese直男口爆体育生外卖, 99久久er热在这里只有精品99, 又色又爽又黄18禁美女裸身无遮挡, gogogo高清免费观看日本电视,私密按摩师高清版在线,人妻视频毛茸茸,91论坛 兴趣闲谈,欧美 亚洲 精品 8区,国产精品久久久久精品免费

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

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

3天內不再提示

在軍事和航空航天系統(tǒng)中遷移安全關鍵型軟件

星星科技指導員 ? 來源:嵌入式計算設計 ? 作者:TIM KING ? 2022-11-08 11:03 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

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

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

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

遷移到新語言

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

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

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

DO-178B/DO-178C 遷移

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

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

審核編輯:郭婷

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

    關注

    5177

    文章

    19997

    瀏覽量

    325268
  • 操作系統(tǒng)

    關注

    37

    文章

    7266

    瀏覽量

    128099
  • 編譯器
    +關注

    關注

    1

    文章

    1665

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    超高壓液壓系統(tǒng)的奧秘:航空航天動力的“力量傳遞者”

    長為流體控制元件和系統(tǒng)解決方案的重要供應商。公司專注于液壓油源系統(tǒng)、超高壓液壓氣動設備等關鍵部件的研發(fā)制造,為各類動力系統(tǒng)提供可靠的技術支撐。現代
    的頭像 發(fā)表于 09-25 11:18 ?63次閱讀
    超高壓液壓<b class='flag-5'>系統(tǒng)</b>的奧秘:<b class='flag-5'>航空航天</b>動力<b class='flag-5'>中</b>的“力量傳遞者”

    雙回路、高精度、智能控制——深度解析航空航天燃油冷卻器測試臺

    航空航天領域,每一個零部件的性能可靠性都直接關系到飛行安全。作為航空發(fā)動機燃油和潤滑系統(tǒng)的重要組成部分,燃油冷卻器的性能優(yōu)劣直接影響發(fā)動機
    的頭像 發(fā)表于 09-25 11:16 ?96次閱讀
    雙回路、高精度、智能控制——深度解析<b class='flag-5'>航空航天</b>燃油冷卻器測試臺

    防爆多閥設計的核心挑戰(zhàn):航空航天流體控制系統(tǒng)的“安全穩(wěn)壓器”

    航空航天、船舶兵器等尖端工業(yè)領域,流體控制系統(tǒng)的精度與可靠性直接關系到裝備的安全性和性能極限。作為這一領域的核心元件,防爆壓力、流量、方
    的頭像 發(fā)表于 09-25 11:11 ?161次閱讀
    防爆多<b class='flag-5'>型</b>閥設計的核心挑戰(zhàn):<b class='flag-5'>航空航天</b>流體控制<b class='flag-5'>系統(tǒng)</b>的“<b class='flag-5'>安全</b>穩(wěn)壓器”

    蔡司軟件 | ZEISS CALYPSO航空航天行業(yè)的實用新功能

    蔡司軟件 | ZEISS CALYPSO航空航天行業(yè)的實用新功能
    的頭像 發(fā)表于 08-08 15:37 ?539次閱讀
    蔡司<b class='flag-5'>軟件</b> | ZEISS CALYPSO<b class='flag-5'>在</b><b class='flag-5'>航空航天</b>行業(yè)的實用新功能

    旋轉花鍵航空航天領域中的應用場景

    旋轉花鍵航空航天領域應用廣泛,常用于飛機和火箭等飛行器的起落架、發(fā)動機和操縱系統(tǒng)關鍵部位,實現精確傳動和控制。
    的頭像 發(fā)表于 08-07 17:58 ?454次閱讀
    旋轉花鍵<b class='flag-5'>在</b><b class='flag-5'>航空航天</b>領域中的應用場景

    穩(wěn)態(tài)太陽光模擬器 | 航空航天材料測試的應用

    航空航天領域,材料可靠性關乎航天器任務成敗,太空中的太陽輻射是導致材料老化、性能衰減的關鍵因素。穩(wěn)態(tài)太陽光模擬器能穩(wěn)定輸出模擬太陽光光譜與輻照度,核心優(yōu)勢是精確復現太空太陽輻射環(huán)境(
    的頭像 發(fā)表于 07-28 18:05 ?266次閱讀
    穩(wěn)態(tài)太陽光模擬器 | <b class='flag-5'>在</b><b class='flag-5'>航空航天</b>材料測試<b class='flag-5'>中</b>的應用

    安泰高壓放大器航空航天領域的應用研究

    航空航天領域對電子設備的性能和可靠性要求極高,高壓放大器作為一種關鍵的電子組件,在其中發(fā)揮著不可或缺的作用。其主要功能是將低電壓信號放大到高電壓水平,以滿足航空航天系統(tǒng)
    的頭像 發(fā)表于 07-04 14:18 ?351次閱讀
    安泰高壓放大器<b class='flag-5'>在</b><b class='flag-5'>航空航天</b>領域的應用研究

    虹科白皮書 | 航空航天與國防革新:TSN和RTOS融合技術

    需求。通過統(tǒng)一協議和優(yōu)化架構,TSN提高了性能,降低了復雜性,并確保了安全關鍵通信。其航空電子、航天和國防
    的頭像 發(fā)表于 06-04 17:02 ?722次閱讀
    虹科白皮書 | <b class='flag-5'>航空航天</b>與國防革新:TSN和RTOS融合技術

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

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

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

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

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

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

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

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

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

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

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

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

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

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