日益复杂的智驾系统所面临的挑战,Foretellix公司提供了一套测试验证 (Verification and Validation, V&V) 平台Foretify。此平台使用覆盖率驱动验证方法学,并提供以下的功能:
Foretify解决方案的优势:
Foretify 验证自动及分析平台
M-SDL
Foretellix发明了M-SDL,一种开源的,人机可读的高效语言。此语言仅通过几行代码便可描述复杂的抽象场景(abstract scenarios)。Foretelify基于M-SDL描述的场景自动生成海量的有意义的测试,从而覆盖在智驾系统测试中可能遇到的所有相关情况,边缘条件及未知空间。
M-SDL允许各独立场景间进行混合、组合和重用,从而使针对所有使用情况和ODD需求的场景库建设成为可能。
测试验证模组包
模组包携带预定义且可定制的验证计划,满足具体情况和ODD而设计的即拿即用抽象场景(abstract scenario)。现今提供以下模组包:
Foretellix正在扩建其测试和验证模组包库,以支持其他情况和ODDs。
经纬恒润
北京市海淀区知春路7号致真大厦D座6层
电话:010-64840808-6102
邮箱:market_dept@hirain.com
网址:www.hirain.com
联系人:经纬恒润
地址:北京朝阳区酒仙桥路14号1幢4层
邮编:100000
电话:010-64840808-6117
传真:
公司网址:http://www.hirain.com
扫描此二维码即可访问该空间手机版