rocqstat 文章 最新资讯

向量通过RocqStat采集增强时序分析

• Vector Informatik 从 StatInf 公司收购了 RocqStat 软件技术及其背后的专业团队，以此扩充自身的软件验证产品组合。这项举措强化了 Vector 在安全关键型软件定义系统的时序分析与最坏情况执行时间（WCET）估算领域的市场地位。该公司表示，此次收购是为了直接应对汽车及其他受监管领域日益增长的系统复杂度与验证需求。对于从事嵌入式系统与信息物理系统相关工作的读者而言，这项进展具有重要意义 —— 因为在这类系统中，时序确定性与执行时间保障，正变得和功能正确性同等关键。将先进的最坏
• 关键字： Vector  RocqStat  软件  时序分析