在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

Axivion靜態代碼分析工具已通過認證服務

Vector維克多 ? 來源:Vector維克多 ? 作者:Vector維克多 ? 2021-08-18 14:55 ? 次閱讀

Axivion靜態代碼分析工具已通過SGS-TüV Saar的ISO 26262、IEC 61508以及IEC 62304的認證服務,具備了在汽車電子、健康醫療等領域內以安全為關鍵的軟件項目中的使用資質。

作為Vector官方合作伙伴的Axivion,是一家100%德資背景的科技企業,其總部同樣設立在德國斯圖加特市。Axivion孵化自德國斯圖加特大學的前沿項目,扎實專業的學術背景在過去15年多的時間里服務過全球數千用戶,以“德國制造”的標準致力于為靜態代碼分析和防止軟件侵蝕,提供創新和先進的解決方案。

2021年6月底,Axivion的靜態代碼分析工具Static Code Analysis(簡稱SCA,內嵌于工具集Axivion Suite中)通過了SGS-TüV Saar的認證服務,適用于依照安全標準ISO 26262(最高至ASIL D等級)、IEC 61508(最高至SIL 4)以及IEC 62304(最高至C等級)的開發。這使得從事于汽車電子、健康醫療以及具有嚴格功能安全要求的軟件開發/測試人員擁有了一款強大工具,確保軟件從項目伊始至迭代更新和最終交付階段都符合最高安全標準。該認證對SCA工具的7.1及后續版本有效。

SCA工具可實現對諸多編碼規則,如MISRA C:2012、MISRA C++:2008、CERT和AUTOSAR C++14等的自動檢查;且支持將其集成到客戶現有的開發和測試框架以及持續集成過程中,提高工具的復用性,實現“便捷集成以提高測試頻次、更多測試以確保更高質量”的目標。此外,Axivion可根據MISRA和AUTOSAR C++14規范提供相應的鑒定包服務,完全滿足認證強需求的項目和客戶。

責任編輯:haq

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 汽車電子
    +關注

    關注

    3029

    文章

    8027

    瀏覽量

    167834
  • 代碼
    +關注

    關注

    30

    文章

    4828

    瀏覽量

    69064
  • SGS
    SGS
    +關注

    關注

    0

    文章

    70

    瀏覽量

    9125

原文標題:Axivion靜態代碼分析工具通過SGS功能安全認證

文章出處:【微信號:VectorChina,微信公眾號:Vector維克多】歡迎添加關注!文章轉載請注明出處。

收藏 人收藏

    評論

    相關推薦

    英諾達發布全新靜態驗證產品,提升芯片設計效率

    了重要一步,將為中國芯片產業的發展注入新的活力。 靜態驗證作為一種業界普遍使用的驗證方法,通過對設計的源代碼進行深入分析,能夠發現設計中的潛在問題。與動態仿真驗證和形式化驗證相結合,
    的頭像 發表于 12-24 16:53 ?413次閱讀

    英諾達推出兩款全新靜態驗證EDA工具

    (2024年12月5日,四川成都)英諾達(成都)電子科技有限公司隆重推出兩款全新的靜態驗證EDA工具:EnAltiusCDC跨域檢查工具和Lint RTL代碼檢查
    的頭像 發表于 12-05 10:13 ?491次閱讀
    英諾達推出兩款全新<b class='flag-5'>靜態</b>驗證EDA<b class='flag-5'>工具</b>

    汽車異構硬件平臺開發如何進行靜態代碼分析

    先進的靜態代碼分析工具,其新版本中引入的多CCT功能為開發人員提供了強大的支持,該功能不僅簡化了多編譯器環境下的代碼
    的頭像 發表于 10-09 16:15 ?587次閱讀
    汽車異構硬件平臺開發如何進行<b class='flag-5'>靜態</b><b class='flag-5'>代碼</b><b class='flag-5'>分析</b>

    Perforce靜態分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改進和安全增強

    ?和Klocwork的最新版本對靜態分析工具進行了重大改進,通過盡早修復錯誤、降低開發成本和加快發布速度,使開發團隊實現左移。本文中,我們將概述2024.2版本的新特性和新功能。CI/
    的頭像 發表于 10-08 16:22 ?340次閱讀
    Perforce<b class='flag-5'>靜態</b><b class='flag-5'>分析</b><b class='flag-5'>工具</b>2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork<b class='flag-5'>分析</b>引擎改進和安全增強

    恒訊科技分析:如何測試海外靜態IP服務的穩定性和速度?

    測試海外靜態IP服務的穩定性和速度可以通過以下步驟進行: 1、選擇測試工具:使用網絡測試工具,如ping命令、traceroute(或 ra
    的頭像 發表于 08-14 14:58 ?411次閱讀

    代碼靜態測試工具Helix QAC 2024.2新發

    Helix QAC 2024.2 帶來了新的特性和功能,為開發過程增加了靈活的選項。用戶使用新的 CI 分析通過 Validate 獲得完整的 CI 集成支持,從而輕松管理 CI/CD 更改分析結果并加快測試反饋速度,并使用新的
    的頭像 發表于 08-05 17:40 ?401次閱讀
    <b class='flag-5'>代碼</b><b class='flag-5'>靜態</b>測試<b class='flag-5'>工具</b>Helix QAC 2024.2新發

    DevOps中的質量門工作原理,以及靜態代碼分析Klocwork和Perforce Helix QAC在質量門中的實踐應用

    如何使用靜態代碼分析工具(如Klocwork 和 Helix QAC)實現質量門。 什么是質量門? 質量門是在IT或開發項目中實施的檢查點,這些檢查點要求在進入下一個開發階段之前達到最
    的頭像 發表于 07-29 15:12 ?477次閱讀

    Protal wifidog的認證流程

    一. 用戶上線 1. 用戶訪問網絡,通過iptables將未認證的用戶dnat到wifidog進程,wifidog通過307報文將用戶重定向到認證
    發表于 07-24 08:10

    單元測試、集成測試自動化工具

    HookCode?直接使用目標機代碼進行單元測試 聯合靜態解析工具[CasePlayer2],提供C0(語句),C1(判定),MC/DC覆蓋率報告,優化測試用例制作 取得第三方
    的頭像 發表于 06-26 13:41 ?508次閱讀
    單元測試、集成測試自動化<b class='flag-5'>工具</b>

    IAR通過多架構認證靜態分析工具加速代碼質量自動化

    公司推出經TüV SüD認證的C-STAT靜態分析工具,適用于最新發布的IAR Embedded Workbench for RISC-V V3.30.2功能安全版。
    的頭像 發表于 06-19 15:49 ?425次閱讀

    黑芝麻智能代碼生成工具榮獲DEKRA德凱ISO 26262:2018 ASIL D功能安全認證

    DEKRA德凱近日在成都隆重授予黑芝麻智能代碼生成工具ISO 26262:2018 ASIL D功能安全產品認證證書。
    的頭像 發表于 05-30 14:17 ?422次閱讀
    黑芝麻智能<b class='flag-5'>代碼</b>生成<b class='flag-5'>工具</b>榮獲DEKRA德凱ISO 26262:2018 ASIL D功能安全<b class='flag-5'>認證</b>

    黑芝麻智能代碼生成工具喜獲DEKRA德凱ASIL D功能安全產品認證

    黑芝麻智能瀚海自動駕駛中間件中的代碼生成工具榮獲ASIL D功能安全產品認證
    的頭像 發表于 05-29 15:07 ?474次閱讀
    黑芝麻智能<b class='flag-5'>代碼</b>生成<b class='flag-5'>工具</b>喜獲DEKRA德凱ASIL D功能安全產品<b class='flag-5'>認證</b>

    中微半導自主研發的車規級高品質32位MCU,通過AEC-Q100認證

    隨著汽車智能化的飛速發展,高性能、高功能安全和高數據安全的車規芯片是廠商需求的重中之重,BAT32A239/BAT32A279是中微半導體(深圳)股份有限公司(以下簡稱:中微半導 股票代碼:688380)自主研發的車規級高品質32位MCU,
    的頭像 發表于 04-17 18:05 ?1677次閱讀
    中微半導自主研發的車規級高品質32位MCU,<b class='flag-5'>已</b><b class='flag-5'>通過</b>AEC-Q100<b class='flag-5'>認證</b>

    芯海科技CS32G020通過140W高功率EPR PD3.1認證

    近日,芯海科技(股票代碼:688595)旗下PD產品CS32G020通過USB-IF官方的PDEPR(ExtendedPowerRange)測試認證。作為一款國內少數在充電和放電兩方面獲得PD3.1
    的頭像 發表于 04-12 08:15 ?519次閱讀
    芯海科技CS32G020<b class='flag-5'>通過</b>140W高功率EPR PD3.1<b class='flag-5'>認證</b>

    芯原低功耗藍牙整體IP解決方案通過LE Audio全部功能認證

    芯原股份(芯原,股票代碼:688521.SH)今日宣布其低功耗藍牙整體IP解決方案全面支持藍牙技術聯盟(Bluetooth SIG)發布的LE Audio規范,其中包括通過了LE Audio協議棧
    的頭像 發表于 03-28 10:29 ?445次閱讀
    主站蜘蛛池模板: 国产亚洲一区二区三区在线 | 色四虎 | 天天摸天天做天天爽 | 韩国三级无遮挡床戏视频 | 好爽毛片一区二区三区四 | 国产美女视频黄a视频免费全过程 | 一区二区中文字幕 | 日韩高清性爽一级毛片免费 | 亚洲香蕉毛片久久网站老妇人 | 久久99热久久精品23 | 午夜神马嘿嘿 | 久久伊人男人的天堂网站 | 韩国三级床戏合集 | 特黄一级 | 一区二区三区四区精品 | 豆国产97在线 | 欧洲 | 男女做视频网站免费观看 | 色屁屁www影院免费观看视频 | 国产三级精品三级在线观看 | 精品噜噜噜噜久久久久久久久 | 最近2018中文字幕2019视频 | 国产高清亚洲 | 91久久福利国产成人精品 | 久青草国产手机在线观 | 欧美刺激午夜性久久久久久久 | 黄色日本网站 | 国产又黄又爽又猛的免费视频播放 | 三级在线网站 | 国产精品久久免费观看 | 1024你懂的国产精品 | 国产综合视频在线观看 | 欧美精品黑人性xxxx | 午夜毛片在线观看 | 国产伦精品一区二区三区高清 | 国产福利影视 | 把小嫩嫩曰出白浆 | 亚洲精品欧洲久久婷婷99 | 天天草视频 | 一区二区三区四区免费视频 | 在线免费视频网站 | 日本xxwwwxxxx网站 |