Vector buys RocqStat to boost software verification

Vector Informatik has acquired StatInf’s RocqStat software technology and expert team to strengthen its capabilities in timing analysis and worst-case execution time (WCET) estimation, addressing growing demand for reliable software verification in safety-critical systems across automotive and other software-defined industries. The German software tools supplier plans to integrate RocqStat into its VectorCAST toolchain in the medium term, creating what Vector described as a unified environment for timing analysis, WCET estimation, software testing and verification workflows.

The integration of StatInf’s experienced team is intended to ensure continuity of expertise and accelerate innovation in timing analysis and advanced analytics within Vector’s code testing toolchain. Existing StatInf customers will experience full business continuity, the company said. WCET estimation is used in automotive software development to determine the maximum time a piece of code could take to execute, which is essential for validating real-time systems.

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

Source: Vector