若试图将包含了数百万行代码的整套车载操作系统与复杂的自动驾驶路径规划算法全部按照最高的 ASIL-D 标准进行全流程开发,无论在研发经费还是上市时间上都是不可承受的灾难:每一行 C++ 代码都必须在硬件仿真器上达成 100% 的修正条件/判定覆盖率(MC/DC),伴随极为繁琐的形式化静态分析与高昂的编译器车规工具链认证。ASIL 等级分解方法学允许架构师将致命风险精准收敛并隔离到一个仅有几千行核心逻辑、极易进行数学证明的小巧独立安全监视器(Safety Monitor)中。
在经典的 Doer-Checker(执行者-校验者)架构模式中,“Doer”是一个运行在高性能通用 Linux 或 QNX 操作系统环境中的复杂轨迹规划算法,它负责处理海量传感器输入并输出平滑的车辆运动学指令,其软件工程流程按照 ASIL-B 标准进行开发与验证。而“Checker”则是一个代码量极少、完全确定性的轻量级车辆物理安全包络监视器,常驻在经过硬件 MPU 深度隔离的 Cortex-R52 锁步实时核心中,同样按照 ASIL-B 标准开发。当且仅当 Doer 输出的转向角或加速度请求突破当前路面附着系数物理极限时,Checker 拥有绝对硬件级特权,在 5 毫秒内瞬间切断 Doer 的驱动权并下达紧急平稳制动指令,从而在系统工程层面达成了完美的 ASIL-D 安全完整性等级。