0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

IAR通過多架構(gòu)認(rèn)證的靜態(tài)分析工具加速代碼質(zhì)量自動(dòng)化

馬華1 ? 來源:馬華1 ? 作者:馬華1 ? 2024-06-19 15:49 ? 次閱讀

瑞典烏普薩拉,2024年6月18日—全球領(lǐng)先的嵌入式系統(tǒng)開發(fā)軟件解決方案供應(yīng)商IAR自豪地宣布,公司推出經(jīng)TüV SüD認(rèn)證的C-STAT靜態(tài)分析工具,適用于最新發(fā)布的IAR Embedded Workbench for RISC-V V3.30.2功能安全版。經(jīng)TüV SüD認(rèn)證的C-STAT靜態(tài)分析工具完全集成在IAR各種功能安全版本中,現(xiàn)在可用于ArmRISC-V和Renesas RL78架構(gòu)。

TüV SüD認(rèn)證保證了IAR C-STAT靜態(tài)分析工具符合嚴(yán)格的功能安全標(biāo)準(zhǔn),該認(rèn)證包括一份全面的安全指南和全新的IAR C-STAT靜態(tài)分析合規(guī)報(bào)告,詳細(xì)說明了所支持的標(biāo)準(zhǔn)和規(guī)則。

IAR首席技術(shù)官Anders Holmberg表示:“我們很高興發(fā)布適用于最新IAR Embedded Workbench for RISC-V功能安全版且經(jīng)TüV SüD認(rèn)證的C-STAT靜態(tài)分析工具。C-STAT支持Arm、RISC-V和Renesas RL78架構(gòu),可以加速多架構(gòu)項(xiàng)目的代碼質(zhì)量自動(dòng)化。TüV SüD認(rèn)證確保C-STAT符合嚴(yán)格的安全標(biāo)準(zhǔn),提供了關(guān)鍵的合規(guī)性和可靠性信息。通過將靜態(tài)分析集成到CI工作流程中,我們更新的功能安全版本可以無縫地增強(qiáng)各種項(xiàng)目和架構(gòu)的軟件質(zhì)量和安全性。”

更新后的IAR各種功能安全版本均集成了經(jīng)TüV SüD認(rèn)證的C-STAT靜態(tài)分析工具,可以通過靜態(tài)分析在開發(fā)過程的早期檢測潛在錯(cuò)誤和編碼標(biāo)準(zhǔn)違規(guī),從而提高軟件質(zhì)量和安全性,同時(shí)可確保合規(guī)性并節(jié)省寶貴的時(shí)間和資源。

最新的IAR Embedded Workbench for RISC-V功能安全版還增加了對新的RISC-V ISA擴(kuò)展的支持,包括Zc(代碼縮減)、Zk(加密)、Zfinx(整數(shù)寄存器中的浮點(diǎn)數(shù))和CMO(緩存管理操作)。它具有自動(dòng)壓縮匯編器、優(yōu)化的庫函數(shù)和增強(qiáng)的代碼生成能力,為開發(fā)人員提供了高效的軟件開發(fā)工具。

IAR支持包括持續(xù)集成(CI)和自動(dòng)化構(gòu)建在內(nèi)的現(xiàn)代開發(fā)實(shí)踐,適用于Linux(Ubuntu與Red Hat)和Windows等平臺,并且IAR工具鏈能夠無縫集成到現(xiàn)有環(huán)境中。

自動(dòng)化軟件質(zhì)量、功能安全和信息安全對于嵌入式軟件至關(guān)重要。像C-STAT靜態(tài)分析這樣經(jīng)過認(rèn)證的工具能夠幫助開發(fā)人員更快地交付更好的軟件,并且確保合規(guī)性和系統(tǒng)完整性。選擇經(jīng)過認(rèn)證的解決方案可以節(jié)省時(shí)間和成本,使開發(fā)人員能夠?qū)W⒂诖a和應(yīng)用功能。

關(guān)于IAR

IAR為嵌入式開發(fā)提供世界領(lǐng)先的軟件和服務(wù),幫助世界各地的公司創(chuàng)造滿足當(dāng)前需求和未來趨勢的創(chuàng)新產(chǎn)品。自1983年以來,IAR的嵌入式開發(fā)和嵌入式安全解決方案已在工業(yè)自動(dòng)化、物聯(lián)網(wǎng)、汽車和醫(yī)療等行業(yè)被用于100多萬個(gè)嵌入式應(yīng)用的開發(fā)中,保證了其質(zhì)量、安全性、可靠性和效率。IAR支持來自70多家半導(dǎo)體合作伙伴的15000款芯片。IAR總部位于瑞典,并在世界各地設(shè)有銷售分公司和支持辦事處。在中國,IAR設(shè)立了經(jīng)驗(yàn)豐富的應(yīng)用工程師支持團(tuán)隊(duì),向客戶提供快速、專業(yè)、本地化的技術(shù)支持服務(wù),持續(xù)為客戶創(chuàng)造最大價(jià)值。

審核編輯 黃宇

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報(bào)投訴
  • 嵌入式
    +關(guān)注

    關(guān)注

    5059

    文章

    18973

    瀏覽量

    302024
  • IAR
    IAR
    +關(guān)注

    關(guān)注

    5

    文章

    344

    瀏覽量

    36596
  • 靜態(tài)分析
    +關(guān)注

    關(guān)注

    1

    文章

    39

    瀏覽量

    3869
收藏 人收藏

    評論

    相關(guān)推薦

    自動(dòng)化 SPC:企業(yè)質(zhì)量與效率提升的關(guān)鍵 “利器”

    自動(dòng)化 SPC:以數(shù)據(jù)之力鑄就生產(chǎn)質(zhì)量的穩(wěn)固防線
    的頭像 發(fā)表于 11-06 10:32 ?79次閱讀

    代碼解析工具自動(dòng)化流程圖生成解決方案

    ? 摘要:CasePlayer2是一款強(qiáng)大的源代碼解析工具,專門設(shè)計(jì)用于分析ANSI C、C、C++以及匯編語言源代碼,并自動(dòng)化地生成流程圖
    的頭像 發(fā)表于 10-10 13:40 ?117次閱讀

    DevOps中的質(zhì)量門工作原理,以及靜態(tài)代碼分析Klocwork和Perforce Helix QAC在質(zhì)量門中的實(shí)踐應(yīng)用

    如何使用靜態(tài)代碼分析工具(如Klocwork 和 Helix QAC)實(shí)現(xiàn)質(zhì)量門。 什么是質(zhì)量
    的頭像 發(fā)表于 07-29 15:12 ?294次閱讀

    在Linux服務(wù)器上使用IAR Build Tools實(shí)現(xiàn)DevOps和CI/CD

    Linux服務(wù)器上使用IAR工具,IAR于2020年推出了可以在Linux服務(wù)器上運(yùn)行的IAR Build Tools。IAR Build
    的頭像 發(fā)表于 07-25 10:22 ?764次閱讀
    在Linux服務(wù)器上使用<b class='flag-5'>IAR</b> Build Tools實(shí)現(xiàn)DevOps和CI/CD

    機(jī)械自動(dòng)化和電氣自動(dòng)化區(qū)別是什么

    生產(chǎn)過程中的自動(dòng)化控制和管理。它主要涉及到機(jī)械設(shè)計(jì)、制造、裝配、檢測等環(huán)節(jié),通過自動(dòng)化設(shè)備替代人工操作,提高生產(chǎn)效率和產(chǎn)品質(zhì)量。 電氣自動(dòng)化
    的頭像 發(fā)表于 07-01 09:33 ?3498次閱讀

    單元測試、集成測試自動(dòng)化工具

    CoverageMaster winAMS :?適用于嵌入式目標(biāo)機(jī)代碼的單元測試/集成測試工具 全面支持嵌入式微機(jī)!驗(yàn)證嵌入式C/C++軟件 實(shí)施以模塊為單位的自動(dòng)化單元測試工具 不需
    的頭像 發(fā)表于 06-26 13:41 ?367次閱讀
    單元測試、集成測試<b class='flag-5'>自動(dòng)化工具</b>

    機(jī)械制造與自動(dòng)化自動(dòng)化類嗎

    自動(dòng)化設(shè)計(jì)、制造、檢測和控制。它具有以下特點(diǎn): 1.1 高度集成化:機(jī)械制造與自動(dòng)化將多個(gè)工藝流程和設(shè)備集成在一起,實(shí)現(xiàn)自動(dòng)化生產(chǎn),提高生產(chǎn)效率和產(chǎn)品質(zhì)量。 1.2 高度智能
    的頭像 發(fā)表于 06-11 11:18 ?1386次閱讀

    工業(yè)自動(dòng)化自動(dòng)化區(qū)別是什么

    工業(yè)自動(dòng)化自動(dòng)化是兩個(gè)密切相關(guān)但又有所區(qū)別的概念。在這篇文章中,我們將詳細(xì)探討它們之間的區(qū)別,以及它們在現(xiàn)代工業(yè)生產(chǎn)中的應(yīng)用。 一、自動(dòng)化的定義 自動(dòng)化是指
    的頭像 發(fā)表于 06-11 11:13 ?1468次閱讀

    工業(yè)自動(dòng)化包含哪些技術(shù)

    工業(yè)自動(dòng)化是現(xiàn)代制造業(yè)中不可或缺的一部分,它通過使用各種技術(shù)和設(shè)備來提高生產(chǎn)效率、降低成本、提高產(chǎn)品質(zhì)量和安全性。 一、工業(yè)自動(dòng)化概述 工業(yè)自動(dòng)化
    的頭像 發(fā)表于 06-11 11:11 ?791次閱讀

    軟件接口自動(dòng)化測試,使用軟件工具+工裝治具測試

    軟件接口自動(dòng)化測試結(jié)合軟件工具與工裝治具的應(yīng)用,極大地提升了測試的效率和質(zhì)量,是現(xiàn)代軟件開發(fā)不可或缺的一部分。通過精心選擇和應(yīng)用合適的工具
    的頭像 發(fā)表于 06-07 15:59 ?1245次閱讀

    工廠自動(dòng)化控制的典型實(shí)現(xiàn)方式

    架構(gòu)設(shè)計(jì) 傳感器與執(zhí)行器的應(yīng)用 控制器與控制策略 人機(jī)交互界面 數(shù)據(jù)采集與分析 通信與網(wǎng)絡(luò)技術(shù) 安全與可靠性 系統(tǒng)集成與優(yōu)化 系統(tǒng)架構(gòu)設(shè)計(jì) 工廠自動(dòng)化控制系統(tǒng)的
    的頭像 發(fā)表于 06-06 15:51 ?909次閱讀

    基于TAE的數(shù)字鑰匙自動(dòng)化測試解決方案

    通過自動(dòng)化測試執(zhí)行軟件TAE、總線監(jiān)控分析工具VBA和程控電源,的聯(lián)合調(diào)用,實(shí)現(xiàn)數(shù)字鑰匙 的功能測試、性能測試、診斷測試、可靠性測試等多項(xiàng)測試工作。
    的頭像 發(fā)表于 05-29 15:15 ?848次閱讀
    基于TAE的數(shù)字鑰匙<b class='flag-5'>自動(dòng)化</b>測試解決方案

    Klocwork—符合功能安全要求的自動(dòng)化靜態(tài)測試工具

    Klocwork是Perforce公司產(chǎn)品,主要用于C、C++、C#、Java、 python和Kotlin代碼自動(dòng)化靜態(tài)分析工作,可以提供編碼規(guī)則檢查、
    的頭像 發(fā)表于 01-16 16:26 ?606次閱讀
    Klocwork—符合功能安全要求的<b class='flag-5'>自動(dòng)化</b><b class='flag-5'>靜態(tài)</b>測試<b class='flag-5'>工具</b>

    Helix QAC—軟件靜態(tài)測試工具

    Helix QAC是Perforce公司(原PRQA公司)產(chǎn)品,主要用于C/C++代碼自動(dòng)化靜態(tài)分析工作,可以提供編碼規(guī)則以及信息安全相關(guān)檢查、
    的頭像 發(fā)表于 01-10 17:35 ?614次閱讀
    Helix QAC—軟件<b class='flag-5'>靜態(tài)</b>測試<b class='flag-5'>工具</b>

    LabVIEW與Tektronix示波器實(shí)現(xiàn)電源測試自動(dòng)化

    自動(dòng)化和數(shù)據(jù)處理的智能。通過LabVIEW編程環(huán)境連接Tektronix示波器,可以精確設(shè)置測試參數(shù),如電壓、電流波形等,確保每次測試的一致性和準(zhǔn)確性。自動(dòng)化系統(tǒng)對捕獲的數(shù)據(jù)進(jìn)行處
    發(fā)表于 12-09 20:37