概述
Rapita Verifcation Suite（简称：RVS），为英国 Rapita Systems 公司提供的一款嵌入式系统在板测试套件，主要应用于汽车领域和航空领域。其产品符合 ISO-26262、DO-178B/C、IEC-61508 等行业标准，兼容 Vxworks、Linux、SYSBIOS 等操作系统，支持 C、C++、Ada 多种语言，全方位支撑 TI、IBM、Intel、ARM、Freescale Infneon 等主流厂商处理器。
RVS 提供两个版本：航空（Aero）和汽车（Auto）。针对航空、汽车领域分别提供 DO-178C Qualifcation Kit 和ISO-26262 Qualifcation Kit 来满足高可靠、高安全的嵌入式软件验证需求。在奥迪、大陆电子、TRW、空客、柯林斯、霍尼韦尔等全球领先企业得到成功应用。
产品介绍
• 嵌入式软件时间性能分析工具— RapiTime
针对嵌入式软件时间性能（包括最差情况执行时间WCET），RapiTime 可对其进行全方位测量和统计，降低用户实施时间性能验证、软件优化、系统更新、集成关键嵌入式系统的成本和研发工作量。其主要功能如下：
♦ 显著特点
►提供函数级、代码段级的最差情况执行时间（WCET）、最大执行时间、最小执行间、平均执行时间、高水位执行时间的测量和统计
►帮助用户定位产品的性能瓶颈和软件优化重点
►对函数或代码段的上下文、循环以及数据块进行分析
►可视化显示每个函数或代码段对时间性能的影响程度
►识别代码在最差情况下的执行路径
►检查最差情况执行路径的出现频率
►甄别由于硬件性能不同对于软件执行时间的影响
• 嵌入式软件代码覆盖分析工具— RapiCover
RapiCover 是一款针对嵌入式目标代码进行覆盖测试的工具，针对所设计的测试用例，统计在板代码覆盖率信息，其插桩点的开销极小，并能针对目标板的实际情况提供灵活的支持方式。其主要功能如下：
♦ 显著特点
►对于收集目标代码覆盖只需极低的开销
►可被用于要求符合标准（DO-178B/C 或ISO26262）的项目
►支持所有覆盖水平的标准，包括 MC/DC
►支持多核系统的覆盖测试
►支持 C、C++、Ada 语言，兼容主流编译器
• 嵌入式软件任务调度和事件分析工具— RapiTask
针对复杂的嵌入式系统，RapiTask 能可视化软件任务调度和事件跟踪。用户在使用复杂调度行为（如多核、多线程）的嵌入式系统时，RapiTask 可帮助解决可能面临的挑战。其主要功能如下：
♦ 显著特点
►获取软件系统调度的高级概述
►定位罕见的时序事件，比如竞态条件、优先级倒置
►定位多任务和多核平台的系统容量和负载问题，消除系统集成风险
►支持不同的目标系统，包括多核
►验证系统的时序行为
• 高速海量测试数据记录仪— RTBx
RTBx 是一款高速海量测试数据记录仪。通过连接目标硬件平台的输出端口，收集目标运行的时间戳数据和插桩点标识符。
♦ 显著特点
►是一种通用的解决方案，能够复用在不同的工程当中
►收集和输出数据是非常简单和快速
►巨大的数据储存能力
►RTBx 将检测点代码尺寸和执行时间开销降到了最低
►直接与用户目标硬件的 I/O、LVDS 等接口相连
►长达数天的连续数据存储能力
应用&案例
巴西航空工业公司使用 RVS 工具为飞控系统 Level A 级软件进行最差情况运行时间分析，为DO-178B适航认证提供素材。
Alenia Aermacchi 公司，使用 RVS 工具为 M-346 飞机软件进行最差情况运行时间分析，优化了 10% 的时间，并且测试结果可信度更高。
部分客户列表，如下：
