Vector strengthens timing analysis with RocqStat acquisition
Vector Informatik has expanded its software verification portfolio with the acquisition of RocqStat software technology and the expert team behind it from StatInf. The move strengthens Vector’s position in timing analysis and worst-case execution time (WCET) estimation for safety-critical, software-defined systems. The company says the acquisition responds directly to increasing complexity and verification demands in automotive and other regulated domains.
For eeNews Europe readers working on embedded and cyber-physical systems, this development is particularly relevant as timing determinism and execution guarantees are becoming as critical as functional correctness. The integration of advanced WCET analysis into established verification toolchains points to how tool vendors are adapting to software-defined vehicles and increasingly autonomous systems.
Expanding timing and WCET capabilities
According to the release, Vector has acquired both the RocqStat timing analysis technology and the experienced engineering team from StatInf, ensuring continuity of expertise while accelerating further development. RocqStat is used for timing analysis and WCET estimation, key elements in verifying real-time behavior in safety-critical software.
Vector positions the acquisition as a strategic enhancement to its existing code testing and verification offerings. By bringing 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 notes that this is increasingly important for systems where missed deadlines can lead to functional failure or safety risks.
“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.”
Integration into VectorCAST toolchain
In practical terms, Vector plans to integrate RocqStat into its VectorCAST toolchain over the medium term, according to the release. The goal is to create a more unified environment covering timing analysis, WCET estimation, software testing, and verification. Such consolidation reflects a broader industry trend toward end-to-end verification platforms that reduce tool fragmentation and improve traceability for certification.
Existing StatInf customers are expected to see full business continuity, with ongoing support and a clear migration path as integration progresses. Vector emphasizes that the acquisition is not only 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 moving from a niche concern to a mainstream requirement. Vector’s acquisition of RocqStat underscores how verification toolchains are evolving to meet that reality.
If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :
