MathWorks推出DO 178 流程部署咨詢服務(wù)

21ic訊 MathWorks日前宣布推出DO 178 流程部署咨詢服務(wù)，即專門針對 DO-178 項(xiàng)目的基于模型的設(shè)計(jì)咨詢服務(wù)。現(xiàn)在，通過使用符合 DO 標(biāo)準(zhǔn)（如 DO-178B、DO-178C 和 DO-331）的MATLAB和Simulink、基于模型的開發(fā)方式以及針對 DO-178C 和 DO-278A 的輔助驗(yàn)證，航空工程師們在開發(fā)高完整性應(yīng)用程序方面的信心得到了增強(qiáng)。

DO-178 流程部署咨詢服務(wù)可為工程師提供標(biāo)準(zhǔn)指導(dǎo)，確定當(dāng)前流程的差距，使用基于模型的設(shè)計(jì)提供進(jìn)一步優(yōu)化的流程框架的路線圖，并為該路線圖的部署提供幫助。在咨詢服務(wù)中，MathWorks 的顧問需要執(zhí)行下述步驟：

1. 熟悉現(xiàn)有流程和工具：
查看現(xiàn)有飛行軟件開發(fā)流程、工具、應(yīng)用程序、要求的安全等級 (A-E) 以及計(jì)劃文檔
（包括工具鑒定）。
2. 差距分析：
通過在步驟 1 中獲取的知識(shí)執(zhí)行差距分析，識(shí)別對于使用基于模型設(shè)計(jì)的 DO-178 流程框架來說，當(dāng)前面臨的難題和可能需要的流程效率改進(jìn)、培訓(xùn)和改變。這包括使用階段性方法開發(fā)可行的路線圖，從而實(shí)現(xiàn)建議的改進(jìn)。
3. 有針對性的指導(dǎo)：
提供指導(dǎo)以彌補(bǔ)步驟 2 中發(fā)現(xiàn)的差距，介紹 DO-178 的基本原則以及使用基于模型的設(shè)計(jì)的流程框架。根據(jù)需要檢查用于自動(dòng)執(zhí)行關(guān)鍵開發(fā)和驗(yàn)證活動(dòng)的工具，通常包括模型檢查、代碼生成、代碼審查和報(bào)告生成。
4. 實(shí)際部署支持：
將步驟 3 中獲得的知識(shí)運(yùn)用到特定項(xiàng)目。顧問可在多個(gè)領(lǐng)域提供幫助，包括建模、仿真、代碼生成、驗(yàn)證、確認(rèn)和認(rèn)證。認(rèn)證和合規(guī)幫助包括準(zhǔn)備工具鏈和使用 DO Qualification Kit 生成或創(chuàng)建文檔，如 PSAC 和 DO-178 工具鑒定工件。

MathWorks 的DO Qualification Kit有助于針對 DO-178 及相關(guān)標(biāo)準(zhǔn)鑒定工具。對于基于 DO-178 標(biāo)準(zhǔn)的項(xiàng)目，該工具集提供了文檔、測試用例以及程序來鑒定 Simulink 或Polyspace 代碼驗(yàn)證產(chǎn)品。
DO-178 流程部署咨詢服務(wù)補(bǔ)充了最近為高完整性汽車系統(tǒng)開發(fā)引入的ISO 26262 流程部署咨詢服務(wù)。