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

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

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

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

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