旋極信息將于7月在上海參展第五屆汽車ISO 26262應用與發展技術峰會

“Safety”一直是汽車的首要目標,近年來隨著新能源汽車的發展以及智能聯網的應用,汽車的整車架構也隨之發生了改變。越來越多電子器件的加入,使得控制算法和軟件邏輯變得更加復雜,汽車電子電氣系統失效的風險也在逐漸增加。因此,保證駕駛員安全就變得更為關鍵。
隨著第二版功能安全標準的更新,越來越多的整車及相關零部件領域開始關注功能安全的發展。此次峰會就將圍繞“功能安全國內外標準,管理體系架構,軟硬件開發和驗證,網絡信息安全、自動駕駛”等熱點話題,從不同維度的技術問題出發,對功能安全體系的未來發展展開深度探討。
旋極信息專注于嵌入式系統開發測試領域20多年,為用戶提供支持ISO 26262/MISRA/AUTOSAR等標準的解決方案,在性能、編程標準、代碼質量、半實物仿真、可編程邏輯可靠性等關鍵技術方面,憑借長期的技術經驗積累以及對國際前沿技術的跟蹤優勢,為企業用戶提供高效而全面的技術支持和服務保障。本屆峰會受邀,我們將展出業內領先的符合標準的測試產品,供與會人士互動交流。
展會信息
時間:2021年7月8-9日
地點:中國·上海
規模:600+
展會主題
-
功能安全標準(國內外)
-
智能駕駛與SOTIF
-
智能駕駛風險評估
-
SOTIF與信息安全融合
-
功能安全與信息安全融合
-
功能安全測試驗證
-
域控制器的安全
-
商用車的功能安全應用與需求
部分展品
Cantata

Cantata是圍繞C/C++語言的特點而設計的,能夠滿足開發者進行高效的單元和集成測試的需求。具有一整套包含單元和集成測試、獨特的AutoTest測試、覆蓋率分析、代碼度量分析、測試需求追蹤、代碼變更分析、測試驅動開發、客戶化代碼注入、命令行和目標環境部署向導等功能。
國際軟件安全標準要求提供低級別(單元和集成)測試的證據,以獲得設備軟件的認證。大多數標準要求所使用的測試工具必須經過認證/合格或通過使用得到證明。Cantata已經獲得了SGS-TUV SAAR GmbH的獨立認證。特定標準的Cantata工具認證包是免費提供的,包含所有需要的開箱即用的東西,幫助您獲得設備軟件認證的全面指導。當工具必須針對每個項目(比如DO-178B/C)單獨進行合格審定的時候,針對標準的工具認證是不被接受的,此時我們也提供Cantata的工具合格審定。

Helix QAC

Helix QAC是靜態代碼分析工具,依據C和C++編碼規則自動掃描代碼對規則的違背。開發團隊在開發過程的早期就可以用它來檢測缺陷,因為此時修改代碼是最方便也最經濟的。Helix QAC因此自動化強制實施代碼編程標準,比如MISRA,保證代碼的合規性。
● MISRA C:2012覆蓋率100%,MISRA C++:2008覆蓋率98%
● 深度數據流分析和跨模塊分析,檢查更多缺陷
● 診斷的基線功能實現遺留代碼的管理
● 診斷的抑制功能實現標準的偏離過程
● 協同代碼檢查,與利益相關方共享軟件質量
● 診斷和度量的趨勢分析
● 多種實施方式:桌面部署、中央部署、命令行
● 集成開發環境、版本控制系統、CI/CD環境
● 支持的編程標準:MISRA C 2004、MISRA C 2012、MISRA C 2012 AMD 1、MISRA C 2012 AMD 2、MISRA C++ 2008、AUTOSAR C++ 14、JSF AV C++、CERT、CWE、CWE Top 25、ISO/IEC TS 17961(C Secure)
● 支持的功能安全標準:ISO 26262、IEC 61508、EN 50128、IEC 60880和IEC 62304

Klockwork

Klocwork分析C、C++、C#和Java編程語言,識別軟件的安全、質量和可靠性問題,適用于企業DevOps和DevSecOps,可擴展到任何規模的項目,集成大型復雜的環境、廣泛的開發工具、提供控制、協作與報告。
● 發現安全漏洞
● 適合開發人員使用,與開發工具無縫集成
● 易于使用,提供大量編譯器的開箱支持,無需用戶配置
● 圖形化的自定義檢查器
● 差異分析,僅分析已更改的文件,縮短分析時間
● 易于自動化,提供命令行接口,REST API訪問缺陷數據
● 以在容器化和云端構建系統中運行
● 儀表盤集中存儲整個組織中代碼庫的分析數據
● 支持的編程標準:MISRA C 2004、MISRA C 2012、MISRA C 2012 AMD 1、MISRA C++ 2008、AUTOSAR C++ 14、JSF AV C++、TS 17961 (ISO/IEC)、CERT、CWE、CWE Top 25、OWASP、DISA STIG、PCI DSS
● 支持的功能安全標準:ISO 26262、IEC 61508、EN 50128和IEC 62304

CodeSonar

CodeSonar靜態應用程序安全測試(SAST)是一種經過檢驗的最佳實踐,可幫助軟件團隊在最短的時間內交付最佳代碼。它在這個領域已經領先了15年,為軟件質量和軟件安全至關重要的企業提供多語言SAST工具。
CodeSonar已通過IEC 61508、ISO 26262和EN50128標準的最高安全等級資格審定。也提供用于DO-178C/DO-330合格審定的工件。
支持的標準和框架:
● C/C++:MISRA C、MISRA C++、AUTOSAR C++ 14、CERT、DISA STIG、OWASP、CWE 和許多其他標準。
● Java:Apache-CXF、AspectJ、EJB、FindBugs、JAX-RS、JAX-WS、JPA、JSF、Jersey、RESTeasy、RESTlet、Servlet、Spring、Android。
● C#:Unity、WebForms、WindowsForms、MVC

更多信息請訪問:http://www.softtest.cn/
浙公網安備 33010602011771號