（圖片來源：Foretellix官網(wǎng)）

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

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

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

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