概述

       Rapita Verification Suite（简称：RVS），为美国Danlaw公司提供的一款嵌入式系统在板测试套件，主要应用于汽车领域。其产品符合ISO-26262、DO178B/C、IEC-61508等行业标准，兼容Linux、Vxworks、SYSBIOS 等操作系统，支持Ada、C++、C多种语言，多方位支撑Infineon、TI、IBM、Intel、ARM、Freescale等厂商处理器。
       RVS针对汽车领域提供 ISO-26262 Qualification Kit来满足高可靠、高安全的嵌入式软件验证需求。在奥迪、大陆电子等企业得到应用。

产品介绍

• 嵌入式软件时间性能分析工具—RapiTime

       针对嵌入式软件时间性能（包括最差情况执行时间 WCET），RapiTime可对其进行全方位测量和统计，降低用户实施时间性能验证、软件优化、系统更新、集成关键嵌入式系统的成本和研发工作量。其显著特点如下：

»  提供函数级、代码段级的最差情况执行时间（WCET）、 高水位执行时间、最大执行时间、最小执行时间、平均执行时间的测量和统计 
»  帮助用户定位产品的性能瓶颈和软件优化重点 
»  对函数或代码段的上下文、循环以及数据块进行分析 
»  可视化显示每个函数或代码段对时间性能的影响程度 
»  识别代码在最差情况下的执行路径 
»  检查最差情况执行路径的出现频率 
»  甄别由于硬件性能不同对于软件执行时间的影响
»  支持多任务和多核分析
»  支持持续集成，如Jenkins/Bamboo

• 嵌入式软件代码覆盖分析工具—RapiCover

       RapiCover 是一款针对嵌入式目标代码进行覆盖度测试的工具，针对所设计的测试用例，统计在板代码覆盖率信息，其插桩点的开销较小，并能针对目标板的实际情况提供灵活的支持方式。其显著特点如下： 

»  对于收集目标代码覆盖度只需较低的开销 
»  支持功能安全标准（ISO26262和DO-178 B/C）的覆盖度指标要求
»  支持覆盖水平的标准，包括Function Coverage、Decision/branch Coverage、Modification condition/Decision Coverage、Statement Coverage等 
»  支持多核系统的覆盖度测试 
»  提供多种便捷操作，提升测试效率
»  提供不同颗粒度的自动插装选择
»  支持 C、C++、Ada 语言，兼容主流编译器

• 嵌入式软件任务调度和事件分析工具—RapiTask

       针对复杂的嵌入式系统，RapiTask 能可视化软件任务调度和事件跟踪。用户在使用复杂调度行为（如多核、多线程）的嵌入式系统时，RapiTask可帮助解决可能面临的挑战。其显著特点如下：

»  自动获取任务/中断调度级别的时间性能指标
»  定位罕见的时序错误问题，比如竞态条件、死锁、优先级倒置 
»  定位多任务和多核平台的系统容量和负载问题，消除系统集成风险 
»  验证系统的时序行为，与RapiTime联用能够获取更加详细的时序分析结果
»  独立于目标系统，能够适应不同的目标板及不同的实时操作系统
  

• 高速海量测试数据记录仪—RTBx

       RTBx 是一款高速海量测试数据记录仪。通过连接目标硬件平台的输出端口，收集目标运行的时间戳数据和插桩点标识符。其显著特点如下： 

»  一种通用的解决方案，能够复用在不同的工程当中 
»  收集和输出数据简单和快速 
»  巨大的数据储存能力 
»  RTBx 将检测点代码尺寸和执行时间开销降到了较低 
»  直接与用户目标硬件的TTL或LVDS等I/O接口相连 
»  长达数天的连续数据存储能力
»  展示目标硬件针脚状态

应用案例