測試及驗證自動駕駛系統安全、高效和大規模部署的解決方案

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

      ?   高度自動化地生成及調控數以百萬計的測試向量以驗證各式場景，從而探索極限邊界條件及未知領域以發現系統缺陷

      ?   具有大數據分析能力的安全及生產效率顯示面板展示可量化、可衡量的驗證和測試的客觀工作狀態

      ?   有效的算法和方法學產生有效的閉環流程，從而生成更具測試意義的場景以保證測試收斂性并發現更多的系統缺陷

Foretify? 解決方案的優勢:

      ?   提高質量：在開發的初期即可發現系統缺陷、邊緣條件及未知領域。

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

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

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

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

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

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

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

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

Foretify? 驗證自動及分析平臺

M-SDL

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

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

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

測試驗證模組包

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

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

      ?   ALKS：商業實施的聯合國歐洲經委會(UNECE)關于自動車道保持系統的監管方案-聯合國條例157。

      ?   礦山作業：為礦山作業自駕系統而設計的特定ODD測試驗證模組包。

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