MathWorks 的DO Qualification Kit有助于針對 DO-178 及相關標準鑒定工具。對于基于 DO-178 標準的項目，該工具集提供了文檔、測試用例以及程序來鑒定 Simulink 或Polyspace 代碼驗證產(chǎn)品。
MathWorks日前宣布推出DO 178 流程部署咨詢服務，即專門針對 DO-178 項目的基于模型的設計咨詢服務?，F(xiàn)在，通過使用符合 DO 標準（如 DO-178B、DO-178C 和 DO-331）的MATLAB和Simulink、基于模型的開發(fā)方式以及針對 DO-178C 和 DO-278A 的輔助驗證，航空工程師們在開發(fā)高完整性應用程序方面的信心得到了增強。
DO-178 流程部署咨詢服務可為工程師提供標準指導，確定當前流程的差距，使用基于模型的設計提供進一步優(yōu)化的流程框架的路線圖，并為該路線圖的部署提供幫助。在咨詢服務中，MathWorks 的顧問需要執(zhí)行下述步驟：
1. 熟悉現(xiàn)有流程和工具：
查看現(xiàn)有飛行軟件開發(fā)流程、工具、應用程序、要求的安全等級 (A-E) 以及計劃文檔（包括工具鑒定）。
2. 差距分析：
通過在步驟 1 中獲取的知識執(zhí)行差距分析，識別對于使用基于模型設計的 DO-178 流程框架來說，當前面臨的難題和可能需要的流程效率改進、培訓和改變。這包括使用階段性方法開發(fā)可行的路線圖，從而實現(xiàn)建議的改進。
3. 有針對性的指導：
提供指導以彌補步驟 2 中發(fā)現(xiàn)的差距，介紹 DO-178 的基本原則以及使用基于模型的設計的流程框架。根據(jù)需要檢查用于自動執(zhí)行關鍵開發(fā)和驗證活動的工具，通常包括模型檢查、代碼生成、代碼審查和報告生成。
4. 實際部署支持：
將步驟 3 中獲得的知識運用到特定項目。顧問可在多個領域提供幫助，包括建模、仿真、代碼生成、驗證、確認和認證。認證和合規(guī)幫助包括準備工具鏈和使用 DO Qualification Kit 生成或創(chuàng)建文檔，如 PSAC 和 DO-178 工具鑒定工件。
MathWorks 的DO Qualification Kit有助于針對 DO-178 及相關標準鑒定工具。對于基于 DO-178 標準的項目，該工具集提供了文檔、測試用例以及程序來鑒定 Simulink 或Polyspace 代碼驗證產(chǎn)品。
DO-178 流程部署咨詢服務補充了最近為高完整性汽車系統(tǒng)開發(fā)引入的ISO 26262 流程部署咨詢服務。
對于 DO-178 支持，有關基于模型的設計的詳細信息，請觀看此 MathWorks 在線研討會：Model-Based Design for DO-178 Using Tool Qualification Kits。
關于 MathWorks
MathWorks 公司是數(shù)學計算軟件領域世界領先的開發(fā)商。它所推出的 MATLAB 是一種用于算法開發(fā)、數(shù)據(jù)分析、可視化和數(shù)值計算的程序設計環(huán)境，稱為“科學計算的語言”。Simulink 是一種圖形環(huán)境，可用于對多領域動態(tài)系統(tǒng)和嵌入式系統(tǒng)進行仿真和模型化設計。全球的工程師和科學家們都依賴 MathWorks 公司所提供的這些產(chǎn)品系列，來加快在汽車、航空、電子、金融服務、生物醫(yī)藥以及其他行業(yè)的發(fā)明、創(chuàng)新及開發(fā)的步伐。除此之外，MathWorks 產(chǎn)品還是基礎教學和研究工具，為全球眾多大學和教學機構所采用。MathWorks 創(chuàng)建于 1984 年，總部位于美國馬薩諸塞州的內(nèi)蒂克市 (Natick, Massachusetts)，在全球 15 個國家/地區(qū)擁有 2400 多名員工。有關詳細信息，請訪問。
（轉載）
