以色列Foretellix为自动驾驶系统（ADS）提供验证和确认(V&V)平台，其目的

在于应对现今日益复杂的无限场景的测试验证的挑战。

Foretellix平台，Foretify™, 使用覆盖率驱动的验证方法和 OpenSCENARIO 2.0 语言为基础的工具，符合SOTIF 与ISO26262 的流程设计。

以超自动化方式生成和执行数百万个场景泛化与测试，以验证自动驾驶系统并展露出系统错误、边缘案例和未知因素的长尾edge case/corner case情况。生成更有意义场景的算法和方法来避免浪费算力与人工，这些场景将使测试结果整合并暴露出更多未知错误。安全和KPI基于大数据分析情况，显示验证和确认工作的可量化和客观状态。