近日，2020“汽車創(chuàng)新技術大獎”頒獎典禮及晚宴在上海舉行，虹科Foretify自動化驗證平臺榮獲2020汽車創(chuàng)新技術大獎。

“汽車創(chuàng)新技術大獎”是由全球權威媒體機構德國弗戈傳播集團及汽車行業(yè)專業(yè)期刊《汽車制造業(yè)》攜手國內外頂級研究機構開展的評選活動，展示國內外汽車行業(yè)最新成果，展望行業(yè)未來，共創(chuàng)未來智慧出行。

現在的自動駕駛仿真測試方法和指標都是基于里程數，但里程數不能代表覆蓋了駕駛功能、極端場景的驗證。虹科本次獲獎的產品Foretify自動化驗證分析軟件平臺，是可測量自動駕駛車輛驗證和測試的安全性方法，可全面驗證對自動駕駛安全性至關重要的場景，并提取相應的度量指標來證明這一點。Foretify包含三大模塊，場景編寫模塊；場景仿真模塊；測試評估模塊。

在場景編寫模塊中，Foretify使用M-SDL語言進行場景編寫。M-SDL是一種開源的高級場景描述語言,作為OpenSCENARIO 2.0概念中示例語言，M-SDL能夠實現快速編寫場景、判斷語法邏輯。由于M-SDL完全開源，也會有活躍的社區(qū)對語言進行支持。

在場景仿真模塊中，Foretify可以調用多種仿真平臺提供場景仿真。目前適配的有CARLA、SUMO、metamoto。未來還會有更多仿真平臺兼容。通過簡單的配置，便可利用M-SDL編寫的場景調用多種仿真平臺的基礎仿真元素，隨機生成多種OpenSCENARIO的場景。

在測試評估模塊中，Foretify將以場景覆蓋率和對應KPI參數為目標生成報告。報告提供測試場景的通過率，以及關鍵KPI參數。用戶可以在報告中回放失敗的案例，進而判斷在此場景下如何改進，獲得認知。此工具能夠輕松幫助找到場景失敗的源頭，并給出目標數據源，方便對比。最終，用戶將通過報告明確已完成了哪些、接下來做哪些、預計何時完成等。

Foretify平臺的優(yōu)勢在于以下三點：

01、高生產力

M-SDL語言能用僅僅不到100行的代碼創(chuàng)建成千上萬個不重復場景。能夠做到隨測隨寫。同時，即使不懂M-SDL語言，Foretify支持使用Excel表格輸入關鍵參數，一鍵生成場景。

02、可移植性

場景能夠在多個平臺上共享，僅僅需要更改需要調用的配置文件。這方便了不同公司、不同部門之間分享場景。由于不同仿真平臺視覺效果也是不同的，這一特性也能更全面的展示設計好的場景。

03、可證明性

Foretify生成的報告包含了場景覆蓋率和相關KPI指標，支持導出查看。隨時回放報告中未通過場景，來確認未通過原因。

虹科Foretify軟件平臺能夠大大加快自動駕駛場景測試的進度，并幫助企業(yè)了解自動駕駛研發(fā)進度，明確項目完成周期，系統(tǒng)待完善部分等。

目前，諸多老牌德國車企已采用了Foretify解決方案，同時，也有世界前沿視覺算法公司與Foretify合作。在教育推廣方面，國內頂尖高校也已采用Foretify進行場景設計。在ASAM提出的OpenSCENARIO 2.0項目概念中，M-SDL作為示范語言使用，2021年OpenSCENARIO 2.0標準將全面落地，屆時，M-SDL語言也有機會作為標準場景庫指定的編程語言使用。