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

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

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

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