Axivion：汽车软件验证的全链路保障
新技术、对安全性的最高要求以及更复杂的控制单元正挑战着汽车行业。我们高度灵活、可定制的工具套件可帮助您提高生产力与性能。
请联系我们安排会议或预约演示，我们将竭诚为您服务。
汽车软件工程严苛标准下的验证之道
车载软件数量持续增长，其创造的价值与开发成本同步攀升。这种增长源于新技术，例如自动驾驶、Car2X通信、车载信息娱乐系统，以及基于CAN、以太网的车内互联以及5G云端连接等。
除了需要满足安全性与实时性的经典AUTOSAR系统，当前还涌现出更复杂的电子控制单元（ECU）和多域控制器，这些设备基于自适应AUTOSAR架构，对安全性与数据完整性提出更高要求。即使是小型ECU也需集成到复杂架构中，并通过网络化与诊断功能进一步增加系统复杂性。
我们的客户对软件质量有着严苛要求。我们通过监控编码规范（如MISRA、AUTOSAR C++14）或指标（如HIS）的合规性来实现这些要求。
Axivion Suite助力满足ISO 26262汽车功能安全标准
众多汽车软件开发企业需在项目中实现从QM到ASIL D级别的ISO 26262功能安全要求。我们的工具全面覆盖ISO 26262:2018验证步骤，重点关注静态代码与设计检查。
Axivion的静态代码分析(SCA)软件包已通过SGS-TÜV Saar认证，可用于开发符合ISO 26262标准、最高达ASIL D级别的安全系统。
自动化ISO 26262合规检查可无缝集成至现有开发流程，并支持安全相关流程。为了进一步确保可靠性，Axivion Tool Qualification Kit提供了预制的测试套件，其执行与结果评估流程均可自动化完成。
Axivion Suite：CI/CD策略与质量保障的核心组成
Axivion Suite可部署在开发者的工作站以及构建服务器或云端的CI/DevOps管道中使用。这使得 Axivion Suite成为您现有CI/CD策略和质量保证流程的一部分。其简易集成性可无缝连接整个开发环境中的软件开发工具：从CASE工具、版本控制系统、IDE与代码编辑器，以及各类构建系统和来自不同制造商、不同软件世代的多种编译器。
全自动生成的静态代码分析结果既可用于日常开发，也可用于全面评估开发质量的质量控制。
架构分析赋能汽车软件工程
利用Axivion Architecture Verification，您既可确保软件架构的合规性，还可以定义安全架构并持续监控其合规性。
针对基于AUTOSAR的架构分析，Axivion Suite可以导入arxml格式的ECU文件，从而更精确地分析通过RTE实现的软件组件（SWC）通信，并确保架构合规性。
观看我们的网络研讨会：“Software Architecture Checks of classic AUTOSAR Projects”。