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

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

挑战

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

Ansys使用的产品

• 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的设计努力。