應(yīng)用

技術(shù)

物聯(lián)網(wǎng)世界 >> 物聯(lián)網(wǎng)新聞 >> 物聯(lián)網(wǎng)熱點新聞
企業(yè)注冊個人注冊登錄

IAR推出新版IAR Embedded Workbench for Arm功能安全版,該版本配備經(jīng)過認(rèn)證的靜態(tài)代碼分析功能

2024-02-22 09:23 北京華興萬邦管理咨詢有限公司
關(guān)鍵詞:IAR汽車

導(dǎo)讀:IAR宣布:推出其旗艦產(chǎn)品IAR Embedded Workbench for Arm功能安全版的最新版本9.50.3

瑞典烏普薩拉,2024220– 全球領(lǐng)先的嵌入式系統(tǒng)開發(fā)軟件解決方案供應(yīng)商IAR宣布:推出其旗艦產(chǎn)品IAR Embedded Workbench for Arm功能安全版的最新版本9.50.3。此次發(fā)布進(jìn)一步加強(qiáng)了IAR支持開發(fā)人員創(chuàng)建安全、可靠和符合標(biāo)準(zhǔn)的嵌入式應(yīng)用程序的承諾,涵蓋了汽車、醫(yī)療設(shè)備、工業(yè)自動化和消費電子等多個行業(yè)。該版本中最重要的新功能是經(jīng)過認(rèn)證的C-STAT,這是專為安全關(guān)鍵應(yīng)用程序設(shè)計的靜態(tài)代碼分析工具。

IAR Embedded Workbench for Arm功能安全版v9.50.3符合C++17標(biāo)準(zhǔn),并新增了對Cortex-M55、Cortex-M85、Cortex-R52+、Cortex-R82、Cortex-A32等Arm內(nèi)核的支持,以確保符合IEC 61508、ISO 26262和IEC 62304等關(guān)鍵功能安全標(biāo)準(zhǔn)。新版本集成了強(qiáng)大的代碼分析工具,包括靜態(tài)分析工具IAR C-STAT和動態(tài)分析工具IAR C-RUN,以提升軟件可靠性,同時符合MISRA C、CERT C和CWE等編碼標(biāo)準(zhǔn)。

C-STAT功能安全版,可幫助開發(fā)人員進(jìn)行全面的靜態(tài)分析,對于確保代碼符合安全標(biāo)準(zhǔn)至關(guān)重要。它可以檢測各種潛在問題,包括代碼漏洞和與MISRA C、CERT C等編碼標(biāo)準(zhǔn)的偏差。這種積極主動的檢測對于避免在開發(fā)周期后期進(jìn)行昂貴且耗時的修復(fù)至關(guān)重要,從而增強(qiáng)了整體可靠性,并加速了產(chǎn)品上市時間。

ThreadX/Microsoft Azure RTOS前首席執(zhí)行官/聯(lián)合創(chuàng)始人,PX5 RTOS的創(chuàng)始人兼首席執(zhí)行官Bill Lamie強(qiáng)調(diào)了IAR最新功能安全版本中C-STAT工具的關(guān)鍵作用:IAR C-STAT在確保符合安全標(biāo)準(zhǔn)方面發(fā)揮著至關(guān)重要的作用,我們依靠C-STAT進(jìn)行了PX5 RTOS代碼庫審查。這是一個極其有價值的工具,就像是采用了人工智能來快速審查你的代碼一樣。IAR的認(rèn)證工具鏈與我們的高級實時操作系統(tǒng)之間的協(xié)同作用,為開發(fā)人員提供了無與倫比的價值。我無法想象如何在沒有它的情況下構(gòu)建產(chǎn)品!

IAR解決方案支持現(xiàn)代開發(fā)流程,包括持續(xù)集成(CI)和自動化構(gòu)建,以滿足當(dāng)今快節(jié)奏的開發(fā)周期需求。同時,支持各種平臺的可擴(kuò)展構(gòu)建服務(wù)器拓?fù)浣Y(jié)構(gòu),如Linux(Ubuntu和Red Hat)和Windows,使工具鏈能夠與現(xiàn)有的開發(fā)環(huán)境無縫集成。

IAR首席技術(shù)官Anders Holmberg表示:我們最新發(fā)布的IAR Embedded Workbench for Arm功能安全版旨在通過將靜態(tài)代碼分析無縫集成到基于CI的工作流程中,為開發(fā)人員和團(tuán)隊提供額外的信心保障,以實現(xiàn)自動化和滿足功能安全標(biāo)準(zhǔn)。經(jīng)過認(rèn)證的功能安全版提供IAR C-STAT合規(guī)性報告,該報告提供了有關(guān)支持的標(biāo)準(zhǔn)和涵蓋的規(guī)則等寶貴信息,以幫助開發(fā)人員進(jìn)一步確保其應(yīng)用程序的合規(guī)性和可靠性。