高可靠性飛行代碼的自動(dòng)化驗(yàn)證技術(shù)

圖 4：使用 PIL 測(cè)試驗(yàn)證可執(zhí)行目標(biāo)代碼。

代碼特性執(zhí)行報(bào)告在PIL測(cè)試過程中生成，用于評(píng)估瓶頸和優(yōu)化設(shè)計(jì)，例如使用代碼替換技術(shù)，這項(xiàng)技術(shù)以單指令/多數(shù)據(jù)(SIMD)和Intel集成性能基元(IPP)優(yōu)化代替默認(rèn)的ANSI/ISO C自動(dòng)生成代碼。MATLAB可基于代碼特性執(zhí)行數(shù)據(jù)生成圖形，以便將來進(jìn)行分析。DO-178和相關(guān)標(biāo)準(zhǔn)要求在復(fù)雜飛行硬件上驗(yàn)證復(fù)雜飛行軟件，使PIL測(cè)試成為高完整性系統(tǒng)的關(guān)鍵驗(yàn)證環(huán)節(jié)(圖5)。

圖 5：使用 MATLAB 對(duì)執(zhí)行周期進(jìn)行特性分析。

2. 代碼驗(yàn)證

借助基于模型的設(shè)計(jì)，可將用于驗(yàn)證模型的同樣基于需求的仿真測(cè)試用例重用于SIL和PIL測(cè)試。工程師可應(yīng)用模型仿真中使用的相同輸入數(shù)據(jù)，然后使用Simulink Data Inspector工具將SIL和 PIL測(cè)試結(jié)果與模型仿真結(jié)果進(jìn)行比較，以確定它們?cè)跀?shù)值上是否相等(圖6)。

圖 6：使用 Simulation Data Inspector 比較仿真和 PIL 測(cè)試結(jié)果。

DO-178B還需要進(jìn)行軟件的結(jié)構(gòu)覆蓋率分析，包括修正的判定覆蓋率(MC/DC)，以評(píng)估代碼在測(cè)試過程中是否完全被執(zhí)行。模型覆蓋率分析是模型級(jí)的類似概念，它通過Simulink Verification and Validation工具實(shí)現(xiàn)，用于評(píng)估模型是否已完全測(cè)試?？偟膩碚f，模型和代碼覆蓋率分析可檢測(cè)設(shè)計(jì)、實(shí)現(xiàn)和測(cè)試中的潛在錯(cuò)誤。Simulink Verification and Validation可提供模型覆蓋率分析功能。在R2011b版中，Embedded Coder與LDRA Testbed集成在一起，從而支持代碼覆蓋率分析和其他DO-178工作流程。

總之，基于模型的設(shè)計(jì)可實(shí)現(xiàn)自動(dòng)生成既高效又能夠在模型、源代碼和可執(zhí)行目標(biāo)代碼級(jí)別輕松進(jìn)行驗(yàn)證的飛行代碼。通過將開發(fā)和驗(yàn)證集中在Simulink模型和仿真測(cè)試用例上這種方式可以使模型和測(cè)試用例得到重用，并有助于滿足DO-178B和DO-178C軟件目標(biāo)，這樣企業(yè)可極大地降低成本并縮短產(chǎn)品上市時(shí)間。集成和已發(fā)布的API可通過DO-178開發(fā)項(xiàng)目中使用的第三方工具實(shí)現(xiàn)整體解決方案。為補(bǔ)充這些軟件開發(fā)過程改進(jìn)，Simulink在與MathWorks產(chǎn)品搭配使用以進(jìn)行系統(tǒng)物理建模、硬件在環(huán)(HIL)測(cè)試和FPGA的HDL代碼生成時(shí)，通過其對(duì)系統(tǒng)工程和相關(guān)標(biāo)準(zhǔn)(例如，ARP 4754)以及硬件開發(fā)和相關(guān)標(biāo)準(zhǔn)(例如，DO-254)的支持提供了附加優(yōu)勢(shì)。

圖 7：使用 Simulink 模型覆蓋率分析工具和 LDRA Testbed 測(cè)量模型和代碼覆蓋率。