• <strike id="aymay"></strike>
    <strike id="aymay"></strike>
    <ul id="aymay"><dfn id="aymay"></dfn></ul>
    <ul id="aymay"><sup id="aymay"></sup></ul>
  • <del id="aymay"></del>

    集成工具提高嵌入式系統的設計自動化程度

    2013-11-06 15:56 來源:互聯網 作者:洛小辰

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

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

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

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

    DO-331 基于模型的開發和驗證

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

    DO-333 形式化方法

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

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

    嵌入式 自動化

    相關閱讀

    暫無數據

    一周熱門

    主站蜘蛛池模板: 一本久久a久久精品亚洲| 成人国产精品999视频| 精品无码国产污污污免费网站| 亚洲精品无码久久久久| 亚洲精品线在线观看| 亚洲日韩国产精品第一页一区| 久久亚洲私人国产精品vA| 国产一区二区精品久久凹凸| 国产91大片精品一区在线观看| 国产小呦泬泬99精品| 99在线精品一区二区三区| 欧洲精品一区二区三区在线观看| 蜜国产精品jk白丝AV网站| 国产欧美精品一区二区色综合| 亚洲欧美日韩国产成人精品影院| 国产精品亚洲成在人线| 欧美成人精品网站播放| 99久久国产综合精品网成人影院| 欧美精品高清在线xxxx| 精品无码久久久久国产| 亚洲精品国精品久久99热| 91精品国产高清久久久久久io | 国产精品狼人久久久久影院| 精品爆乳一区二区三区无码av| 丁香色婷婷国产精品视频| 国产精品福利一区二区久久| 久久久久成人精品无码中文字幕| 日韩欧美精品不卡| 国产精品高清一区二区三区不卡 | 亚洲精品无码专区2| 国产午夜精品理论片| 久久99精品久久只有精品| 影院无码人妻精品一区二区| 久久乐国产精品亚洲综合| 国产精品欧美亚洲韩国日本久久| 四虎成人精品无码| 亚洲欧美日韩另类精品一区二区三区 | 欧美日韩在线亚洲国产精品| 久久久精品国产sm调教网站| 九九99精品久久久久久| 国产麻豆精品入口在线观看 |