English 
Vector Informatik社は、StatInf社からRocqStatソフトウェアとその開発チームを買収しました。この買収により、ベクターはタイミング解析とワーストケース実行時間の推定にさらに強みを持つことになります。これは、セーフティ・クリティカルなシステムでソフトウェアを検証する信頼性の高い方法を必要とする企業が増えていることを受けたものです。.
StatInfチームはこの分野で深い経験を持っています。ベクターはそのノウハウを活用して、検証ワークフローやコードテストツール内の高度な解析技術を向上させる予定です。現在RocqStatをご利用のお客様は、これまで通りサポートを受けることができます。.
中期的には、ベクターはRocqStatをVectorCASTツールチェーンに組み込みたいと考えています。これにより、ユーザーはタイミング解析、WCET推定、ソフトウェアテスト、検証のすべてを1箇所で処理できるようになります。.
こちらもお読みください： SCオートモーティブとLightwheel、AI学習を日本に導入
今回の買収は、ソフトウェア検証における現実的な問題をベクターがより迅速に解決できるようにするためのものです。タイミングと信頼性は、自動車やその他のセーフティ・クリティカルな産業において非常に重要な要素となっています。この大きな一歩は ベクトル は、専門的なツールを単一のプラットフォームに統合することで、テストを容易にし、同時に正確なものにするという大胆な一歩を踏み出しました。.
日本語