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
+關注
關注
0文章
70瀏覽量
9125
原文標題:Axivion靜態代碼分析工具通過SGS功能安全認證
文章出處:【微信號:VectorChina,微信公眾號:Vector維克多】歡迎添加關注!文章轉載請注明出處。
發布評論請先 登錄
相關推薦
英諾達發布全新靜態驗證產品,提升芯片設計效率
英諾達推出兩款全新靜態驗證EDA工具
![英諾達推出兩款全新<b class='flag-5'>靜態</b>驗證EDA<b class='flag-5'>工具</b>](https://file1.elecfans.com/web3/M00/01/23/wKgZO2dRDNiAQ5UdAAAMvXjC8T4834.jpg)
Perforce靜態分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改進和安全增強
![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>引擎改進和安全增強](https://file1.elecfans.com/web2/M00/E7/A3/wKgZomZMQFaABPseAAAwD5kHnx4413.png)
恒訊科技分析:如何測試海外靜態IP服務的穩定性和速度?
代碼靜態測試工具Helix QAC 2024.2新發
![<b class='flag-5'>代碼</b><b class='flag-5'>靜態</b>測試<b class='flag-5'>工具</b>Helix QAC 2024.2新發](https://file1.elecfans.com/web2/M00/00/A3/wKgZomawnhSABg9GAAAjY11CTH4838.png)
DevOps中的質量門工作原理,以及靜態代碼分析Klocwork和Perforce Helix QAC在質量門中的實踐應用
Protal wifidog的認證流程
單元測試、集成測試自動化工具
![單元測試、集成測試自動化<b class='flag-5'>工具</b>](https://file.elecfans.com/web2/M00/4C/27/pYYBAGKsVoyAHixAAAAVJJlbLxE861.jpg)
IAR通過多架構認證的靜態分析工具加速代碼質量自動化
黑芝麻智能代碼生成工具榮獲DEKRA德凱ISO 26262:2018 ASIL D功能安全認證
![黑芝麻智能<b class='flag-5'>代碼</b>生成<b class='flag-5'>工具</b>榮獲DEKRA德凱ISO 26262:2018 ASIL D功能安全<b class='flag-5'>認證</b>](https://file1.elecfans.com/web2/M00/EB/49/wKgaomZYGlOAAcgQAAAWzayv2tA689.jpg)
中微半導自主研發的車規級高品質32位MCU,已通過AEC-Q100認證
![中微半導自主研發的車規級高品質32位MCU,<b class='flag-5'>已</b><b class='flag-5'>通過</b>AEC-Q100<b class='flag-5'>認證</b>](https://file1.elecfans.com/web2/M00/CC/31/wKgaomYfn3aARR66AAAeBchKPgs162.png)
芯海科技CS32G020通過140W高功率EPR PD3.1認證
![芯海科技CS32G020<b class='flag-5'>通過</b>140W高功率EPR PD3.1<b class='flag-5'>認證</b>](https://file.elecfans.com/web2/M00/36/6B/pYYBAGIy9O2AcuPtAAAjwZfmzn8505.png)
評論