마이크로칩 8월
This page was machine-translated and may differ from the original. View original

Vector Korea Acquires RocqStat, Promoting Integration of Timing and WCET Verification

Google 우선 소스Published2026.03.05 11:03


Expanding Code Test Coverage with VectorCAST Integration, Maintaining StatInf Customer Support

In embedded and safety-critical systems where real-time characteristics are crucial, it's crucial to verify not only that functions operate "correctly," but also that they complete execution within a specified timeframe, even under worst-case conditions. As this "time" verification requirement grows, code testing tools are expanding to incorporate timing analysis.

Vector Korea announced in a release on March 5 that it has acquired the 'RocqStat' technology and a team of experts in the field from StatInf, expanding its safety verification capabilities to the entire code testing area.

RocqStat was introduced as a technology used to analyze the timing of embedded software execution and estimate the Worst-Case Execution Time (WCET). Vector aims to strengthen its timing analysis and WCET estimation capabilities to meet the growing demand for reliable software verification in safety-critical systems.

In terms of future products, the direction of integration was suggested to link RocqStat with VectorCAST, Vector's code testing toolchain. The company explained that in the medium term, it will support performing timing analysis, WCET estimation, and software testing and verification in a single environment.

It was also mentioned that StatInf is a startup spun off from the French research institute Inria, and that continuity of support will be maintained for existing StatInf customers.
본 기사에 대한 정정·반론·추후보도 청구는 보도 청구 안내를, 그간 게재된 보도문은 정정·반론보도 모아보기를 참고해 주세요.
배종인 기자
배종인 기자