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
-
汽車電子
+關注
關注
3045文章
8958瀏覽量
172812 -
代碼
+關注
關注
30文章
4968瀏覽量
73960 -
SGS
+關注
關注
0文章
149瀏覽量
9826
原文標題:Axivion靜態代碼分析工具通過SGS功能安全認證
文章出處:【微信號:VectorChina,微信公眾號:Vector維克多】歡迎添加關注!文章轉載請注明出處。
發布評論請先 登錄
OPC UA 服務端用戶認證的底層邏輯:哈希與加鹽應用詳解
分析嵌入式軟件代碼的漏洞-代碼注入
使用SAFERTOS與LDRA工具套件提升功能安全
什么是CVE?如何通過SAST/靜態分析工具Perforce QAC 和 Klocwork應對CVE?
新思科技旗下Ansys仿真和分析解決方案產品組合已通過臺積公司認證
Rightware Kanzi Micro通過英飛凌HMI工具認證計劃
DEKRA德凱韓國擴展KC認證服務范圍
汽車軟件團隊必看:基于靜態代碼分析工具Perforce QAC的ISO 26262合規實踐
Perforce QAC產品簡介:面向C/C++的靜態代碼分析工具(已通過SO 26262認證)
合作伙伴資訊 | Razorcat再次通過ISO 9001質量管理體系認證,龍智持續為您保障高質量測試工具與服務
華為乾崑智能車云服務通過CCRC IT產品信息安全認證
Perforce ALM產品簡介:一站式需求與測試管理平臺(已通過SO 26262認證)
Axivion靜態代碼分析工具已通過認證服務
評論