rapita verification suite(简称:rvs),为英国rapita systems公司提供的一款嵌入式系统在板测试套件。其产品符合iso-26262、iec-61508等行业标准,兼容vxworks、linux、sysbios 等操作系统,支持c、c 、ada多种语言,支撑ti、ibm、intel、arm、freescale、infineon等主流厂商处理器。
rvs针对汽车领域提供iso-26262 qualification kit来满足高可靠、高安全的嵌入式软件验证需求。在奥迪、大陆电子等企业得到成功应用。
产品介绍
嵌入式软件时间性能分析工具—rapitime
针对嵌入式软件时间性能(包括wcet),rapitime可对其进行多方位测量和统计,降低用户实施时间性能验证、软件优化、系统更新、集成关键嵌入式系统的成本和研发工作量。其主要功能如下:
• 显著特点
♦ 提供函数级、代码段级的wcet、平均执行时间、高水位执行时间的测量和统计等
♦ 帮助用户定位产品的性能瓶颈和软件优化重点
♦ 对函数或代码段的上下文、循环以及数据块进行分析
♦ 可视化显示每个函数或代码段对时间性能的影响程度
♦ 甄别由于硬件性能不同对于软件执行时间的影响
嵌入式软件代码覆盖分析工具—rapicover
rapicover是一款针对嵌入式目标代码进行覆盖测试的工具,针对所设计的测试用例,统计在板代码覆盖率信息,其插桩点的开销小,并能针对目标板的实际情况提供灵活的支持方式。其主要功能如下:
• 显著特点
♦ 对于收集目标代码覆盖只需较低的开销
♦ 可被用于要求符合标准(iso26262)的项目
♦ 支持所有覆盖水平的标准,包括mc/dc
♦ 支持多核系统的覆盖测试
♦ 支持c、c 、ada语言,兼容主流编译器
嵌入式软件任务调度和事件分析工具-rapitask
针对复杂的嵌入式系统,rapitask能可视化软件任务调度和事件跟踪。用户在使用复杂调度行为(如多核、多线程)的嵌入式系统时,rapitask可帮助解决可能面临的挑战。其主要功能如下:
• 显著特点
♦ 获取软件系统调度的高级概述
♦ 定位罕见的时序事件,比如竞态条件、优先级倒置
♦ 定位多任务和多核平台的系统容量和负载问题,消除系统集成风险
♦ 支持不同的目标系统,包括多核
♦ 验证系统的时序行为
高速海量测试数据记录仪—rtbx
rtbx是一款高速海量测试数据记录仪。通过连接目标硬件平台的输出端口,收集目标运行的时间戳数据和插桩点标识符。
• 显著特点
♦ 是一种通用的凯发娱乐登录的解决方案,能够复用在不同的工程当中
♦ 收集和输出数据是非常简单和快速
♦ 强大的数据储存能力
♦ rtbx将检测点代码尺寸和执行时间开销降到了很低
♦ 直接与用户目标硬件的i/o、lvds等接口相连
♦ 长达数天的连续数据存储能力