總部位于上海的斑馬網絡技術有限公司是由中國阿里巴巴集團和上汽集團共同成立的合資企業，致力于開發和支持名為Cyber OS和Drive OS的智能網聯汽車操作系統。Cyber OS專為智能座艙設計，而Drive OS則用于智能駕駛。這些操作系統促進了以人為本的功能，如增強現實（AR）導航、人機交互及互聯網連接，同時也支持車輛相關的功能，如發動機啟動、車輛診斷、照明及座椅調節等。鑒于許多基于人工智能（AI）的應用程序具有安全關鍵性，斑馬公司確保其用于開發斑馬平臺應用的工具鏈符合ISO 26262功能安全標準變得尤為重要。為了驗證所使用的GCC交叉編譯器，斑馬公司選擇了Solid Sands的SuperTest編譯器測試與驗證套件。

　　斑馬公司先進的AI解決方案旨在運行于地平線機器人公司的AArch64 64位ARM架構JOURNEYTM 5硬件平臺上，該平臺本身按照包括ISO 26262汽車安全完整性等級（ASIL）B在內的認證標準設計。斑馬公司利用開源GCC 9.3交叉編譯器將C/C++源代碼編譯為AArch64目標文件，并將其鏈接到AArch64可執行文件和庫中。每月運行一次SuperTest能立即識別出與最新GCC編譯器和庫版本相關的回歸問題，確保斑馬使用該編譯器的方式持續符合ISO 26262功能安全要求。

　　若SuperTest測試未通過，表明交叉編譯器可能存在潛在問題，斑馬公司將發布編碼約束，以便軟件開發團隊避免使用可能危及其軟件應用安全性的C語言結構。這一過程也使團隊對特定應用場景下的編譯器有了更深入的理解。

　　“運行SuperTest讓我們意識到，許多GCC-W警告開關會影響到語法是否能編譯到最后。它還促使我們在編程中標準化使用C/C++語法，使用標準的POSIX語法，避免使用定義不那么嚴格的GNU擴展。”

　　高級駕駛輔助系統、增強現實導航及自動駕駛對軟件延遲提出了極高要求，因此斑馬廣泛采用了編譯器優化。

　　令人欣慰的是，SuperTest的一大優勢在于其能針對廣泛的優化器實現源代碼的最大覆蓋率。

　　斑馬采用SuperTest執行了針對GCC 8.6的ISO 26262兼容性編譯器安全資格認證，這是其重大功能安全認證項目的一部分，旨在確保其軟件達到最高安全標準，從而提供下一代駕駛體驗。這一體驗融合了互聯網連接、人工智能和邊緣計算技術，優化并人性化駕駛過程，能自動學習并適應駕駛員的情緒和偏好，無縫提供基于情境和位置的服務。

更多精彩內容歡迎點擊==>>電子技術應用-AET<<