功能正确性仅是验证工作的半壁江山。在安全关键型开发中，软件还必须在所有相关条件下，于规定的时限内完成执行。VectorCAST/Timing使工程师能够计算、可视化和评估软件执行时间，包括认证和验证所需的统计概率。
时序数据基于实际执行时间测量结果，通过形式化统计方法推导得出。该工具既不依赖硬件模型，也不对微架构做出任何分析假设。它通过建模测量数据，识别对安全论证至关重要的极端情况；其生成的结果无需额外论证，即可直接用于认证审核。
VectorCAST/Timing适用于哪些人群？
VectorCAST/Timing专为从事单核和多核平台工作的安全工程师、验证和质量保证团队以及系统架构师设计。该工具适用于受ISO 26262、DO-178C、EN 50716、IEC 61508、IEC 62304和IEC 60880标准约束的项目。使用本工具需有有效的VectorCAST许可证。
优点
VectorCAST/Timing通过一种既实用又在形式上站得住脚的方法，弥补静态最坏情况执行时间（WCET）和纯测量方法所留下的空白。
生成可供安全论证依据的时序证据
将形式化统计方法应用于实际执行数据，所得结果适用于ISO 26262、DO-178C、EN 50716、IEC 61508、IEC 62304及IEC 60880标准的认证审核。
超越静态最坏情况执行时间（WCET）分析
静态最坏情况执行时间（WCET）分析得出的结果往往过于保守，导致硬件规格不必要地过高，并使约束条件在系统架构中产生连锁反应。VectorCAST/Timing基于实际测量数据进行分析，而非分析性假设。
基于实际执行数据进行时序分析
无需硬件模型，也不依赖微架构假设。时序分析结果完全基于软件在实际运行硬件上的真实执行情况。
尽早检测异常时序行为
在开发的所有阶段都能快速识别出统计学上的异常时序行为，而非在系统集成或认证审查的后期才被发现。
扩展现有的VectorCAST投资
VectorCAST/Timing专为VectorCAST生态系统打造，其发展路线图旨在实现与测试、代码覆盖率以及需求可追溯性的全面集成。
VectorCAST/Timing解决的问题
对于大多数团队而言，时序分析是验证流程中成熟度最低的部分。目前常用的两种方法各自都存在显著的缺点。
静态WCET估计
要正确应用静态最坏情况执行时间分析极为复杂，往往会得出过于保守的结果，从而导致不必要的硬件过量设计，并引入影响整个系统架构的设计约束。
纯粹基于测量的方法
基于测量的方法缺乏正式的保证。如果结果背后没有经过数学证明的方法，审计师就无法在认证审计中将这些数据作为充分的时点证据予以采纳。
VectorCAST/Timing同时解决这两个问题：基于测得的执行数据，并对这些数据应用形式统计方法，因此结果既植根于实际发生的情况，又得到可验证和核查的方法的支持。
主要特点
VectorCAST/Timing已通过资格认证，可用于正式的验证和认证项目，生成的报告适用于对时序符合性进行统计证明。
产品可用性
对于准备在平台正式发布前采用数学上严谨的时序分析的团队，VectorCAST/Timing现已开放早期访问。该工具已通过资质认证，生成的报告适用于在形式化验证和认证项目中提供时序合规性的统计证明。
产品路线图直接基于客户反馈和项目优先级进行制定。早期采用者将拥有最大的机会来影响最终产品的开发方向，包括集成设计、报告格式以及认证证据的整理与呈现。