Vector Informatik于2026年1月16日，在其德國斯圖加特總部，官宣收購了StatInf公司的RocqStat軟件技術及其專家團隊。此次收購意在增強Vector在時序分析和最差情況執(zhí)行時間（WCET）估算方面的能力，更全面地支持安全關鍵型系統(tǒng)對可靠軟件驗證日益增長的需求。

整合StatInf經(jīng)驗豐富的團隊可確保專業(yè)能力的連續(xù)性，并加快Vector代碼測試工具鏈在時序分析、驗證工作流和進階分析方面的創(chuàng)新。StatInf現(xiàn)有客戶的業(yè)務連續(xù)性完全不受干擾。從中期規(guī)劃來看，Vector計劃將RocqStat集成到VectorCAST工具中，為時序分析、WCET估算、代碼測試和驗證創(chuàng)建一個統(tǒng)一的工作環(huán)境。

“時序安全正成為軟件定義汽車和其他軟件定義系統(tǒng)的關鍵因素?！盫ector代碼測試高級副總裁Eric Barton說，“通過將StatInf的先進技術與我們的工具鏈相結合，我們使客戶能夠更高效、更自信地設計和驗證時序約束相關的需求。”

關于StatInf和RocqStat

StatInf是一家從法國國家信息與自動化研究所（INRIA）分拆出來的法國初創(chuàng)企業(yè)，主營開發(fā)用于嵌入式系統(tǒng)時序安全策略的工業(yè)軟件工具，其RocqStat技術可在整個開發(fā)生命周期內(nèi)對時序信息和約束條件進行早期集成和持續(xù)驗證。

關于Vector Informatik

Vector Informatik是為軟件定義系統(tǒng)提供嵌入式軟件、工具、云技術和服務的全球領先供應商。38年來，Vector一直致力于幫助全球制造商和供應商開發(fā)復雜的電子產(chǎn)品，以滿足功能安全、網(wǎng)絡安全和效率方面的最高標準——主要應用于汽車行業(yè)，并越來越多地應用于醫(yī)療技術、工業(yè)物聯(lián)、軌道交通和航空航天領域。