产品名称：Foretify自动化验证平台 

推荐企业：广州虹科电子科技有限公司 

技术特点

现在的自动驾驶仿真测试方法和指标都是基于里程数，但里程数不能代表覆盖了驾驶功能、极端场景的验证。虹科提供了可测量自动驾驶车辆验证和测试的安全性方法--Foretify自动化验证分析软件平台，可全面验证对自动驾驶安全性至关重要的场景，并提取相应的度量指标来证明这一点。Foretify包含三大模块，场景编写模块；场景仿真模块；测试评估模块。

在场景编写模块中，Foretify使用M-SDL语言进行场景编写。M-SDL是一种开源的高级场景描述语言,作为OpenSCENARIO 2.0概念中示例语言，M-SDL能够实现快速编写场景、判断语法逻辑。由于M-SDL完全开源，也会有活跃的社区对语言进行支持。 

在场景仿真模块中，Foretify可以调用多种仿真平台提供场景仿真。目前适配的有CARLA、SUMO、Metamoto。未来还会有更多仿真平台兼容。通过简单的配置，便可利用M-SDL编写的场景调用多种仿真平台的基础仿真元素，随机生成多种OpenSCENARIO的场景。 

在测试评估模块中，Foretify将以场景覆盖率和对应KPI参数为目标生成报告。报告提供测试场景的通过率，以及关键KPI参数。用户可以在报告中回放失败的案例，进而判断在此场景下如何改进，获得认知。此工具能够轻松帮助找到场景失败的源头，并给出目标数据源，方便对比。最终，用户将通过报告明确已完成了哪些、接下来做哪些、预计何时完成等。

Foretify平台的优势在于以下三点：

高生产力 ：M-SDL语言能用仅仅不到100行的代码创建成千上万个不重复场景。能够做到随测随写。同时，即使不懂M-SDL语言，Foretify支持使用Excel表格输入关键参数，一键生成场景。

可移植性 ：场景能够在多个平台上共享，仅仅需要更改需要调用的配置文件。这方便了不同公司、不同部门之间分享场景。由于不同仿真平台视觉效果也是不同的，这一特性也能更全面的展示设计好的场景。

可证明性：Foretify生成的报告包含了场景覆盖率和相关KPI指标，支持导出查看。随时回放报告中未通过场景，来确认未通过原因。

Foretify软件平台能够大大加快自动驾驶场景测试的进度，并帮助企业了解自动驾驶研发进度，明确项目完成周期，系统待完善部分等。 

市场表现 

目前，诸多老牌德国车企已采用了Foretify解决方案，同时，也有世界前沿视觉算法公司与Foretify合作。在教育推广方面，国内最顶尖高校也已采用Foretify进行场景设计。在ASAM提出的OpenSCENARIO 2.0项目概念中，M-SDL作为示范语言使用，2021年OpenSCENARIO 2.0标准将全面落地，届时，M-SDL语言也有机会作为标准场景库指定的编程语言使用。