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
-
汽車電子
+關注
關注
3035文章
8252瀏覽量
169492 -
代碼
+關注
關注
30文章
4887瀏覽量
70260 -
SGS
+關注
關注
0文章
90瀏覽量
9443
原文標題:Axivion靜態代碼分析工具通過SGS功能安全認證
文章出處:【微信號:VectorChina,微信公眾號:Vector維克多】歡迎添加關注!文章轉載請注明出處。
發布評論請先 登錄
Perforce ALM產品簡介:一站式需求與測試管理平臺(已通過SO 26262認證)

HarmonyOS5云服務技術分享--自有賬號對接AGC認證
HarmonyOS5云服務技術分享--認證文檔問題
HarmonyOS NEXT 原生應用/元服務-ArkTS代碼調試attach啟動調試
HarmonyOS NEXT 原生應用/元服務-性能分析基礎耗時分析Time分析
集成電路設計中靜態時序分析介紹
ADC的靜態指標有專用的分析工具嗎?
英諾達發布全新靜態驗證產品,提升芯片設計效率
Perforce靜態分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改進和安全增強

恒訊科技分析:如何測試海外靜態IP服務的穩定性和速度?
代碼靜態測試工具Helix QAC 2024.2新發

DevOps中的質量門工作原理,以及靜態代碼分析Klocwork和Perforce Helix QAC在質量門中的實踐應用
單元測試、集成測試自動化工具

評論