Vector expands timing analysis expertise through RocqStat acquisition

Vector Informatik has acquired the RocqStat software technology and the expert team from StatInf. This acquisition enhances Vector’s capabilities in timing analysis and worst-case execution time (WCET) estimation, supporting the growing demand for reliable software verification in safety-critical systems.The integration of StatInf’s experienced team ensures continuity of expertise and accelerates innovation in timing analysis, verification workflows, and advanced analytics within Vector’s code testing tool chain.

Existing StatInf customers will experience full business continuity. In the medium term, Vector plans to integrate RocqStat into the VectorCAST toolchain, creating a unified environment for timing analysis, WCET estimation, software testing, and verification.

“Timing safety is becoming a critical factor in software-defined vehicles and other software-defined systems,” said Eric Barton, Senior Vice President of Code Testing Tools at Vector. “By combining StatInf’s advanced technology with our toolchain, we enable customers to design and verify timing constraints more efficiently and with greater confidence.”

StatInf is a French start-up spun off from Inria, France’s National Institute for Research in Digital Science and Technology. StatInf developed industrial software tools for timing safety in embedded systems. Its RocqStat technology enables early integration and continuous verification of timing information and constraints throughout the development lifecycle.