Foretellix是一家以色列公司，专注于开发AV/ADAS系统的全面验证框架，提供自动驾驶仿真测试验证服务。Foretellix采用基于场景覆盖率驱动的验证技术，创新地从测量 "里程数量" 转变为 "覆盖质量"，实现AV/ADAS系统验证的 "可衡量的安全性"。 Foretellix的目标是解决自动驾驶汽车部署中的安全难题，确保自动驾驶汽车在所有可能的驾驶条件下表现正常。Foretellix开发了智能自动化和分析工具，原生支持基于OSC 2.0的抽象场景规范，通过科学的约束随机求解器可生成数以百万计的驾驶场景，同时监测场景中的各项参数及指标，为衡量覆盖度及系统安全性评估提供依据。