电子产品世界

Vector Informatik 从 StatInf 公司收购了 RocqStat 软件技术及其背后的专业团队，以此扩充自身的软件验证产品组合。这项举措强化了 Vector 在安全关键型软件定义系统的时序分析与最坏情况执行时间（WCET）估算领域的市场地位。该公司表示，此次收购是为了直接应对汽车及其他受监管领域日益增长的系统复杂度与验证需求。

对于从事嵌入式系统与信息物理系统相关工作的读者而言，这项进展具有重要意义 —— 因为在这类系统中，时序确定性与执行时间保障，正变得和功能正确性同等关键。将先进的最坏情况执行时间分析功能整合至成熟的验证工具链中，也体现出工具厂商正积极适配软件定义汽车及高等级自动驾驶系统的发展趋势。

拓展时序与最坏情况执行时间分析能力

据官方公告显示，Vector 同时收购了 RocqStat 时序分析技术与 StatInf 公司的资深工程团队，此举既保障了技术经验的延续性，也将加速相关技术的后续迭代。RocqStat 主要用于时序分析与最坏情况执行时间估算，这两项功能是验证安全关键型软件实时性的核心要素。

Vector 将此次收购定位为对现有代码测试与验证产品的战略性升级。通过吸纳 StatInf 的专业人才，Vector 旨在深化自身的分析能力，同时优化验证工作流，从而能在开发周期的早期阶段就持续解决时序约束相关问题。该公司指出，对于那些一旦错过任务时限就可能引发功能故障或安全风险的系统而言，这项能力的重要性正与日俱增。

“时序安全性正成为软件定义汽车及其他软件定义系统的关键要素。”Vector 代码测试工具部门高级副总裁 Eric Barton 表示，“通过将 StatInf 的先进技术与我们的工具链相结合，我们能够帮助客户更高效、更有把握地完成时序约束的设计与验证工作。”

整合至 VectorCAST 工具链

官方公告提及，Vector 计划在中期内将 RocqStat 整合到其 VectorCAST 工具链中。整合的目标是打造一个更统一的验证环境，覆盖时序分析、最坏情况执行时间估算、软件测试与验证等全流程。这种整合趋势也反映出行业的一个普遍走向 —— 打造端到端的验证平台，以此减少工具碎片化问题，并提升认证工作的可追溯性。

Vector 强调，现有 StatInf 客户的业务将完全保持连续性，在技术整合过程中，客户会获得持续的技术支持，以及清晰的迁移路径。此次收购的价值不仅在于引入新技术，更在于对实时分析领域专业知识的保留与规模化拓展。

随着软件定义架构持续重塑汽车与工业电子领域，量化并验证程序执行时序的能力，正从一个小众需求转变为主流要求。Vector 收购 RocqStat 的举动，也凸显出验证工具链正朝着满足这一现实需求的方向不断演进。

关键词： Vector RocqStat 软件 时序分析

加入微信
获取电子行业最新资讯
搜索微信公众号：EEPW
或用微信扫描左侧二维码