日益復(fù)雜的智駕系統(tǒng)所面臨的挑戰(zhàn),F(xiàn)oretellix公司提供了一套測(cè)試驗(yàn)證 (Verification and Validation, V&V) 平臺(tái)Foretify。此平臺(tái)使用覆蓋率驅(qū)動(dòng)驗(yàn)證方法學(xué),并提供以下的功能:
Foretify解決方案的優(yōu)勢(shì):
Foretify 驗(yàn)證自動(dòng)及分析平臺(tái)
M-SDL
Foretellix發(fā)明了M-SDL,一種開源的,人機(jī)可讀的高效語言。此語言僅通過幾行代碼便可描述復(fù)雜的抽象場(chǎng)景(abstract scenarios)。Foretelify基于M-SDL描述的場(chǎng)景自動(dòng)生成海量的有意義的測(cè)試,從而覆蓋在智駕系統(tǒng)測(cè)試中可能遇到的所有相關(guān)情況,邊緣條件及未知空間。
M-SDL允許各獨(dú)立場(chǎng)景間進(jìn)行混合、組合和重用,從而使針對(duì)所有使用情況和ODD需求的場(chǎng)景庫建設(shè)成為可能。
測(cè)試驗(yàn)證模組包
模組包攜帶預(yù)定義且可定制的驗(yàn)證計(jì)劃,滿足具體情況和ODD而設(shè)計(jì)的即拿即用抽象場(chǎng)景(abstract scenario)。現(xiàn)今提供以下模組包:
Foretellix正在擴(kuò)建其測(cè)試和驗(yàn)證模組包庫,以支持其他情況和ODDs。
經(jīng)緯恒潤
北京市海淀區(qū)知春路7號(hào)致真大廈D座6層
電話:010-64840808-6102
郵箱:market_dept@hirain.com
網(wǎng)址:www.hirain.com
聯(lián)系人:經(jīng)緯恒潤
地址:北京朝陽區(qū)酒仙橋路14號(hào)1幢4層
郵編:100000
電話:010-64840808-6117
傳真:
公司網(wǎng)址:http://www.hirain.com
掃描此二維碼即可訪問該空間手機(jī)版