Foretellix的使命是通过从“里程数”到“里程质量”的转变,实现自动驾驶车辆“可量化的安全性”。Foretellix公司由一群在量化验证方面具有经验的先驱创办,其高度自动化且经过验证的覆盖率驱动法已经被半导体行业广泛采用,而且该公司已经为自动驾驶汽车的安全验证调整和定制了验证法。Foretellix的Foretify技术包括一个开放、高级的可衡量的场景描述语言(M-SDL)、智能、自动化且可扩展,还具备分析能力和各种指标,包括向消费者、开发商、保险公司和监管机构提供“安全驾驶情境”所需的功能性覆盖率指标。
人员规模 | - | 研发人数 | - | |||||||||
年销售额 | - | 体系认证 | - | |||||||||
公司网址 | - | |||||||||||
配套客户 |
|
|||||||||||
直接出口经验 | - | |||||||||||
主营产品 | 可度量的场景描述语言(M-SDL),用于高级别描述场景和覆盖率目标 自动生成场景变量组合,与监视器共同检查和追踪场景覆盖率 跨所有测试平台(测试车辆,测试跟踪,仿真,X在环)聚合执行覆盖率数据的能力 |
|||||||||||
法定代表人 | - | 注册资本 | - |
经营状态 | - | 实缴资本 | - |
统一社会信用代码 | - | 成立时间 | - |
注册号 | - | 纳税人识别号 | - |
公司性质 | 国外公司 | 组织机构代码 | - |
核准日期 | - | 所属行业 | - |
所属地 | 海 外 | 登记机关 | - |
曾用名 | - | 英文名 | - |
人员规模 | - | 营业期限 | - |
参保人数 | - | 注册地址 | - |
登录查看联系方式