近日，可信 Agentic EDA 领域代表企业芯华章科技，与滴水智行科技有限公司（以下简称滴水智行）达成合作，围绕可信 AI 在车规安全方向的应用，联合打造大模型车控安全保障体系，推动大模型输出从能够生成走向能够安全执行，为智能汽车的大模型规模化上车构筑确定性安全防线。
大模型上车，安全成为 "最后一公里"
随着智能座舱从传统语音助手逐步演进为具备主动规划能力的 Agent 系统，大模型不再只是负责自然语言理解和回复生成，而是开始参与用户意图理解、任务拆解、车控 API 调用规划以及多轮交互决策。
这一变化带来了全新的安全课题：一旦模型产生幻觉、误解用户语义、错误补全参数，或者在复杂上下文中把非车控内容误判为车控指令，就可能把语言层面的错误转化为真实的车辆控制动作。
如何既释放大模型的能力上限，又守住车辆安全的底线，成为智能汽车产业必须回答的核心问题。
安全仲裁中间件
在 "模型" 与 "执行" 之间筑起确定性闸门
此次合作聚焦车控链路的“执行前安全确认”环节：在大模型与底层车控执行链路之间，构建独立、可解释、可测试、可追溯的安全仲裁中间件，对Agent输出进行意图解耦、参数结构化、安全规则碰撞、风险分级、澄清确认和日志审计，确保车控指令经确定性安全审查后才可下发。
合作方案将重点围绕四大模块展开建设：
意图安全解耦
对用户输入或 Agent 输出进行四类意图分类（闲聊、信息查询、媒体控制、车身控制），仅当意图属于车身控制时才进入车控参数解析与安全仲裁链路，从入口处将非车控内容隔离在车控安全域之外。
确定性规则仲裁
建立可配置的黑名单、白名单与条件规则矩阵，结合车速、挡位、车门车窗状态、天气环境等多维车辆状态进行规则碰撞：高危指令强制阻断，中低风险指令二次确认，安全指令放行；车辆状态缺失或规则异常时默认Fail-safe，绝不直接下发车控API。
人机确认闭环
对参数缺失、语义歧义和中低风险场景，通过澄清话术模板库与动态话术生成机制实现二次确认；确认超时默认取消执行，避免 "无响应被当作默认同意"。
全链路日志审计
记录输入、解析结果、车辆状态、命中规则、风险等级、仲裁结果与确认状态，形成可追溯、可复现的完整证据链，每条安全规则均可关联对应的正反测试用例和异常注入场景，支撑安全策略的持续迭代与验收。
重构受控车控链路
让灵活交互与确定性安全兼得
此次合作把大模型车控从“模型直接理解并执行”转变为“模型理解、系统仲裁、规则兜底、用户确认、日志追溯”的受控链路。
上游Agent继续负责多轮对话、意图理解和任务拆解，底层车控系统负责指令执行，安全仲裁中间件承担统一入口、统一规则、统一仲裁与统一审计职责。
这一架构既保留了大模型在自然交互方面的灵活性，同时也从系统架构上隔离模型的不确定性，在不改造既有座舱架构的前提下，为大模型车控增加一道独立、可信的安全防线。
滴水智行表示：
“智能座舱的能力边界正在快速拓展，安全机制也需要同步前移。此次合作将把真实车控场景、车辆状态和安全策略与系统化验证结合起来，使车控 Agent 的每一次执行都有清晰边界和可追溯依据，为用户提供更自然、也更安心的智能交互体验。”
芯华章科技表示：
“大模型进入车辆控制链路后，可信的标准不只是回答是否正确，更在于动作为什么能够执行、风险如何被拦截、结果能否被复现。
芯华章基于不断积累的高性能定理证明和约束求解引擎以及完备验证基础设施，致力打造智能座舱大模型车控安全保障系统，让概率性的模型输出在进入物理世界之前，经过明确规则和充分证据的双重约束。”
此次合作将进一步拓展可信AI在安全关键场景中的工程实践。芯华章将继续围绕可证明、可核验、可追溯、可治理的技术框架，以专业验证能力构建从规则定义、测试评测到运行审计的证据闭环，让可信 AI 在智能汽车及更多行业场景中安全、稳健地落地。
