日益復雜的智駕系統所面臨的挑戰,Foretellix公司提供了一套測試驗證 (Verification and Validation, V&V) 平臺Foretify。此平臺使用覆蓋率驅動驗證方法學,并提供以下的功能:
Foretify解決方案的優勢:
Foretify 驗證自動及分析平臺
M-SDL
Foretellix發明了M-SDL,一種開源的,人機可讀的高效語言。此語言僅通過幾行代碼便可描述復雜的抽象場景(abstract scenarios)。Foretelify基于M-SDL描述的場景自動生成海量的有意義的測試,從而覆蓋在智駕系統測試中可能遇到的所有相關情況,邊緣條件及未知空間。
M-SDL允許各獨立場景間進行混合、組合和重用,從而使針對所有使用情況和ODD需求的場景庫建設成為可能。
測試驗證模組包
模組包攜帶預定義且可定制的驗證計劃,滿足具體情況和ODD而設計的即拿即用抽象場景(abstract scenario)。現今提供以下模組包:
Foretellix正在擴建其測試和驗證模組包庫,以支持其他情況和ODDs。
經緯恒潤
北京市海淀區知春路7號致真大廈D座6層
電話:010-64840808-6102
郵箱:market_dept@hirain.com
網址:www.hirain.com
聯系人:經緯恒潤
地址:北京朝陽區酒仙橋路14號1幢4層
郵編:100000
電話:010-64840808-6117
傳真:
公司網址:http://www.hirain.com
掃描此二維碼即可訪問該空間手機版