《電子技術應用》
您所在的位置:首頁 > EDA與制造 > 業(yè)界動態(tài) > MATHWORKS 通過基于模型的設計為 DO-178C 提供支持

MATHWORKS 通過基于模型的設計為 DO-178C 提供支持

更新的DO Qualification Kit幫助鑒定 Simulink 和 Polyspace 驗證工具
2012-12-11
關鍵詞: DO-178C Simulink Polyspace

    MathWorks今日宣布,,從Release 2012b (R2012b) 起,,使用DO Qualification Kit 的工程師們可以鑒定 simulink/?s_cid=MW_12112012_DO178C_Simulink">Simulink和 polyspace/index.html?s_cid=BB&s_cid=MW_12112012_DO178C_Polyspace_Tools">Polyspace 驗證工具是否符合DO-178C 及其補充標準(包括DO-331)。這項針對DO-178C 的支持現在為項目經理和認證機構提供了一種全球適用的標準化方法和框架,,以采用基于模型的設計并加快嵌入式系統的認證,。

    美國聯邦航空局(FAA) 指定的負責其軟件A 級審定的工程代表Steve Morton 說:“使用DO-178C 和DO-331,,飛機制造商和供應商們可以收獲基于模型的設計所帶來的生產率、成本和質量等諸多助益,,并且了解他們可以認證自己的系統,,做到心中有數。DO Qualification Kit 中所描述的驗證工作流程符合行業(yè)最佳實踐和FAA 軟件認證機構的預期,包括驗證獨立性,、可執(zhí)行目標代碼驗證和針對自動生成的代碼的結構覆蓋率分析,。”

    在R2012b 中,DO Qualification Kit 還為以下DO-178C 補充標準提供Simulink 和Polyspace 產品支持:

·        DO-330 軟件工具鑒定注意事項

·        DO-331 基于模型的開發(fā)和驗證

·        DO-332 面向對象技術和相關技術

·        DO-333 形式化方法

    DO Qualification Kit 為需要符合航空標準的項目提供了相關文檔,、測試用例以及程序來幫助鑒定支持的Simulink 和Polyspace 軟件驗證工具,。該工具包還包括工具鑒定計劃、工具使用要求和鑒定軟件驗證工具所需的其他材料(標準2 和3),。

    DO-178 流程部署咨詢服務建立在MathWorks 現有的DO-178能力基礎之上,,是DO Qualification Kit 工具包的有力補充。該咨詢服務在2012 年中引入,,可為航空工程師提供DO-178 標準指導,,找出他們當前流程中的缺陷,使用基于模型的設計提供進一步優(yōu)化的DO-178 流程框架的路線圖,,并為該路線圖的部署提供幫助,。

    歡迎訪問以下地址參加免費的在線研討會,了解DO Qualification Kit 如何支持完整的軟件開發(fā)和驗證生命周期:使用Tool Qualification Kit 為DO-178 進行基于模型的設計,。

上市時間

    DO Qualification Kit R2012b 即將上市,。有關更多信息,請訪問產品網站 mathworks.cn/products/do-178/,。

關于MathWorks

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

本站內容除特別聲明的原創(chuàng)文章之外,轉載內容只為傳遞更多信息,,并不代表本網站贊同其觀點,。轉載的所有的文章、圖片,、音/視頻文件等資料的版權歸版權所有權人所有,。本站采用的非本站原創(chuàng)文章及圖片等內容無法一一聯系確認版權者。如涉及作品內容,、版權和其它問題,,請及時通過電子郵件或電話通知我們,以便迅速采取適當措施,,避免給雙方造成不必要的經濟損失。聯系電話:010-82306118,;郵箱:[email protected],。