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

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

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

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

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