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

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

1. 熟悉現(xiàn)有流程和工具：

查看現(xiàn)有飛行軟件開發(fā)流程,、工具,、應(yīng)用程序、要求的安全等級(A-E) 以及計劃文檔
（包括工具鑒定）,。

2. 差距分析：

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

3. 有針對性的指導(dǎo)：

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

4. 實際部署支持：

將步驟3 中獲得的知識運(yùn)用到特定項目,。顧問可在多個領(lǐng)域提供幫助，包括建模,、仿真,、代碼生成、驗證,、確認(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)的項目，該工具集提供了文檔,、測試用例以及程序來鑒定Simulink 或Polyspace 代碼驗證產(chǎn)品,。

DO-178 流程部署咨詢服務(wù)補(bǔ)充了最近為高完整性汽車系統(tǒng)開發(fā)引入的ISO 26262 流程部署咨詢服務(wù)。

對于DO-178 支持,，有關(guān)基于模型的設(shè)計的詳細(xì)信息,，請觀看此MathWorks 在線研討會：Model-Based Design for DO-178 Using Tool Qualification Kits。

關(guān)于MathWorks

     MathWorks 公司是數(shù)學(xué)計算軟件領(lǐng)域世界領(lǐng)先的開發(fā)商,。它所推出的MATLAB 是一種用于算法開發(fā),、數(shù)據(jù)分析,、可視化和數(shù)值計算的程序設(shè)計環(huán)境，稱為“科學(xué)計算的語言”,。Simulink 是一種圖形環(huán)境,，可用于對多領(lǐng)域動態(tài)系統(tǒng)和嵌入式系統(tǒng)進(jìn)行仿真和模型化設(shè)計。全球的工程師和科學(xué)家們都依賴MathWorks 公司所提供的這些產(chǎn)品系列,，來加快在汽車,、航空、電子,、金融服務(wù),、生物醫(yī)藥以及其他行業(yè)的發(fā)明、創(chuàng)新及開發(fā)的步伐,。除此之外,，MathWorks 產(chǎn)品還是基礎(chǔ)教學(xué)和研究工具，為全球眾多大學(xué)和教學(xué)機(jī)構(gòu)所采用,。MathWorks 創(chuàng)建于1984 年,，總部位于美國馬薩諸塞州的內(nèi)蒂克市(Natick, Massachusetts)，在全球15 個國家/地區(qū)擁有2400 多名員工,。有關(guān)詳細(xì)信息,，請訪問www.mathworks.cn。