DO-178B 應(yīng)用程序面臨重新驗證和重新認證，即將遷移到 DO-178C 標準。

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

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

遷移到新語言

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

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

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

DO-178B/DO-178C 遷移

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

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

審核編輯：郭婷