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

        針對日益複雜的智駕系統所面臨的挑戰，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。