5、Foretellix Slides(1).pdf

1、 2023 Foretellix-Confidential實現可擴展自動駕駛和 ADAS 的安全部署處理無限測試空間 2023 Foretellix-Confidential2每個人都在談論自動駕駛每個人都在談論自動駕駛每個人都在努力實現這一目標您如何知道自己處于測試過程的哪個階段？憂慮足夠安全?您如何知道自動駕駛系統是安全的并且所有邊緣案例都已被發現？如何用有限的資源和時間馴服無限的場景測試空間？挑戰馴服無限困境測試完備？2023 Foretellix-Confidential3特斯拉自動駕駛事故，2020 年 6 月特斯拉造成車禍，2022 年 11 月自動駕駛系統在許多邊緣場景下都會失效

2、，即使是在小規模部署中也是如此ADAS 系統在極端情況下也顯示出重大安全問題“碰撞是由于特定參數的獨特組合而發生的”通用汽車 Cruise Cruise 在 2023 2023 年監管文件中的描述沃爾沃 AEB 召回，2020 年 3 月通用汽車 Cruise 事故與召回，2023 年 4 月安全是大規模部署的主要障礙安全是大規模部署的主要障礙 2023 Foretellix-Confidential4Source:McKinsey&Company,January 2022每個項目的自動駕駛開發成本驗證成本驗證成本 開發成本的開發成本的 50%Level-3 HighwayLevel-4 Hi

3、ghwayAutonomous TruckingLevel-4 RoboTaxi$600M-$900M$0.6B-$1.5B$1.5B-$3.5B$3B-$4BVerification&ValidationHardware DevelopmentSoftware Development22-33%33%50-67%33-60%2023 Foretellix-Confidential5我們解決的挑戰我們解決的挑戰極度復雜的系統極度復雜的環境需要無限場景多個AI系統系統150M行代碼100s芯片x=未知場景自動駕駛汽車兩輪車行人人類駕駛員天氣-馴服無限測試空間馴服無限測試空間 2023 Foret

4、ellix-Confidential6Foretify 超大規模仿真測試超大規模仿真測試OpenSCENARIO 2.0Checks場景定義KPIs覆蓋度優化故障分類大數據分析ChecksKPIs覆蓋度需求管理需求管理Level-2 ADASLevel-3 HighwayLevel-4 TruckingLevel-4 MiningV&V 場景庫MAPSKPI/CHECK仿真軟件仿真軟件合作伙伴合作伙伴超大規模測試自動化約束隨機生成器發現邊緣案例 2023 Foretellix-Confidential7OpenScenario2.0場景描述標準場景描述標準人類可讀的場景定義并促進重用性能KPI

5、s和場景覆蓋度多種場景和風險維度OpenSCENARIO2.0 標準的基石簡化場景組合評價體系標準 2023 Foretellix-Confidential8Foretify LogIQ：駕駛數據分析駕駛數據分析異常檢測場景匹配駕駛數據分析KPIsDrive LogsGPSRadarVideoLIDARVehicle Messages 2023 Foretellix-Confidential9Foretify LogIQ：駕駛數據分析駕駛數據分析異常檢測場景匹配駕駛數據分析KPIs優化故障分類大數據分析ChecksKPIs覆蓋度路測數據GPSRadarVideoLIDARVehicle Mes

6、sages 2023 Foretellix-Confidential10Foretify 連接現實世界駕駛和仿真測試連接現實世界駕駛和仿真測試OpenSCENARIO 2.0Checks場景定義KPIs覆蓋度優化故障分類大數據分析ChecksKPIs覆蓋度Level-2 ADASLevel-3 HighwayLevel-4 TruckingLevel-4 MiningV&V 場景庫MAPSKPI/CHECK超大規模測試自動化約束隨機生成器發現邊緣案例異常檢測場景匹配駕駛數據分析KPIs路測數據GPSRadarVideoLIDARVehicle Messages 2023 Foretellix-

7、Confidential11V-Suites-開箱即用的開箱即用的V&V 庫庫驗證計劃覆蓋度,KPIs&Checkers預先構建的覆蓋范圍、KPI 和檢查指標，與 V&V 計劃相關聯，并具有深入的分析地圖可用于不同抽象場景的地圖集合抽象場景自動約束隨機生成有意義的測試和邊緣案例的大量泛化功能特定的、可擴展的驗證和確認計劃，可以鏈接到需求 2023 Foretellix-Confidential12L4 Highway V-SuitesOncoming TrafficEncroaching Oncoming TrafficMerge|heavy trafficCut-inCut-outEnvir

8、onmentalSpeed Limit ChangeFollowLane HuggerCut-out With BrakeChange Lane ApproachStopped Vehicles Cut-out to offrampLane EndDouble Cut-inMerge|High SpeedOn RampDeceleration 2023 Foretellix-Confidential13檢測功能ADAS V-Suites 功能功能LDW車道偏離預警ELK緊急車道保持LKA車道保持輔助LCA/LCC車道居中輔助系統車道居中控制BSM盲點監控ISA智能速度輔助ACC自適應巡航控制L

9、SF/TJA低速跟隨交通擁堵輔助AEB自動緊急制動ESA緊急轉向輔助TLR交通燈識別TSR交通標志識別車道/轉向支持功能速度控制輔助避免碰撞 2023 Foretellix-Confidential14Foretify 開放平臺開放平臺與多個仿真軟件和需求管理工具無縫集成。2023 Foretellix-Confidential15+150/7Foretellix OverviewM-SDL Chosen As Foundation LanguageAdopted CDV Methodology ISO/PAS21448 SOTIFNew Abstract Scenario Class In

10、HouseSimulatorsStrong Team/7 OfficesIsrael.USA.GermanySweden.India.China.JapanMajority R&D&Customer SupportOEMs&Tier1sStandardsRequirements Management SystemsSimulators&Testing Platforms 2023 Foretellix-Confidential16Foretify 隨機化一切-不僅僅是車速和天氣尋找未知尋找未知使用 Foretify 約束隨機測試生成器查找未知場景 車輛類型 場景不同階段的加速 車道數 地圖上的

11、位置 遮擋 2023 Foretellix-Confidential17ODD 與地圖無關與地圖無關|覆蓋巨大的測試空間覆蓋巨大的測試空間動態路徑分配生產力提升200m150m100mCut-in 動態搜索地圖尋找滿足抽象的cut-in場景約束的道路路徑 搜索的道路路徑可能包含交叉路口示例 2023 Foretellix-Confidential18 20%不完整的場景 66%與算法無關的碰撞 86%未能滿足場景意圖生產力提升：自適應場景執行生產力提升：自適應場景執行(ASE)在運行時動態控制場景執行以滿足場景意圖 最大限度地減少冗余執行 最大限度減少測試誤報 減少計算成本和時間 節省 10

12、倍至 100 倍的時間和人力 10%不完整的場景 沒有 與算法無關的碰撞 10%未能滿足場景意圖ASE OFFASE ONASE動態調整縱向、橫向移動和時間以滿足場景目標 2023 Foretellix-Confidential19通過驗證和確認降低風險通過驗證和確認降低風險scenario:sut.cut_in_and_slow:v1:vehicle#the target carside:av_left_rightrt:rout with:#an abstract road with minimum of two laneskeep(it.min_lanes=2)do parallel(eq

13、ual,duration:in 1.5s):sut.vehicle.drive()with:along(rt)v1.drive()with:along(rt)position(5.100m,behind:sut.vehicle,at:start)position(5.15m,ahead_of:sut.vehicle,at:end)1.使用 OpenSCENARIO2.0 創建道路上靜止車輛的抽象場景2.生成具體場景并檢測碰撞3.修復 ADAS/AV 軟件中的錯誤4.重新測試以驗證軟件在這種情況下的行為是否安全1234 2023 Foretellix-Confidential20Mitigati

14、ng Risk Through Verification And Validation1.使用 OpenSCENARIO2.0 創建道路上靜止車輛的抽象場景2.生成具體場景并檢測碰撞3.修復 ADAS/AV 軟件中的錯誤4.重新測試以驗證軟件在這種情況下的行為是否安全5.使用約束隨機生成覆蓋固定車輛場景空間的所有變化CurvatureAdditional Traffic on Adjacent LaneWeather FogUrban 2023 Foretellix-Confidential21 我們是否運行了計劃中的所有場景？我們是否對每個場景運行了足夠多的變體？DUT 在 ODD 中是否按

15、預期工作？查找代表 ODD 測試中差距的覆蓋漏洞 指導下一次迭代中的測試工作方向（覆蓋率驅動驗證）量化測試空間并尋找覆蓋漏洞量化測試空間并尋找覆蓋漏洞 測試空間的可衡量視圖（KPI 和覆蓋范圍）與需求管理系統鏈接 2023 Foretellix-Confidential22安全驅動的驗證和確認安全驅動的驗證和確認(SDV)流程流程SDV 方法可帶來以下優勢：測試無限數量的場景 發現邊緣情況和未知數 結合虛擬和現實世界的測試 在整個開發過程中細化需求 整合安全、開發和 V&V 活動 提供證據支持安全案例并符合 SOTIF126345SDV需求與V&V驗證計劃創建并復用V&V 場景庫大規模泛化測試

16、缺陷分類、分析&Bug修復覆蓋度分析&優化報告&提供安全證據 2023 Foretellix-Confidential23安全驅動的驗證和確認安全驅動的驗證和確認(SDV)解決方案解決方案126345SDV需求與V&V驗證計劃創建并復用V&V 場景庫大規模泛化測試缺陷分類、分析&Bug修復覆蓋度分析&優化報告&提供安全證據Requirement ManagementLevel-2 ADASLevel-3 Hi ghw ayLevel-4 Trucki ngLevel-4 M i ni ngV&V Li brari esM APSKPI/C HECK 2023 Foretellix-Confid

17、ential24Reduction of Unknown ScenariosSOTIF 目標2134KnownUnknownHazardousNotHazardous2134KnownHazardousNot HazardousUnknownForetellix 的 Safety-Driven V&V（SDV）方法論基于開放的國際標準，工具支持任意“混合”場景，并通過受限隨機測試搜索邊緣案例。SDV 有助于最大限度地減少危險和未知情況。來自 ISO 21448 附錄 C.3 的圖由 Foretellix 貢獻 2023 Foretellix-Confidential25The SOTIF Wo

18、rkflowForetellix 為 SOTIF 工作流程中的 V&V 評估部分提供高效且有效的支持，包括：Definition of the V&V strategy Evaluation of known scenarios Evaluation of unknown scenarios真實世界的駕駛日志分析和評估（LogIQLogIQ）：運營階段和部署后安全活動 2023 Foretellix-Confidential26實現實現 ADS 和和 ADAS 的大規模安全部署的大規模安全部署增加質量使用工具和方法來暴露設計缺陷、未知場景和邊緣案例增加生產力高效的 V&V 流程自動化，可顯著減少人力和計算資源降低部署時間使用 SDV：OSC2.0 和經過驗證的、可測量的覆蓋率驅動方法先進的自動化測試解決方案可提高測試效率，從而顯著節省成本并降低故障風險$降低成本 2023 Foretellix-Confidential27Thank You 2023 Foretellix-Confidential