汽車行業標準 ISO 26262案例研究

Innoviz Technologies爲自動駕駛汽車設計並生產了3款產品:InnovizOne、InnovizTwo 和感知軟件。InnovizOne 是第一個推向市場的,它是一種基於 LiDAR 的傳感器,與Perception Software結合使用時,可提供高角度分辨率和精確的物體檢測。與其餘產品一塊兒,它們構成了汽車級軟件包和硬件包的一部分,具備無與倫比的靈活性,可用於自動駕駛之外的應用,例如工業自動化、商業和消費產品。爲了適用於安全關鍵應用,InnovizOne 被納入 ISO 26262 的安全完整性級別 ASIL B。編程

該軟件在 C 和 C++ 中實現,使用 ARM® DS-5 Ultimate Edition IDE (v.5.29.1) 中的 ARM® 編譯器 (6.6.2) 編譯。該軟件部署在兩個芯片組上,即運行 ThreadX® RTOS (v5) 的 ARM® v8 (Cortex-A) 和 ARM® v7(Cortex-R 和 Cortex-M)。安全

自動駕駛汽車上的 LiDAR 傳感器 app

工具鏈集成是關鍵函數

該團隊正在尋找靈活的解決方案,既能夠測試自動化又能產生適用於ISO 26262認證的報告。因爲 Cantata 爲單元和集成測試提供了高度自動化的生成、執行和分析,這些測試既能夠在GUI中編輯也能夠做爲C/C++代碼直接編輯,並在目標上運行,所以它是一個顯而易見的候選工具。工具

然而,對 Innoviz Technologies 來講是最重要的,是與其複雜工具鏈的高度集成。選擇的測試工具必須集成他們的 ALM 工具 (Intland codeBeamer®)、靜態分析工具 (Helix QA-C®)、持續集成工具 (Jenkins) 和他們的 IDE (Arm Development Studio®)。性能

爲何選擇Cantata單元測試

Innoviz Technologies在評估了四種商業工具後選擇了 Cantata。下面是LiDAR 軟件總監 Nir Erez 肯定選擇 Cantata的主要緣由。「首先,咱們從 QA Systems 那裏得到了很是好的工具演示。Cantata 沒有遺漏任何要求」。在知足工具需求以外,Cantata的攔截和模擬函數調用的能力被視爲一個明顯的技術優點。「封裝(Wrapping)也是 Cantata 另外一個有趣的功能,其餘工具沒有相同的功能」。最後,讓他們消除疑慮的是, Nir 補充說「由於咱們獲得了合做夥伴 Magna Electronics 的批准,他們正在另外一個汽車項目中使用Cantata,而且與 Cantata 相比,其餘工具所需的投資更高」。測試

關於公司網站

 

 Innoviz Technologies 是高性能固態 LiDAR 傳感器和感知軟件的領先供應商,其產品普遍應用於航空航天、國防、汽車和工業自動化行業。spa

該公司總部位於以色列,由以色列國防技術部門的前成員於2016年1月創立,他們在光電、計算機視覺、MEMS設計和信號處理等領域享有盛譽。

 

從Cantata開始

Innoviz Technologies 最初面臨的一個主要挑戰是爲其目標環境部署Cantata,他們選擇在 QA Systems的支持下自行完成。根據嵌入式軟件團隊負責人 Alan Winkovski 的說法,他們「不得很少次尋求QA Systems的支持,但如今咱們已掌握了本身完成的知識,因此是值得的」。爲了知足用戶自行將 Cantata 部署到目標平臺這一日益增加的需求,QA Systems 創建了一個專門的部署培訓課程。

Innoviz Technologies 的開發人員面臨着一個很是廣泛的工具採用挑戰。正如 Alan 所說,「咱們花了一些時間來理解如何最好地使用打樁和封裝函數,但 QA Systems 幫助文檔很是有用而且包含了全部內容」。此外,他們使用內置的 Cantata 教程來快速探索工具 GUI 及其功能。Innoviz Technologies 安排了一場在線 Cantata 培訓課程,進一步加快了工具的成功推出。Alan 回憶說,「培訓課程解決了咱們遇到的不少問題,人們在培訓結束後對如何在 ARM Development Studio GUI 中使用 Cantata 有了很好的瞭解」。當被問及他們如何將教程與培訓課程進行排序時,Alan 說「培訓課程很是有幫助,咱們等待培訓以便咱們的工程師能夠先使用 Cantata。過後看來,咱們應該早點接受培訓」。

關於他們與 QA Systems 技術支持合做的經驗,Alan 補充說:「他們及時回答了問題,咱們遇到的問題很快獲得瞭解決。他們投入了大量時間來幫助咱們」。

最有用的功能

Innoviz Technologies 發現」Cantata 中的封裝和自定義代碼插入功能是工具的一個主要優點,它實現了對保護性編程中通常狀況下難以觸及的代碼段的徹底覆蓋」。在函數調用邊界使用封裝(Wrapping)的方法將錯誤注入到應用程序中,以及靈活地在代碼中任何語句以前或以後使用自定義插入,使他們能夠執行錯誤處理條件。

Cantata 的打樁主要用於隔離單元測試,樁函數的默認實例提供了對函數返回參數的修改和對可訪問的數據的檢查。與 Jenkins 的集成使 Innoviz Technologies 可以經過 Cantata Makefiles 自動進行迴歸測試,以確保測試從新運行時不會出錯。

結論和將來計劃

回顧他們的決定,Nir Erez 得到了積極的投資回報,報告說「咱們瞭解像 Cantata 這類工具的好處,它將幫助咱們改進咱們的方法論」。隨着 Cantata 在 InnovizOne 和 InnovizTwo 項目上的成功,該團隊計劃將其使用擴展到更多變體和感知軟件。此外,他們期待用Cantata Trace 與他們的需求工具 Intland codeBeamer 作集成,來提升他們基於需求測試的生產力。總而言之,Nir Erez 解釋說,他們計劃「專一於使用Cantata提升集成測試的效率並簡化咱們的方法論來提升生產力」。

認證

Cantata 已被認證爲可用於安全相關軟件的開發,最高可達 ISO 26262 標準定義的 ASIL D。可達到 TCL1。

 

 

有關工具認證的信息,請訪問:http://qa-systems.cn/

有關汽車行業的更多信息:咱們的汽車行業簡介提供了關於 Cantata 如何在全球各項目中被相關客戶成功使用的更多信息。全部行業簡報均可以在http://qa-systems.cn/網站上找到。

相關文章
相關標籤/搜索