ASIL D 需求到代码端到端双向追溯验证
实现从安全目标、功能安全需求到 MISRA C 源代码及 MC/DC 结构测试覆盖率的形式化自动双向追溯。
安全目标层级分解
将危害分析与风险评估（HARA）安全目标逐级分解为映射到具体区域 ECU 与硬件安全岛的技术安全需求。
自动化 MC/DC 结构覆盖率分析
通过硬件在环仿真与单元测试平台，在所有安全关键型 C/C++ 控制模块中强制实现 100% 的 MC/DC 覆盖。
- 所有 ASIL D 软件单元 100% 达成 MC/DC 结构测试覆盖。
- 自动化验证 MISRA C:2023 汽车编码规范符合性。
- 实现 Jira 需求、Git 提交记录与安全用例之间的双向超链接追溯。
- 对型式认证证据包的工程基线进行密码学封签。
浏览域名资产