测试及验证自动驾驶系统安全、高效和大规模部署的凯发娱乐登录的解决方案-凯发官方首页

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

      ♦   高度自动化地生成及调控数以百万计的测试向量以验证各式场景，从而探索极限边界条件及未知领域以发现系统缺陷

      ♦   具有大数据分析能力的安全及生产效率显示面板展示可量化、可衡量的验证和测试的客观工作状态

      ♦   有效的算法和方法学产生有效的闭环流程，从而生成更具测试意义的场景以保证测试收敛性并发现更多的系统缺陷

foretify™ 凯发娱乐登录的解决方案的优势:

      ♦   提高质量：在开发的初期即可发现系统缺陷、边缘条件及未知领域。

      ♦   降低风险和召回：foretify™有助于防止由于设计缺陷（有些缺陷甚至是致命的）而带来的高成本的召回。

      ♦   降低总体测试成本：通过高效的自动化和基于验证目标的方法来取代场景生成和分析所需的低效高昂的传统人工劳动。

      ♦   减少产品上市时间：通过使用经过实践证明的的方法学，系统化地处理无限场景空间，以达到更加有效，更加快捷的测试完备性收敛。

      ♦   通透的可视化：通过使用格式统一的面板显示及在所有在测试执行平台上使用同一可量化，可衡量的覆盖率驱动验证方法学，从而达到测试过程中通透的可视化。

      ♦   多地图场景及odd的可移植性：轻松方便地将场景移植到不同的地图和odd上。

      ♦   多测试执行平台兼容的软件架构：foretify™支持多种仿真器、hil、测试场地和街道实驾。这使得一个有机集成而非侵入性的验证测试管理凯发娱乐登录的解决方案成为可能（在有需要的情况下，也可根据需求添加和替换不同测试执行平台）。

      ♦   认证和标准符合：支持更新的场景描述标准openscenario 2.0和opendrive。提供开放式架构来轻松实现对于新标准的支持。

      ♦   即拿即用的测试验证模组包：涵盖丰富的测试用例以覆盖巨大的测试空间。现有对于adas & highway和alks标准以及特定矿山odd’s支持的测试验证模组包可用。

foretify™ 验证自动及分析平台

m-sdl

        foretellix发明了m-sdl，一种开源的，人机可读的高效语言。此语言仅通过几行代码便可描述复杂的抽象场景（abstract scenarios）。foretelify™基于m-sdl描述的场景自动生成海量的有意义的测试，从而覆盖在智驾系统测试中可能遇到的所有相关情况，边缘条件及未知空间。

        m-sdl允许各独立场景间进行混合、组合和重用，从而使针对所有使用情况和odd需求的场景库建设成为可能。

测试验证模组包

       模组包携带预定义且可定制的验证计划，满足具体情况和odd而设计的即拿即用抽象场景(abstract scenario)。现今提供以下模组包:

      ♦   adas和高速道路：用于adas测试的众多场景。其包括并混合了52个m-sdl场景即相应的场景回归测试模组。

      ♦   alks：商业实施的联合国欧洲经委会(unece)关于自动车道保持系统的监管方案-联合国条例157。

      ♦   矿山作业：为矿山作业自驾系统而设计的特定odd测试验证模组包。

      foretellix正在扩建其测试和验证模组包库，以支持其他情况和odds。 

foretellix 团队

        foretellix团队在测试验证（v&v）领域拥有二十年以上的经验，且具备广泛的汽车、机器人技术，标准和法规知识。该团队为复杂的数字系统发明了测试验证方法学和工具。此方法学及工具现今皆被如英伟达、英特尔、高通、三星、海思等公司使用。foretellix团队也在积极制定汽车行业标准和法规，如asam openscenario 2.0、sotif unece等。这种跨领域的专长结合使得foretellix能够为客户正在经历的复杂adas和av系统的数字化提供测试验证（v&v）方面的支持。