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

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

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

關(guān)于StatInf和RocqStat

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

關(guān)于Vector Informatik

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