SureSoft：PROV

时序和资源量测试工具

 

一、为什么选择PROV

1、集测试专业技术于一身的自主开发工具

工具高度可扩展，可为客户提供友好的技术支持

2、拥有多项功能安全国际认证

获得汽车/核能/铁路/航空领域国际认证

3、提供全面的资源使用率验证解决方案

提供针对客户需求的咨询、工具、工程服务和KOLAS（CNAS）认证

 

二、需求

什么是资源利用率检查？

? 预先检查系统运行期间控制器CPU、内存等资源的耗尽可能性和性能可用性

 

按资源类型划分的故障因素（1/2）

? 如果CPU使用量不足，则Task会延迟执行或不执行

按资源类型划分的故障因素（2/2）

? 内存不足会导致Stack overflow，导致整个系统死机

? 如果时序不对，功能将正常运行，但无法达到目标性能

 

在汽车功能安全性标准（ISO 26262）和AUTOSAR中明确规定为强制项

? ISO 26262：所有具有安全等级的部件都必须进行资源使用测试

? AUTOSAR: 在System Services中，以Timing Analysis主题定义文档

控制 SW Timing 测量元素

? 在AUTOSAR 中定义的时序测量元素: IPT、CET、GET、RT、DT、PER、ST、PRE、NST

三、解决方案

插入探针以测量资源使用情况，实时测量资源使用量

? 支持适合开发环境的探针插入方法( Manual, Auto, 自定义)

? 与控制器实时通信收集测试数据( CAN, CANFD, Ethernet)

 

用于控制SW性能评估和优化

四、功能

实时测试

 ? 确认实时CPU/内存使用量及Task/ISR等各执行单位的计时结果

检查时序违规并创建快照信息

? 输 Deadline为约 则会 动创 违规检测 → 图

 

利用快照图分析时序执行状态

? 快照图：用图形表示每个测量项目在特定时间点的运行流

? 分析发生冲突的Task子Runnable的运行时间，分析分区CPU使用情况

 

支持HILS集成和基于TC的性能测试

? 支持HILS仿真环境中TC级别的性能测量和报告生成

? 如果在TC运行前后发出测量开始/结束信号，PROV将自动执行测量。

 
自动生成报告功能

? 可将测量到的所有数据加工成用户需要的报告格式

? (支持客户定制报告的工具定制)

五、规格