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一直致力于帮助全球制造商和供应商开发复杂的电子产品,以满足功能安全、网络安全和效率方面的最高标准——主要应用于汽车行业,并越来越多地应用于医疗技术、工业物联、轨道交通和航空航天领域。
-
软件
+关注
关注
69文章
5388浏览量
92068 -
时序分析
+关注
关注
2文章
130浏览量
24298 -
Vector
+关注
关注
3文章
108浏览量
10117
原文标题:Vector通过收购RocqStat拓展时序分析专长
文章出处:【微信号:VectorChina,微信公众号:Vector维克多】欢迎添加关注!文章转载请注明出处。
发布评论请先 登录
简单认识Vector CANape Kernel软件平台
罗德与施瓦茨收购Software Radio Systems公司
Smart Eye拟收购瑞典人工智能软件公司Sightic
BlackBerry QNX与Vector发布Alloy Kore基础性车辆软件平台
被小米辞退的前高管王腾官宣创业:AI+传感器!(日益火热的传感器赛道)
长城汽车官宣全新战略级平台定名归元
山东大学开源鸿蒙技术俱乐部成立仪式暨系统软件技术论坛圆满举办
C++之父亲临北京,AI原生时代最值得参加的系统软件技术大会日程发布
宝马集团官宣成立新公司
Vector与QNX联合开发基础车载软件平台
BlackBerry QNX与Vector签署谅解备忘录
Vector MICROSAR HSM固件通过ISO/SAE 21434认证
Vector官宣收购StatInf公司RocqStat软件技术
评论