总部位于上海的斑马网络技术有限公司是由中国阿里巴巴集团和上汽集团共同成立的合资企业，致力于开发和支持名为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兼容性编译器安全资格认证，这是其重大功能安全认证项目的一部分，旨在确保其软件达到最高安全标准，从而提供下一代驾驶体验。这一体验融合了互联网连接、人工智能和边缘计算技术，优化并人性化驾驶过程，能自动学习并适应驾驶员的情绪和偏好，无缝提供基于情境和位置的服务。

Solid Sands是北美、欧洲和亚洲领先的编译器及库测试与资格认证技术供应商。

Solid Sands成立于2014年，总部位于荷兰阿姆斯特丹，通过全球合作伙伴网络，服务于半导体、知识产权和安全行业的领先创新企业，以及汽车、机器人、铁路和医疗等安全关键领域的企业。SuperTest编译器测试与验证套件提供了完整的验证环境，使客户能够达到ISO语言和功能性安全标准所要求的软件质量水平。同时，SuperGuard库安全资格认证套件是一个基于需求的测试套件，针对标准库，实现了从语言定义中衍生出的需求到各个库测试之间的完全可追溯性。

Solidsands的使命是提升C语言的质量。通过提高C和C++编译器、库及分析工具的质量，并保障它们的安全与稳定使用来实现这一目标。凭借测试套件的高质量水平，Solidsands始终保持在软件测试和资格认证领域的前沿，助力客户满足ISO合规性和功能性安全标准要求。

斑马智行作为一个全球创新的智能汽车解决方案平台，面向汽车和交通行业提供智能汽车操作系统、智能汽车解决方案、数字交通解决方案。斑马智行充分协同阿里巴巴集团在语音、视觉、芯片、IoT、云计算、地图、支付、电商等领域技术和生态优势，和车企一起重新定义汽车，为用户打造智慧出行空间，提供智慧驾乘服务和丰富车生活。

基于自研AliOS打造斑马智行智能汽车解决方案，目前已经合作上汽、一汽、南北大众等车企10余个汽车品牌、40多款车型、100多万辆智能汽车上。

未来，斑马智行将以人机共驾、车路协同助力出行场景，助力交通数字化。