日B视频 亚洲,啪啪啪网站一区二区,91色情精品久久,日日噜狠狠色综合久,超碰人妻少妇97在线,999青青视频,亚洲一区二卡,让本一区二区视频,日韩网站推荐

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

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

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

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

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

掃碼添加小助手

加入工程師交流群

DO-178B 應(yīng)用程序面臨重新驗證和重新認(rèn)證,即將遷移到 DO-178C 標(biāo)準(zhǔn)。

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

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

遷移到新語言

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

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

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

DO-178B/DO-178C 遷移

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

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

審核編輯:郭婷

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

    關(guān)注

    5210

    文章

    20722

    瀏覽量

    338039
  • 操作系統(tǒng)
    +關(guān)注

    關(guān)注

    37

    文章

    7449

    瀏覽量

    129672
  • 編譯器
    +關(guān)注

    關(guān)注

    1

    文章

    1673

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評論

    相關(guān)推薦
    熱點推薦

    太陽模擬器如何增強(qiáng)航空航天傳感器測試

    航空航天傳感器是航天器的“神經(jīng)系統(tǒng)”,從衛(wèi)星姿態(tài)控制到深空探測,每一個數(shù)據(jù)都必須精準(zhǔn)無誤。然而,地面測試環(huán)境與太空環(huán)境的巨大差異,給傳感器驗證帶來了嚴(yán)峻挑戰(zhàn)。Luminbox紫創(chuàng)測控太陽光模擬器憑借
    的頭像 發(fā)表于 04-27 18:04 ?240次閱讀
    太陽模擬器如何增強(qiáng)<b class='flag-5'>航空航天</b>傳感器測試

    高性能石英加速度計如何成為航空航天器的“神經(jīng)末梢”?

    航空航天領(lǐng)域,精準(zhǔn)感知飛行器的每一個運動狀態(tài)至關(guān)重要。石英加速度計作為慣性測量系統(tǒng)的核心傳感器,通過實時檢測載體空間中的線性加速度,為導(dǎo)航、控制與監(jiān)測提供
    的頭像 發(fā)表于 01-22 16:04 ?578次閱讀
    高性能石英加速度計如何成為<b class='flag-5'>航空航天</b>器的“神經(jīng)末梢”?

    Amphenol Lumiére光纖接頭:航空航天領(lǐng)域的理想之選

    Amphenol Lumiére光纖接頭:航空航天領(lǐng)域的理想之選 電子工程師的工作,選擇合適的光纖接頭對于確保系統(tǒng)的性能和可靠性至關(guān)重要。今天,我們來深入了解一下Amphenol
    的頭像 發(fā)表于 12-15 11:10 ?440次閱讀

    泰晶科技TCXO時鐘振蕩器航空航天的應(yīng)用優(yōu)勢

    航空航天領(lǐng)域,從衛(wèi)星導(dǎo)航系統(tǒng)到深空探測器,從載人航天飛船到空間站,各種航天設(shè)備都依賴高穩(wěn)定性晶振提供精確的時間和頻率基準(zhǔn)。
    的頭像 發(fā)表于 12-12 15:56 ?834次閱讀

    RFID工具箱:航空航天領(lǐng)域工具管理的智能化實踐與落地

    航空航天產(chǎn)業(yè)向 “數(shù)字化 + 高可靠性” 轉(zhuǎn)型的進(jìn)程,工具的精準(zhǔn)管控直接關(guān)系到飛行安全、發(fā)射成功率與裝備維護(hù)質(zhì)量。
    的頭像 發(fā)表于 10-15 18:16 ?984次閱讀

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

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

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

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

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

    航空航天、船舶兵器等尖端工業(yè)領(lǐng)域,流體控制系統(tǒng)的精度與可靠性直接關(guān)系到裝備的安全性和性能極限。作為這一領(lǐng)域的核心元件,防爆壓力、流量、方
    的頭像 發(fā)表于 09-25 11:11 ?570次閱讀
    防爆多<b class='flag-5'>型</b>閥設(shè)計的核心挑戰(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 ?1086次閱讀
    蔡司<b class='flag-5'>軟件</b> | ZEISS CALYPSO<b class='flag-5'>在</b><b class='flag-5'>航空航天</b>行業(yè)的實用新功能

    旋轉(zhuǎn)花鍵航空航天領(lǐng)域中的應(yīng)用場景

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

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

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

    2025開放原子校源行走進(jìn)南京航空航天大學(xué)

    近日,由開放原子開源基金會主辦,南京航空航天大學(xué)承辦的開放原子“校源行”(南航站)成功舉行。南京航空航天大學(xué)師生和開源社區(qū)代表等150余人現(xiàn)場參會,共話開源生態(tài),推進(jìn)開源產(chǎn)教融合。
    的頭像 發(fā)表于 07-11 10:52 ?1297次閱讀

    安泰高壓放大器航空航天領(lǐng)域的應(yīng)用研究

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

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

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

    滾珠導(dǎo)軌航空航天領(lǐng)域具體應(yīng)用是什么?

    滾珠導(dǎo)軌航空航天領(lǐng)域的應(yīng)用,不僅能夠提供精確的定位控制和運動傳遞,還能夠承受惡劣的環(huán)境條件和高負(fù)荷要求,是航空航天領(lǐng)域不可或缺的關(guān)鍵傳動元件。
    的頭像 發(fā)表于 05-24 17:54 ?807次閱讀
    滾珠導(dǎo)軌<b class='flag-5'>在</b><b class='flag-5'>航空航天</b>領(lǐng)域具體應(yīng)用是什么?
    游戏| 北碚区| 桂阳县| 松潘县| 肇州县| 鄂尔多斯市| 宜章县| 黄龙县| 宁国市| 泾阳县| 陕西省| 兴安县| 嘉义市| 微山县| 绥芬河市| 巴林右旗| 南澳县| 宜春市| 江西省| 无棣县| 肇州县| 万荣县| 甘德县| 永春县| 宜昌市| 杭锦旗| 开鲁县| 山东省| 佛冈县| 清原| 平定县| 逊克县| 山东省| 招远市| 洛川县| 金塔县| 巴林左旗| 伊吾县| 高碑店市| 石棉县| 射阳县|