Vector strengthens timing analysis with RocqStat acquisition

Vector Informatik has recently expanded its software verification portfolio through the acquisition of RocqStat software technology and the expert team behind it from StatInf. This strategic move aims to strengthen Vector’s position in timing analysis and worst-case execution time (WCET) estimation for safety-critical, software-defined systems. The company highlights that this acquisition directly addresses the increasing complexity and verification demands in automotive and other regulated domains.

For professionals working on embedded and cyber-physical systems, this development holds particular significance as timing determinism and execution guarantees are becoming as crucial as functional correctness. The integration of advanced WCET analysis into established verification toolchains signifies how tool vendors are adapting to the era of software-defined vehicles and increasingly autonomous systems.

Expanding its timing and WCET capabilities, Vector has acquired both the RocqStat timing analysis technology and the experienced engineering team from StatInf. This acquisition ensures the continuity of expertise while also accelerating further development in this critical area. RocqStat is a key tool used for timing analysis and WCET estimation, essential elements in verifying real-time behavior in safety-critical software.

Vector positions this acquisition as a strategic enhancement to its existing code testing and verification offerings. By incorporating StatInf’s specialists into the organization, Vector aims to deepen its analytics capabilities and strengthen verification workflows that address timing constraints early and consistently in the development cycle. The company emphasizes the importance of this approach for systems where missed deadlines can result in functional failure or safety risks.

Eric Barton, Senior Vice President of Code Testing Tools at Vector, commented on the significance of timing safety in software-defined vehicles and other systems. He stated, “By combining StatInf’s advanced technology with our toolchain, we enable customers to design and verify timing constraints more efficiently and with greater confidence.” This integration is poised to offer customers enhanced capabilities in managing timing constraints effectively.

In practical terms, Vector plans to integrate RocqStat into its VectorCAST toolchain over the medium term. The objective is to create a more unified environment covering timing analysis, WCET estimation, software testing, and verification. This consolidation aligns with the industry trend towards end-to-end verification platforms that reduce tool fragmentation and enhance traceability for certification purposes.

Existing StatInf customers can expect full business continuity, with ongoing support and a clear migration path as the integration progresses. Vector stresses that the acquisition is not solely about adding technology but also about preserving and scaling specialized knowledge in real-time analysis. As software-defined architectures continue to reshape automotive and industrial electronics, the ability to quantify and verify execution timing is transitioning from a niche concern to a mainstream requirement. Vector’s acquisition of RocqStat underscores the evolution of verification toolchains to meet this growing demand.