foretify——智驾场景描述及覆盖率分析-凯发k8一触即发

        针对日益复杂的智驾系统所面临的挑战，foretellix公司提供了一套测试验证 (verification and validation, v&v) 平台foretify™。此平台使用覆盖率驱动验证方法学，并提供以下的功能:

• 高度自动化地生成及调控数以百万计的测试向量以验证各式场景，从而探索极限边界条件及未知领域以发现系统缺陷
• 具有大数据分析能力，通过数据化分析平台面板展示可视化、可衡量的验证和测试的结果
• 有效的算法和方法学产生有效的闭环流程，从而生成更具测试意义的场景以保证测试收敛性，并发现更多的系统缺陷

foretify™ k8凯发的解决方案的优势

• 提高质量：在开发的初期即可发现系统缺陷、边缘条件及未知领域。
• 降低风险和召回：foretify™有助于防止由于设计缺陷（有些缺陷甚至是致命的）而带来的高成本的召回。
• 降低总体测试成本：通过高效的自动化和基于验证目标的方法来取代场景生成和分析所需的低效高昂的传统人工劳动。
• 减少产品上市时间：通过使用经过实践证明的方法学，系统化地处理无限场景空间，以达到更加有效、更加快捷的测试完备性收敛。
• 完全通透的可视化：通过使用格式统一的面板显示及在所有在测试执行平台上使用同一可量化、可衡量的覆盖率驱动验证方法学，从而达到测试过程中完全通透的可视化。

• 多地图场景及odd的可移植性：轻松方便地将场景移植到不同的地图和odd上。
• 多测试执行平台兼容的软件架构：foretify™支持多种仿真器、hil、测试场地和街道实驾。这使得一个完全有机集成而非侵入性的验证测试管理k8凯发的解决方案成为可能（在有需要的情况下，也可根据需求添加和替换不同测试执行平台）。
• 认证和标准符合：支持最新的场景描述标准openscenario 2.0和opendrive。提供开放式架构来轻松实现对于新标准的支持。
• 即拿即用的测试验证模组包：​​​​​​​涵盖丰富的测试用例以覆盖巨大的测试空间。现有对于adas & highway和alks标准以及特定矿山odd’s支持的测试验证模组包可用。

foretify™ 验证自动及分析平台

​​​​​​​

• m-sdl 

​​​​​​​ foretellix发明了m-sdl，一种开源的、人机可读的高效语言。此语言仅通过几行代码便可描述复杂的抽象场景（abstract scenarios）。foretelify™基于m-sdl描述的场景自动生成海量的、有意义的测试，从而覆盖在智驾系统测试中可能遇到的所有相关情况、边缘条件及未知空间。
​​​​​​​ m-sdl允许各独立场景间进行混合、组合和重用，从而使针对所有使用情况和odd需求的场景库建设成为可能。
​​​​​​​ m-sdl是即将到来的asam openscenario2.0标准的概念先行者。 

• 测试验证模组包

 adas和高速道路：​​​​​​​用于adas测试的众多场景。其包括并混合了52个m-sdl场景，即相应的场景回归测试模组。
 alks ​​​​​​​：联合国欧洲经委会(unece)关于自动车道保持系统的监管方案-联合国条例157。
 矿山作业 ：为矿山作业自驾系统而设计的特定odd测试验证模组包。