Rapita Verification Suite(简称:RVS),为美国Danlaw公司提供的一款嵌入式系统在板测试套件,主要应用于汽车领域。其产品符合ISO-26262、DO-178B/C、IEC-61508等行业标准,兼容Vxworks、Linux、SYSBIOS等操作系统,支持C、C++、Ada多种语言,多方位支撑TI、IBM、Intel、ARM、Freescale、Infineon等主流厂商处理器。
RVS针对汽车领域提供ISO-26262 Qualification Kit来满足高可靠、高安全的嵌入式软件验证需求。在奥迪、大陆电子等企业得到成功应用。
![](http://www.hirain.com/attached/ckfinder/userfiles/images/WWW11.png)
产品介绍
1.嵌入式软件时间性能分析工具—RapiTime
![](http://www.hirain.com/attached/ckfinder/userfiles/images/WWW22(1).png)
针对嵌入式软件时间性能(包括最差情况执行时间WCET),RapiTime可对其进行更全面的测量和统计,降低用户实施时间性能验证、软件优化、系统更新、集成关键嵌入式系统的成本和研发工作量。其显著特点如下:
• 提供函数级、代码段级的最差情况执行时间(WCET)、 最大执行时间、最小执行时间、平均执行时间、高水位执行时间的测量和统计
• 帮助用户定位产品的性能瓶颈和软件优化重点
• 对函数或代码段的上下文、循环以及数据块进行分析
• 可视化显示每个函数或代码段对时间性能的影响程度
• 识别代码在最差情况下的执行路径
• 检查最差情况执行路径的出现频率
• 甄别由于硬件性能不同对于软件执行时间的影响
• 支持多任务和多核分析
• 支持持续集成,如Jenkins/Bamboo
2. 嵌入式软件代码覆盖分析工具—RapiCover
![](http://www.hirain.com/attached/ckfinder/userfiles/images/WWW33.png)
RapiCover是一款针对嵌入式目标代码进行覆盖度测试的工具,针对所设计的测试用例,统计在板代码覆盖率信息,其插桩点的开销很小,并能针对目标板的实际情况提供灵活的支持方式。其显著特点如下:
• 对于收集目标代码覆盖只需非常低的开销
• 支持功能安全标准(ISO26262和DO-178B/C)的覆盖度指标要求
• 支持覆盖度水平的标准包括Function Coverage,Statement Coverage,Decision/branch Coverage,Modification condition/Decision Coverage等
• 支持多核系统的覆盖度测试
• 提供多种便捷操作,提升测试效率
• 提供不同颗粒度的自动插装选择
• 支持C、C++、Ada语言,兼容主流编译器
3. 嵌入式软件任务调度和事件分析工具—RapiTask
![](http://www.hirain.com/attached/ckfinder/userfiles/images/WWW44.png)
针对复杂的嵌入式系统,RapiTask能可视化软件任务调度和事件跟踪。用户在使用复杂调度行为(如多核、多线程)的嵌入式系统时,RapiTask可帮助解决可能面临的挑战。其显著特点如下:
• 自动获取任务/中断调度级别的时间性能指标
• 定位罕见的时序错误问题,比如竞态条件、死锁、优先级倒置
• 定位多任务和多核平台的系统容量和负载问题,消除系统集成风险
• 验证系统的时序行为,与RapiTime联用能够获取更加详细的时序分析结果
• 独立于目标系统,能够适应不同的目标板及不同的实时操作系统
4. 高速海量测试数据记录仪—RTBx
![](http://www.hirain.com/attached/ckfinder/userfiles/images/WWW55.png)
RTBx是一款高速海量测试数据记录仪。通过连接目标硬件平台的输出端口,收集目标运行的时间戳数据和插桩点标识符。其显著特点如下:
• 一种通用的解决方案,能够复用在不同的工程当中
• 收集和输出数据简单快速
• 巨大的数据储存能力
• RTBx将检测点代码尺寸和执行时间开销降到了非常低
• 直接与用户目标硬件的TTL或LVDS等I/O接口相连
• 长达数天的连续数据存储能力
• 展示目标硬件针脚状态
![](http://www.hirain.com/attached/ckfinder/userfiles/images/WWW66.png)
应用&案例
![](http://www.hirain.com/attached/ckfinder/userfiles/images/WWW77.png)
|