|
更新的DO Qualification Kit幫助鑒定 Simulink 和 Polyspace 驗證工具 MathWorks 今日宣布，從 Release 2012b (R2012b) 起，使用 DO Qualification Kit 的工程師們可以鑒定 Simulink 和 Polyspace 驗證工具是否符合 DO-178C 及其補充標準（包括 DO-331）。這項針對 DO-178C 的支持現在為項目經(jīng)理和認證機構提供了一種全球適用的標準化方法和框架，以采用基于模型的設計并加快嵌入式系統的認證。 美國聯(lián)邦航空局 (FAA) 指定的負責其軟件 A 級審定的工程代表 Steve Morton 說(shuō)： “使用 DO-178C 和 DO-331，飛機制造商和供應商們可以收獲基于模型的設計所帶來(lái)的生產(chǎn)率、成本和質(zhì)量等諸多助益，并且了解他們可以認證自己的系統，做到心中有數。DO Qualification Kit 中所描述的驗證工作流程符合行業(yè)最佳實(shí)踐和 FAA 軟件認證機構的預期，包括驗證獨立性、可執行目標代碼驗證和針對自動(dòng)生成的代碼的結構覆蓋率 分析�！� 在 R2012b 中，DO Qualification Kit 還為以下 DO-178C 補充標準提供 Simulink 和 Polyspace 產(chǎn)品支持： • DO-330 軟件工具鑒定注意事項 • DO-331 基于模型的開(kāi)發(fā)和驗證 • DO-332 面向對象技術(shù)和相關(guān)技術(shù) • DO-333 形式化方法 DO Qualification Kit 為需要符合航空標準的項目提供了相關(guān)文檔、測試用例以及程序來(lái)幫助鑒定支持的 Simulink 和 Polyspace 軟件驗證工具。該工具包還包括工具鑒定計劃、工具使用要求和鑒定軟件驗證工具所需的其他材料（標準 2 和 3）。 DO-178 流程部署咨詢(xún)服務(wù)建立在MathWorks 現有的DO-178能力基礎之上，是DO Qualification Kit 工具包的有力補充。該咨詢(xún)服務(wù)在 2012 年中引入，可為航空工程師提供 DO-178 標準指導，找出他們當前流程中的缺陷，使用基于模型的設計提供進(jìn)一步優(yōu)化的 DO-178 流程框架的路線(xiàn)圖，并為該路線(xiàn)圖的部署提供幫助。 歡迎訪(fǎng)問(wèn)以下地址參加免費的在線(xiàn)研討會(huì )，了解 DO Qualification Kit 如何支持完整的軟件開(kāi)發(fā)和驗證生命周期：使用 Tool Qualification Kit 為 DO-178 進(jìn)行基于模型的設計。 上市時(shí)間 DO Qualification Kit R2012b 即將上市。有關(guān)更多信息，請訪(fǎng)問(wèn)產(chǎn)品網(wǎng)站 mathworks.cn/products/do-178/ 。 |
