在第七届中国国际进口博览会（CIIE）上，Foretellix 展示了面向 ADAS 和自动驾驶系统的安全驱动型测试验证平台—— Foretify ™，引领自动驾驶系统测试验证技术的前沿进展。

Foretify ™是一款安全驱动型测试和验证平台，原生支持基于 OpenSCENARIO DSL（即 OSC 2.0）的抽象场景规范。平台通过智能的约束随机求解器，在虚拟仿真环境中生成数以百万计的驾驶场景并进行全面的指标评价和安全检查，帮助企业在开发早期识别边缘案例和潜在问题。此外，Foretify ™还支持对实际路测数据的分析和场景提取，通过统一的覆盖度分析，实现虚拟仿真测试与实际路测的有机结合，全面提升测试信心，为系统的安全性提供强大支撑。Foretify ™平台的核心模块包括：

Foretify Developer ™：场景泛化测试开发调试工具，全面支持 OpenSCENARIO DSL 抽象场景规范；

Foretify Manager ™： V&V 场景管理和大数据分析平台，提供 KPI 与测试覆盖度等可视化指标仪表板；

Foretify Core ™：Foretify 场景泛化生成的核心引擎，通过智能 " 约束 - 随机 " 求解器实现测试场景的超大规模编排和生成；

Foretify LogIQ ™：路测数据分析工具，可自动提取包含真实驾驶特征的抽象场景切片并进行自动化泛化及分析，检测边缘案例和异常，并深入分析覆盖缺失；

Foretify V-Suites ™：开箱即用的 V&V 验证套件，涵盖不同自动驾驶等级功能所需的抽象场景库、覆盖项、检查项及 KPI 定义。

展会期间，Foretellix 还展示了助力客户成功的典型案例及与合作伙伴共同推出的联合解决方案。