Vector通过收购RocqStat拓展时序分析专业能力

StatInf经验丰富的团队加入，确保专业知识的延续，并加速Vector代码测试工具链在时序分析、验证工作流和高级分析领域的创新。 
StatInf的现有客户将享受全面的业务连续性。中期来看，Vector计划将RocqStat整合到VectorCAST工具链中，从而为时序分析、WCET估算、软件测试和验证创建一个统一的环境。

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

关于StatInf和RocqStat
StatInf是一家从法国国家数字科学与技术研究院（Inria）分拆出来的法国初创公司。StatInf开发用于嵌入式系统时序安全性的工业级软件工具。其RocqStat技术可在整个开发生命周期内实现时序信息和约束条件的早期集成与持续验证。

关于Vector
Vector是面向软件定义系统的嵌入式软件、工具、云技术及服务的领先供应商。35+年来，Vector一直助力全球制造商和供应商开发符合最高功能性、功能安全、网络安全和能效标准的复杂电子产品，主要服务于汽车行业，并在医疗技术、工业物联网、铁路和航空航天领域日益拓展业务。