測(cè)試及驗(yàn)證自動(dòng)駕駛系統(tǒng)安全、高效和大規(guī)模部署的解決方案

        針對(duì)日益復(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é)，并提供以下的功能:

      ?   高度自動(dòng)化地生成及調(diào)控?cái)?shù)以百萬(wàn)計(jì)的測(cè)試向量以驗(yàn)證各式場(chǎng)景，從而探索極限邊界條件及未知領(lǐng)域以發(fā)現(xiàn)系統(tǒng)缺陷

      ?   具有大數(shù)據(jù)分析能力的安全及生產(chǎn)效率顯示面板展示可量化、可衡量的驗(yàn)證和測(cè)試的客觀工作狀態(tài)

      ?   有效的算法和方法學(xué)產(chǎn)生有效的閉環(huán)流程，從而生成更具測(cè)試意義的場(chǎng)景以保證測(cè)試收斂性并發(fā)現(xiàn)更多的系統(tǒng)缺陷

Foretify? 解決方案的優(yōu)勢(shì):

      ?   提高質(zhì)量：在開(kāi)發(fā)的初期即可發(fā)現(xiàn)系統(tǒng)缺陷、邊緣條件及未知領(lǐng)域。

      ?   降低風(fēng)險(xiǎn)和召回：Foretify?有助于防止由于設(shè)計(jì)缺陷（有些缺陷甚至是致命的）而帶來(lái)的高成本的召回。

      ?   降低總體測(cè)試成本：通過(guò)自動(dòng)化和基于驗(yàn)證目標(biāo)的方法來(lái)取代場(chǎng)景生成和分析所需的低效高昂的傳統(tǒng)人工勞動(dòng)。

      ?   減少產(chǎn)品上市時(shí)間：通過(guò)使用經(jīng)過(guò)實(shí)踐證明的的方法學(xué)，系統(tǒng)化地處理無(wú)限場(chǎng)景空間，以達(dá)到更加有效，更加快捷的測(cè)試完備性收斂。

      ?   完全通透的可視化：通過(guò)使用格式統(tǒng)一的面板顯示及在測(cè)試執(zhí)行平臺(tái)上使用同一可量化，可衡量的覆蓋率驅(qū)動(dòng)驗(yàn)證方法學(xué)，從而達(dá)到測(cè)試過(guò)程中完全通透的可視化。

      ?   多地圖場(chǎng)景及ODD的可移植性：輕松方便地將場(chǎng)景移植到不同的地圖和ODD上。

      ?   多測(cè)試執(zhí)行平臺(tái)兼容的軟件架構(gòu)：Foretify?支持多種仿真器、HIL、測(cè)試場(chǎng)地和街道實(shí)駕。這使得一個(gè)有機(jī)集成而非侵入性的驗(yàn)證測(cè)****理解決方案成為可能（在有需要的情況下，也可根據(jù)需求添加和替換不同測(cè)試執(zhí)行平臺(tái)）。

      ?   認(rèn)證和標(biāo)準(zhǔn)符合：支持更新的場(chǎng)景描述標(biāo)準(zhǔn)OpenSCENARIO 2.0和OpenDrive。提供開(kāi)放式架構(gòu)來(lái)輕松實(shí)現(xiàn)對(duì)于新標(biāo)準(zhǔn)的支持。

      ?   即拿即用的測(cè)試驗(yàn)證模組包：涵蓋豐富的測(cè)試用例以覆蓋巨大的測(cè)試空間?，F(xiàn)有對(duì)于ADAS & Highway和ALKS標(biāo)準(zhǔn)以及特定礦山ODD’s支持的測(cè)試驗(yàn)證模組包可用。

Foretify? 驗(yàn)證自動(dòng)及分析平臺(tái)

M-SDL

        Foretellix發(fā)明了M-SDL，一種開(kāi)源的，人機(jī)可讀的語(yǔ)言。此語(yǔ)言僅通過(guò)幾行代碼便可描述復(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)景庫(kù)建設(shè)成為可能。

        M-SDL是即將到來(lái)的ASAM OpenScenario2.0標(biāo)準(zhǔn)的概念先行者。

測(cè)試驗(yàn)證模組包

       模組包攜帶預(yù)定義且可定制的驗(yàn)證計(jì)劃，滿足具體情況和ODD而設(shè)計(jì)的即拿即用抽象場(chǎng)景(abstract scenario)。現(xiàn)今提供以下模組包:

      ?   ADAS和高速道路：用于ADAS測(cè)試的眾多場(chǎng)景。其包括并混合了52個(gè)M-SDL場(chǎng)景即相應(yīng)的場(chǎng)景回歸測(cè)試模組。

      ?   ALKS：商業(yè)實(shí)施的聯(lián)合國(guó)歐洲經(jīng)委會(huì)(UNECE)關(guān)于自動(dòng)車道保持系統(tǒng)的監(jiān)管方案-聯(lián)合國(guó)條例157。

      ?   礦山作業(yè)：為礦山作業(yè)自駕系統(tǒng)而設(shè)計(jì)的特定ODD測(cè)試驗(yàn)證模組包。

      Foretellix正在擴(kuò)建其測(cè)試和驗(yàn)證模組包庫(kù)，以支持其他情況和ODDs。