據外媒報道，當地時間5月13日，以色列初創公司Foretellix宣布推出Foretify技術。通過該技術，Foretellix將在半導體行業廣泛采用的覆蓋率驅動驗證法（coveragedrivenverificationapproach）引入了自動駕駛汽車（AV）行業。Foretify技術將讓AV行業的關注點從里程數（QuantityofMiles）轉移至里程質量（QualityofCoverage），從而幫助消費者、開發人員、保險公司和監管機構能夠量化大規模部署自動駕駛汽車所需的安全性，提高部署自動駕駛汽車的信心。

Foretellix公司由一群在量化驗證方面具有經驗的先驅創辦，其高度自動化且經過驗證的覆蓋率驅動法已經被半導體行業廣泛采用，而且該公司已經為自動駕駛汽車的安全驗證調整和定制了驗證法。

引入Foretify技術，開發人員能夠使用覆蓋率驅動驗證法實現“里程質量”，成功執行對自動駕駛汽車安全至關重要的場景，并提取指標進行證明，包括向消費者、供應商、保險公司和監管機構提供“安全駕駛情境”所需的指標。

Foretify技術包括一個開放、高級的場景描述語言（SDL）、智能、自動化且可擴展，還具備分析能力和各種指標。“一對多”功能可讓“一個”場景規范反映“多個”場景特征；而“多對一”功能可讓在多個平臺進行的“多個”測試結果聚合成為“一個”覆蓋率指標。