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

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

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

關(guān)于StatInf和RocqStat

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

關(guān)于Vector Informatik

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