Vector Informatik于2026年1月16日,在其德国斯图加特总部,官宣收购了StatInf公司的RocqStat软件技术及其专家团队。此次收购意在增强Vector在时序分析和最差情况执行时间(WCET)估算方面的能力,更全面地支持安全关键型系统对可靠软件验证日益增长的需求。
整合StatInf经验丰富的团队可确保专业能力的连续性,并加快Vector代码测试工具链在时序分析、验证工作流和进阶分析方面的创新。StatInf现有客户的业务连续性完全不受干扰。从中期规划来看,Vector计划将RocqStat集成到VectorCAST工具中,为时序分析、WCET估算、代码测试和验证创建一个统一的工作环境。
“时序安全正成为软件定义汽车和其他软件定义系统的关键因素。”Vector代码测试高级副总裁Eric Barton说,“通过将StatInf的先进技术与我们的工具链相结合,我们使客户能够更高效、更自信地设计和验证时序约束相关的需求。”
关于StatInf和RocqStat
StatInf是一家从法国国家信息与自动化研究所(INRIA)分拆出来的法国初创企业,主营开发用于嵌入式系统时序安全策略的工业软件工具,其RocqStat技术可在整个开发生命周期内对时序信息和约束条件进行早期集成和持续验证。
关于Vector Informatik
Vector Informatik是为软件定义系统提供嵌入式软件、工具、云技术和服务的全球领先供应商。38年来,Vector一直致力于帮助全球制造商和供应商开发复杂的电子产品,以满足功能安全、网络安全和效率方面的最高标准——主要应用于汽车行业,并越来越多地应用于医疗技术、工业物联、轨道交通和航空航天领域。
全部0条评论
快来发表一下你的评论吧 !