电池管理系统软件测试改进

由于下一代电动汽车中使用的大功率电池，嵌入式软件的临界级别已从ISO 26262汽车安全完整性级别(ASIL) B提高到ASIL C和D。这对汽车软件开发过程提出了严格的限制，以确保可靠性。

挑战

电池管理组件是电动汽车的关键功能之一。安全性和质量方面的考虑在很大程度上依赖于电池管理系统中嵌入式软件的可用性和性能。为了在尽可能短的时间和尽可能低的成本内实现高效安全的BMS，高效的软件开发过程是一个简单的验证路径的关键，它可以减少甚至删除活动，同时保留甚至加强对最终软件的信心。

万博使用的Ans万博网ys产品

• 万博Ansys SCADE套件
• 万博Ansys SCADE测试

工程解决方案

为了应对这一挑战，制定了一个双重解决方案。万博采用Ansys SCADE Suite进行BMS功能设计，并自动生成代码。一些功能在SCADE中得到了充分的开发;其他的部分。SCADE语言包含严格定义的语义，可以避免任何歧义，非常适合这样的关键软件规范。合格的代码生成器确保高质量的代码是直接嵌入的，而不需要验证它是否正确地表示模型。这节省了验证的时间，并摆脱了用于此类任务的专用工具。SCADE测试用于软件验证和结构覆盖评估建模。它允许在模型级别上工作和开发基于需求的测试场景。一旦模型结构覆盖率100%完成，SCADE保证使用完全相同的测试也能完全覆盖代码，这也减少了验证活动。 Ansys and Volkswagen are working together to further improve the capabilities of the SCADE framework towards continuous integration and testing.

好处

使用SCADE Suite通过为关键应用程序提供专门的形式，帮助开发更好的设计，从而极大地增强了设计阶段。它减少了代码验证工作，这要归功于其符合ISO 26262标准的代码生成器，最高可达ASIL d。通过SCADE测试，也符合ISO 26262标准，由于模型覆盖，人们可以证明使用了哪些功能。实际上，所有的代码覆盖都可以在模型级工作时实现。与大众之前基于模型的方法相比，使用SCADE测试更有效，并且在实现完整测试深度方面有显著改进。使用SCADE生成的代码部署在大众ID.3和ID.4电动汽车上。SCADE被用于20多个不同的项目。大众集团零部件BMS开发正在朝着100%基于scade的设计方向努力。