<dfn id="yhprb"><s id="yhprb"></s></dfn><dfn id="yhprb"><delect id="yhprb"></delect></dfn><dfn id="yhprb"></dfn><dfn id="yhprb"><delect id="yhprb"></delect></dfn><dfn id="yhprb"></dfn><dfn id="yhprb"><s id="yhprb"><strike id="yhprb"></strike></s></dfn><small id="yhprb"></small><dfn id="yhprb"></dfn><small id="yhprb"><delect id="yhprb"></delect></small><small id="yhprb"></small><small id="yhprb"></small> <delect id="yhprb"><strike id="yhprb"></strike></delect><dfn id="yhprb"></dfn><dfn id="yhprb"></dfn><s id="yhprb"><noframes id="yhprb"><small id="yhprb"><dfn id="yhprb"></dfn></small><dfn id="yhprb"><delect id="yhprb"></delect></dfn><small id="yhprb"></small><dfn id="yhprb"><delect id="yhprb"></delect></dfn><dfn id="yhprb"><s id="yhprb"></s></dfn> <small id="yhprb"></small><delect id="yhprb"><strike id="yhprb"></strike></delect><dfn id="yhprb"><s id="yhprb"></s></dfn><dfn id="yhprb"></dfn><dfn id="yhprb"><s id="yhprb"></s></dfn><dfn id="yhprb"><s id="yhprb"><strike id="yhprb"></strike></s></dfn><dfn id="yhprb"><s id="yhprb"></s></dfn>
首頁(yè)  資訊  商機   下載  拆解   高校  招聘   雜志  會(huì )展  EETV  百科   問(wèn)答  電路圖  工程師手冊   Datasheet  100例   活動(dòng)中心  E周刊閱讀   樣片申請
EEPW首頁(yè) >> 主題列表 >> polyspace

Polyspace靜態(tài)程序代碼分析 高效遵循多重規范

  • 當軟件質(zhì)量目標明確規定了分析指針、編程指南,以及運行時(shí)錯誤的接受標準和閾值,車(chē)用軟件系統透過(guò)這些標準會(huì )自動(dòng)進(jìn)行評估,軟件變更時(shí)執行,就成為軟件開(kāi)發(fā)流程中完整的一部分。如何降低程序代碼質(zhì)量評估的主觀(guān)性,并改善軟件開(kāi)發(fā)周期的整體開(kāi)發(fā)效率,就成為當中要點(diǎn)。車(chē)用軟件系統在現今車(chē)輛的安全性、可靠性及效率扮演著(zhù)愈來(lái)愈重要的角色。因此,工程團隊專(zhuān)注于提供先進(jìn)駕駛輔助系統(advanced driver assistance systems;ADAS)、電池管理系統、穩定控制及其他類(lèi)似的創(chuàng )新功能。通常,他們也需要透過(guò)證明
  • 關(guān)鍵字: Polyspace  靜態(tài)程序代碼分析  車(chē)用軟件  

MathWorks在MATLAB和Simulink發(fā)行版2023b中推出Simulink Fault Analyzer和Polyspace Test

  • 全球領(lǐng)先的數學(xué)計算軟件開(kāi)發(fā)商MathWorks近日宣布,推出MATLAB?和Simulink?產(chǎn)品系列版本 2023b(R2023b)。R2023b 推出了兩款新產(chǎn)品和幾項重要更新,它們可為工程師和研究人員提供簡(jiǎn)化工作流的新功能。Simulink Fault Analyzer?支持使用仿真進(jìn)行系統性故障影響和安全分析。此新產(chǎn)品能夠在不修改工程設計的情況下執行故障注入仿真。工程師利用仿真通過(guò)特定的系統條件來(lái)確定故障時(shí)間或觸發(fā)故障并執行安全分析,如失效模式和影響分析(FMEA)。與 Requirements
  • 關(guān)鍵字: MathWorks  MATLAB  Simulink  Simulink Fault Analyzer  Polyspace Test  

MathWorks 引入兩款 Polyspace 代碼驗證新產(chǎn)品

  • MathWorks 近日宣布引入兩款新的代碼驗證工具以擴充其 Polyspace 產(chǎn)品系列:Polyspace Code Prover 和 Polyspace Bug Finder。此外,公司還于同時(shí)宣布推出 2013b 版。新增的這兩款產(chǎn)品提供了端到端軟件驗證功能,供早期開(kāi)發(fā)階段使用,其中涵蓋了查找缺陷、檢查代碼規則以及證明不存在運行時(shí)錯誤。
  • 關(guān)鍵字: MathWorks  Polyspace  
共3條 1/1 1

polyspace介紹

您好,目前還沒(méi)有人創(chuàng )建詞條polyspace!
歡迎您創(chuàng )建該詞條,闡述對polyspace的理解,并與今后在此搜索polyspace的朋友們分享。    創(chuàng )建詞條

熱門(mén)主題

樹(shù)莓派    linux   
關(guān)于我們 - 廣告服務(wù) - 企業(yè)會(huì )員服務(wù) - 網(wǎng)站地圖 - 聯(lián)系我們 - 征稿 - 友情鏈接 - 手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權所有 北京東曉國際技術(shù)信息咨詢(xún)有限公司
備案 京ICP備12027778號-2 北京市公安局備案:1101082052    京公網(wǎng)安備11010802012473
国产精品自在自线亚洲|国产精品无圣光一区二区|国产日产欧洲无码视频|久久久一本精品99久久K精品66|欧美人与动牲交片免费播放
<dfn id="yhprb"><s id="yhprb"></s></dfn><dfn id="yhprb"><delect id="yhprb"></delect></dfn><dfn id="yhprb"></dfn><dfn id="yhprb"><delect id="yhprb"></delect></dfn><dfn id="yhprb"></dfn><dfn id="yhprb"><s id="yhprb"><strike id="yhprb"></strike></s></dfn><small id="yhprb"></small><dfn id="yhprb"></dfn><small id="yhprb"><delect id="yhprb"></delect></small><small id="yhprb"></small><small id="yhprb"></small> <delect id="yhprb"><strike id="yhprb"></strike></delect><dfn id="yhprb"></dfn><dfn id="yhprb"></dfn><s id="yhprb"><noframes id="yhprb"><small id="yhprb"><dfn id="yhprb"></dfn></small><dfn id="yhprb"><delect id="yhprb"></delect></dfn><small id="yhprb"></small><dfn id="yhprb"><delect id="yhprb"></delect></dfn><dfn id="yhprb"><s id="yhprb"></s></dfn> <small id="yhprb"></small><delect id="yhprb"><strike id="yhprb"></strike></delect><dfn id="yhprb"><s id="yhprb"></s></dfn><dfn id="yhprb"></dfn><dfn id="yhprb"><s id="yhprb"></s></dfn><dfn id="yhprb"><s id="yhprb"><strike id="yhprb"></strike></s></dfn><dfn id="yhprb"><s id="yhprb"></s></dfn>