• <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>

    集成工具提高嵌入式系統(tǒng)的設(shè)計(jì)自動(dòng)化程度

    2013-11-06 15:56 來(lái)源:互聯(lián)網(wǎng) 作者:洛小辰

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

    美國(guó)聯(lián)邦航空局 (FAA) 指定的負(fù)責(zé)其軟件 A 級(jí)審定的工程代表 Steve Morton 說(shuō):“使用DO-178C 和 DO-331,飛機(jī)制造商和供應(yīng)商們可以收獲基于模型的設(shè)計(jì)所帶來(lái)的生產(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)證和針對(duì)自動(dòng)生成的代碼的結(jié)構(gòu)覆蓋率分析。”

    在 R2012b 中,DO Qualification Kit 還為以下 DO-178C 補(bǔ)充標(biāo)準(zhǔn)提供 Simulink 和 Polyspace 產(chǎn)品支持:

    DO-330 軟件工具鑒定注意事項(xiàng)

    DO-331 基于模型的開(kāi)發(fā)和驗(yàn)證

    DO-332 面向?qū)ο蠹夹g(shù)和相關(guān)技術(shù)

    DO-333 形式化方法

    DO Qualification Kit 為需要符合航空標(biāo)準(zhǔn)的項(xiàng)目提供了相關(guān)文檔、測(cè)試用例以及程序來(lái)幫助鑒定支持的 Simulink 和 Polyspace 軟件驗(yàn)證工具。該工具包還包括工具鑒定計(jì)劃、工具使用要求和鑒定軟件驗(yàn)證工具所需的其他材料(標(biāo)準(zhǔn) 2 和 3)。

    DO-178 流程部署咨詢服務(wù)建立在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 流程框架的路線圖,并為該路線圖的部署提供幫助。

    嵌入式 自動(dòng)化

    相關(guān)閱讀

    暫無(wú)數(shù)據(jù)

    一周熱門(mén)

    主站蜘蛛池模板: 亚洲精品无码高潮喷水在线| 久久精品国产亚洲AV大全| 亚洲国产另类久久久精品| 亚洲精品一二区| 久久精品人人做人人爽97| 久久精品国产亚洲一区二区三区| 久久se精品一区精品二区| 麻豆成人久久精品二区三区免费| 久久青青草原精品国产不卡| 91精品视频在线| 国产精品一二三区| 国产欧美日韩精品丝袜高跟鞋 | 日韩在线精品一二三区| 亚洲精品无码不卡| 精品国产自在在线在线观看| 久久久久久亚洲Av无码精品专口| 午夜精品久久久久久久无码| 国产精品亚洲高清一区二区| 91精品国产高清久久久久久国产嫩草| 国产91精品一区二区麻豆网站| 亚洲级αV无码毛片久久精品| 欧美日韩国产精品| 精品国产免费人成网站| 国产午夜精品理论片| 99精品福利国产在线| 欧美一区二区精品久久| 国内精品久久久久| 97精品国产手机| 国产精品多人p群无码| 久久精品aⅴ无码中文字字幕重口| 亚洲动漫精品无码av天堂| 亚洲国产精品无码久久| 亚洲国产精品无码久久98| 四虎成人精品无码| 在线观看亚洲精品国产| 久久精品国产精品亚洲下载| 亚洲天堂久久精品| 久久久久四虎国产精品| 日韩精品免费视频| 国产精品免费久久久久电影网| 99久久99久久精品国产片果冻|