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

        針對日益復雜的智駕系統(tǒng)所面臨的挑戰(zhàn)，F(xiàn)oretellix公司提供了一套測試驗證 (Verification and Validation, V&V) 平臺Foretify?。此平臺使用覆蓋率驅(qū)動驗證方法學，并提供以下的功能:

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

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

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

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

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

      ?   降低風險和召回：Foretify?有助于防止由于設計缺陷（有些缺陷甚至是致命的）而帶來的高成本的召回。

      ?   降低總體測試成本：通過自動化和基于驗證目標的方法來取代場景生成和分析所需的低效高昂的傳統(tǒng)人工勞動。

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

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

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

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

      ?   認證和標準符合：支持更新的場景描述標準OpenSCENARIO 2.0和OpenDrive。提供開放式架構來輕松實現(xiàn)對于新標準的支持。

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

Foretify? 驗證自動及分析平臺

M-SDL

        Foretellix發(fā)明了M-SDL，一種開源的，人機可讀的語言。此語言僅通過幾行代碼便可描述復雜的抽象場景（abstract scenarios）。Foretelify?基于M-SDL描述的場景自動生成海量的有意義的測試，從而覆蓋在智駕系統(tǒng)測試中可能遇到的相關情況，邊緣條件及未知空間。

        M-SDL允許各獨立場景間進行混合、組合和重用，從而使針對使用情況和ODD需求的場景庫建設成為可能。

        M-SDL是即將到來的ASAM OpenScenario2.0標準的概念先行者。

測試驗證模組包

       模組包攜帶預定義且可定制的驗證計劃，滿足具體情況和ODD而設計的即拿即用抽象場景(abstract scenario)?，F(xiàn)今提供以下模組包:

      ?   ADAS和高速道路：用于ADAS測試的眾多場景。其包括并混合了52個M-SDL場景即相應的場景回歸測試模組。

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

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

      Foretellix正在擴建其測試和驗證模組包庫，以支持其他情況和ODDs。