Suresoft China的博客

当发生电池/信号输入/CAN Fail/MCU Fail等故障时，通过Fail Safe模块执行Fail Safe功能，如图2所示。TCU 的 Fail Safe 旨在通过在输入传感器发生故障时维持车辆的发动机和驾驶条件来最大限度地减少事故的发生。配备电控自动变速器的车辆通过发动机和车辆行驶状态的各种传感器（输入传感器：转速，输出传感器：车速等）的输出来控制变速器。这样，在前照灯打开的情况下行驶时，即使控制器发生故障，也会通过前照灯备用开关保持点亮状态来应用故障保护。 Fail Safe的区分。

这是验证开发的模型和生成的代码之间的对应关系的测试，它是使用相同的输入数据对正在开发的模型和自动生成的代码检查输出值是否一致的测试。在代码的情况下，复杂性是通过计算生成代码中的二进制节点数加 1 来衡量的。表 1 的第 1a 项共有 12 个部分，规定了通过模型度量检查进行质量保证的需要，表 12 的第 1e 项和 1f 项分别规定了模型动态验证和模型静态验证的需要。在C1中，通过模型和代码之间的背靠背测试进行验证，在C2中，当需要的功能从模型转换为代码时，测试该功能在该功能中是否正常执行.可以保证质量。

因此，基于 MBD 的 SW 验证需求呈上升趋势，SureSoft 基于 ISO 26262 为基于 MBD 的 SW 提供静态和动态验证服务。特别是在汽车领域，在结构复杂的模型中，安全性很重要，定义了功能安全的国际标准 ISO 26262，以指定静态验证（例如检查模型是否符合准则）和动态验证（例如模型）模拟。用于执行基于自动代码的模型动态验证的工具 Controller Tester 是 SureSofttech 的自动化解决方案，可为在各种环境中开发的软件执行单元/集成验证。

ASPICE专业辅助工具

BMS简介

A-SPICE SWE介绍

ASPICE流程认证辅助工具/轻量化/标准文档提供/一分钟轻松上手

**A-SPICE 进程概要和 CL 计算方法**如果汽车公司开发一个产品，它是按照客户要求的技术标准和流程来开发的。 根据ISO-26262技术标准制定开发和验证计划，按照制定的计划进行开发和验证，并导出产出物。​最近，为了提高开发验证的可靠性，对开发验证项目进行追溯和管理的重要性越来越高。 在促进这种追溯管理的过程中，我们来介绍一下“A-SPICE”。 A-SPICE 流程大概上可分为三个部分。A-SPICE进程的概要A-SPICE进程的执行方法 – Software领域A-SPICE