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

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

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

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