今日宣布，從 Release 2012b (R2012b) 起，使用 的工程師們可以鑒定和 驗(yàn)證工具是否符合 DO-178C 及其補(bǔ)充標(biāo)準(zhǔn)（包括 DO-331）。這項(xiàng)針對 DO-178C 的支持現(xiàn)在為項(xiàng)目經(jīng)理和認(rèn)證機(jī)構(gòu)提供了一種全球適用的標(biāo)準(zhǔn)化方法和框架，以采用基于模型的設(shè)計(jì)并加快嵌入式系統(tǒng)的認(rèn)證。
美國聯(lián)邦航空局 (FAA) 指定的負(fù)責(zé)其軟件 A 級(jí)審定的工程代表 Steve Morton 說：“使用 DO-178C 和 DO-331，飛機(jī)制造商和供應(yīng)商們可以收獲基于模型的設(shè)計(jì)所帶來的生產(chǎn)率、成本和質(zhì)量等諸多助益，并且了解他們可以認(rèn)證自己的系統(tǒng)，做到心中有數(shù)。DO Qualification Kit 中所描述的驗(yàn)證工作流程符合行業(yè)最佳實(shí)踐和 FAA 軟件認(rèn)證機(jī)構(gòu)的預(yù)期，包括驗(yàn)證獨(dú)立性、可執(zhí)行目標(biāo)代碼驗(yàn)證和針對自動(dòng)生成的代碼的結(jié)構(gòu)覆蓋率分析?！?/FONT>
在 R2012b 中，DO Qualification Kit 還為以下 DO-178C 補(bǔ)充標(biāo)準(zhǔn)提供 Simulink 和 Polyspace 產(chǎn)品支持：
? DO-330 軟件工具鑒定注意事項(xiàng)
? DO-331 基于模型的開發(fā)和驗(yàn)證
? DO-332 面向?qū)ο蠹夹g(shù)和相關(guān)技術(shù)
? DO-333 形式化方法
DO Qualification Kit 為需要符合航空標(biāo)準(zhǔn)的項(xiàng)目提供了相關(guān)文檔、測試用例以及程序來幫助鑒定。該工具包還包括工具鑒定計(jì)劃、工具使用要求和鑒定軟件驗(yàn)證工具所需的其他材料（標(biāo)準(zhǔn) 2 和 3）。
建立在MathWorks 現(xiàn)有的DO-178能力基礎(chǔ)之上，是DO Qualification Kit 工具包的有力補(bǔ)充。該咨詢服務(wù)在 2012 年中引入，可為航空工程師提供 DO-178 標(biāo)準(zhǔn)指導(dǎo)，找出他們當(dāng)前流程中的缺陷，使用基于模型的設(shè)計(jì)提供進(jìn)一步優(yōu)化的 DO-178 流程框架的路線圖，并為該路線圖的部署提供幫助。
歡迎訪問以下地址參加免費(fèi)的在線研討會(huì)，了解 DO Qualification Kit 如何支持完整的軟件開發(fā)和驗(yàn)證生命周期：。
上市時(shí)間
DO Qualification Kit R2012b 即將上市。有關(guān)更多信息，請?jiān)L問產(chǎn)品網(wǎng)站 。
關(guān)于 MathWorks
MathWorks 公司是數(shù)學(xué)計(jì)算軟件領(lǐng)域世界領(lǐng)先的開發(fā)商。它所推出的 MATLAB 是一種用于算法開發(fā)、數(shù)據(jù)分析、可視化和數(shù)值計(jì)算的程序設(shè)計(jì)環(huán)境，稱為“科學(xué)計(jì)算的語言”。Simulink 是一種圖形環(huán)境，可用于對多領(lǐng)域動(dòng)態(tài)系統(tǒng)和嵌入式系統(tǒng)進(jìn)行仿真和模型化設(shè)計(jì)。全球的工程師和科學(xué)家們都依賴于 MathWorks 公司所提供的這些產(chǎn)品家族，來加快在汽車、航空、電子、金融服務(wù)、生物醫(yī)藥以及其他行業(yè)的發(fā)明、創(chuàng)新及開發(fā)的步伐。MathWorks 產(chǎn)品也是全球眾多大學(xué)和學(xué)術(shù)機(jī)構(gòu)的基本教研工具。MathWorks 創(chuàng)建于 1984 年，總部位于美國馬薩諸塞州的內(nèi)蒂克市 (Natick, Massachusetts)，在全球15 個(gè)國家/地區(qū)擁有 2400 多名員工。有關(guān)其他信息，請?jiān)L問 。
（轉(zhuǎn)載）
