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

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

若SuperTest測(cè)試未通過，表明交叉編譯器可能存在潛在問題，斑馬公司將發(fā)布編碼約束，以便軟件開發(fā)團(tuán)隊(duì)避免使用可能危及其軟件應(yīng)用安全性的C語言結(jié)構(gòu)。這一過程也使團(tuán)隊(duì)對(duì)特定應(yīng)用場(chǎng)景下的編譯器有了更深入的理解。

“運(yùn)行SuperTest讓我們意識(shí)到，許多GCC-W警告開關(guān)會(huì)影響到語法是否能編譯到最后。它還促使我們?cè)诰幊讨袠?biāo)準(zhǔn)化使用C/C++語法，使用標(biāo)準(zhǔn)的POSIX語法，避免使用定義不那么嚴(yán)格的GNU擴(kuò)展?！?

高級(jí)駕駛輔助系統(tǒng)、增強(qiáng)現(xiàn)實(shí)導(dǎo)航及自動(dòng)駕駛對(duì)軟件延遲提出了極高要求，因此斑馬廣泛采用了編譯器優(yōu)化。令人欣慰的是，SuperTest的一大優(yōu)勢(shì)在于其能針對(duì)廣泛的優(yōu)化器實(shí)現(xiàn)源代碼的最大覆蓋率。

斑馬采用SuperTest執(zhí)行了針對(duì)GCC 8.6的ISO 26262兼容性編譯器安全資格認(rèn)證，這是其重大功能安全認(rèn)證項(xiàng)目的一部分，旨在確保其軟件達(dá)到最高安全標(biāo)準(zhǔn)，從而提供下一代駕駛體驗(yàn)。這一體驗(yàn)融合了互聯(lián)網(wǎng)連接、人工智能和邊緣計(jì)算技術(shù)，優(yōu)化并人性化駕駛過程，能自動(dòng)學(xué)習(xí)并適應(yīng)駕駛員的情緒和偏好，無縫提供基于情境和位置的服務(wù)。

www.solidsands.com

Solid Sands是北美、歐洲和亞洲領(lǐng)先的編譯器及庫測(cè)試與資格認(rèn)證技術(shù)供應(yīng)商。

Solid Sands成立于2014年，總部位于荷蘭阿姆斯特丹，通過全球合作伙伴網(wǎng)絡(luò)，服務(wù)于半導(dǎo)體、知識(shí)產(chǎn)權(quán)和安全行業(yè)的領(lǐng)先創(chuàng)新企業(yè)，以及汽車、機(jī)器人、鐵路和醫(yī)療等安全關(guān)鍵領(lǐng)域的企業(yè)。SuperTest編譯器測(cè)試與驗(yàn)證套件提供了完整的驗(yàn)證環(huán)境，使客戶能夠達(dá)到ISO語言和功能性安全標(biāo)準(zhǔn)所要求的軟件質(zhì)量水平。同時(shí)，SuperGuard庫安全資格認(rèn)證套件是一個(gè)基于需求的測(cè)試套件，針對(duì)標(biāo)準(zhǔn)庫，實(shí)現(xiàn)了從語言定義中衍生出的需求到各個(gè)庫測(cè)試之間的完全可追溯性。

Solidsands的使命是提升C語言的質(zhì)量。通過提高C和C++編譯器、庫及分析工具的質(zhì)量，并保障它們的安全與穩(wěn)定使用來實(shí)現(xiàn)這一目標(biāo)。憑借測(cè)試套件的高質(zhì)量水平，Solidsands始終保持在軟件測(cè)試和資格認(rèn)證領(lǐng)域的前沿，助力客戶滿足ISO合規(guī)性和功能性安全標(biāo)準(zhǔn)要求。

斑馬智行作為一個(gè)全球創(chuàng)新的智能汽車解決方案平臺(tái)，面向汽車和交通行業(yè)提供智能汽車操作系統(tǒng)、智能汽車解決方案、數(shù)字交通解決方案。斑馬智行充分協(xié)同阿里巴巴集團(tuán)在語音、視覺、芯片、IoT、云計(jì)算、地圖、支付、電商等領(lǐng)域技術(shù)和生態(tài)優(yōu)勢(shì)，和車企一起重新定義汽車，為用戶打造智慧出行空間，提供智慧駕乘服務(wù)和豐富車生活。

基于自研AliOS打造斑馬智行智能汽車解決方案，目前已經(jīng)合作上汽、一汽、南北大眾等車企10余個(gè)汽車品牌、40多款車型、100多萬輛智能汽車上。

未來，斑馬智行將以人機(jī)共駕、車路協(xié)同助力出行場(chǎng)景，助力交通數(shù)字化。

上海創(chuàng)景信息科技股份有限公司（簡(jiǎn)稱“創(chuàng)景科技”）創(chuàng)建于 2000年2月22日，是首批入駐國(guó)家軟件產(chǎn)業(yè)基地上海浦東軟件園的高新技術(shù)企業(yè)?？偛课挥谏虾＃谏虾！⒊啥技拔靼苍O(shè)有研發(fā)中心，同時(shí)在北京、成都、西安、廣州、南京等地設(shè)有辦事處，在中國(guó)香港設(shè)有分公司。

創(chuàng)景科技積極引進(jìn)吸收國(guó)內(nèi)外先進(jìn)技術(shù)，加強(qiáng)自主研發(fā)，形成貫穿系統(tǒng)軟件研制全生命周期解決方案，包括系統(tǒng)軟件工程化解決方案、嵌入式系統(tǒng)軟硬件開發(fā)解決方案、系統(tǒng)仿真與測(cè)控解決方案；同時(shí)創(chuàng)景科技提供各方面專業(yè)的咨詢與服務(wù)，包括：基于模型系統(tǒng)工程咨詢與服務(wù)，民機(jī)適航審定咨詢與服務(wù)，軟件測(cè)試外包服務(wù)，CMMI咨詢等

創(chuàng)景科技全面推行與貫徹質(zhì)量管理體系，提高公司產(chǎn)品質(zhì)量與服務(wù)質(zhì)量，取得 ISO9001：2015、CMMI 3認(rèn)證，創(chuàng)景科技通過高技術(shù)、高品質(zhì)的產(chǎn)品和規(guī)范完善的服務(wù)體系全面滿足客戶的需求?？蛻舯榧昂娇蘸教臁?guó)防軍工、軌道交通、工業(yè)控制、核電、汽車電子及醫(yī)療電子等高可靠高安全行業(yè)。

Ref: SOL117A