MATHWORKS提供量身定制的服務(wù)來(lái)幫助達到DO-178標準

　　MathWorks 日前宣布推出 DO 178 流程部署咨詢(xún)服務(wù)，即專(zhuān)門(mén)針對 DO-178 項目的基于模型的設計咨詢(xún)服務(wù)?，F在，通過(guò)使用符合 DO 標準(如 DO-178B、DO-178C 和 DO-331)的 MATLAB 和 Simulink、基于模型的開(kāi)發(fā)方式以及針對 DO-178C 和 DO-278A 的輔助驗證，航空工程師們在開(kāi)發(fā)高完整性應用程序方面的信心得到了增強。

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

　　1. 熟悉現有流程和工具：

　　查看現有飛行軟件開(kāi)發(fā)流程、工具、應用程序、要求的安全等級 (A-E) 以及計劃文檔

　　(包括工具鑒定)。

　　2. 差距分析：

　　通過(guò)在步驟 1 中獲取的知識執行差距分析，識別對于使用基于模型設計的 DO-178 流程框架來(lái)說(shuō)，當前面臨的難題和可能需要的流程效率改進(jìn)、培訓和改變。這包括使用階段性方法開(kāi)發(fā)可行的路線(xiàn)圖，從而實(shí)現建議的改進(jìn)。

　　3. 有針對性的指導：

　　提供指導以彌補步驟 2 中發(fā)現的差距，介紹 DO-178 的基本原則以及使用基于模型的設計的流程框架。根據需要檢查用于自動(dòng)執行關(guān)鍵開(kāi)發(fā)和驗證活動(dòng)的工具，通常包括模型檢查、代碼生成、代碼審查和報告生成。

　　4. 實(shí)際部署支持：

　　將步驟 3 中獲得的知識運用到特定項目。顧問(wèn)可在多個(gè)領(lǐng)域提供幫助，包括建模、仿真、代碼生成、驗證、確認和認證。認證和合規幫助包括準備工具鏈和使用 DO Qualification Kit 生成或創(chuàng )建文檔，如 PSAC 和 DO-178 工具鑒定工件。

　　MathWorks 的 DO Qualification Kit 有助于針對 DO-178 及相關(guān)標準鑒定工具。對于基于 DO-178 標準的項目，該工具集提供了文檔、測試用例以及程序來(lái)鑒定 Simulink 或 Polyspace 代碼驗證產(chǎn)品。

　　DO-178 流程部署咨詢(xún)服務(wù)補充了最近為高完整性汽車(chē)系統開(kāi)發(fā)引入的 ISO 26262 流程部署咨詢(xún)服務(wù)。