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来满足高可靠、高安全的嵌入式软件验证需求。在奥迪、大陆电子等企业得到成功应用。
产品介绍
1.嵌入式软件时间性能分析工具—rapitime
针对嵌入式软件时间性能(包括最差情况执行时间wcet),rapitime可对其进行更全面的测量和统计,降低用户实施时间性能验证、软件优化、系统更新、集成关键嵌入式系统的成本和研发工作量。其显著特点如下:
提供函数级、代码段级的最差情况执行时间(wcet)、 最大执行时间、最小执行时间、平均执行时间、高水位执行时间的测量和统计
帮助用户定位产品的性能瓶颈和软件优化重点
对函数或代码段的上下文、循环以及数据块进行分析
可视化显示每个函数或代码段对时间性能的影响程度
识别代码在最差情况下的执行路径
检查最差情况执行路径的出现频率
甄别由于硬件性能不同对于软件执行时间的影响
支持多任务和多核分析
支持持续集成,如jenkins/bamboo
2. 嵌入式软件代码覆盖分析工具—rapicover
rapicover是一款针对嵌入式目标代码进行覆盖度测试的工具,针对所设计的测试用例,统计在板代码覆盖率信息,其插桩点的开销很小,并能针对目标板的实际情况提供灵活的支持方式。其显著特点如下:
对于收集目标代码覆盖只需非常低的开销
支持功能安全标准(iso26262和do-178b/c)的覆盖度指标要求
支持覆盖度水平的标准包括function coverage,statement coverage,decision/branch coverage,modification condition/decision coverage等
支持多核系统的覆盖度测试
提供多种便捷操作,提升测试效率
提供不同颗粒度的自动插装选择
支持c、c++、ada语言,兼容主流编译器
3. 嵌入式软件任务调度和事件分析工具—rapitask
针对复杂的嵌入式系统,rapitask能可视化软件任务调度和事件跟踪。用户在使用复杂调度行为(如多核、多线程)的嵌入式系统时,rapitask可帮助解决可能面临的挑战。其显著特点如下:
自动获取任务/中断调度级别的时间性能指标
定位罕见的时序错误问题,比如竞态条件、死锁、优先级倒置
定位多任务和多核平台的系统容量和负载问题,消除系统集成风险
验证系统的时序行为,与rapitime联用能够获取更加详细的时序分析结果
独立于目标系统,能够适应不同的目标板及不同的实时操作系统
4. 高速海量测试数据记录仪—rtbx
rtbx是一款高速海量测试数据记录仪。通过连接目标硬件平台的输出端口,收集目标运行的时间戳数据和插桩点标识符。其显著特点如下:
一种通用的解决方案,能够复用在不同的工程当中
收集和输出数据简单快速
巨大的数据储存能力
rtbx将检测点代码尺寸和执行时间开销降到了非常低
直接与用户目标硬件的ttl或lvds等i/o接口相连
长达数天的连续数据存储能力
展示目标硬件针脚状态
应用&案例
相关链接 (直接点击进入)
1
基于仿真的数字孪生系统构建与应用
2
optimus — 汽车领域多学科优化设计解决方案
3
智能驾驶高精度数据采集系统及应用分析
4
helix qac — 软件静态测试工具
5
tessy — 嵌入式软件单元测试 / 集成测试工具
6
3d experience — 产品协同研发平台
经纬恒润通过与ibm、dassault、ansys等知名工业软件厂商合作,为用户提供汽车电子领域数十种研发工具,并通过在研发流程、建模仿真、测试验证、平台建设等领域的定制开发和技术服务,助力用户实现研发的流程化、数字化、智能化和平台化,提升产品研发效率和市场竞争力。
原文标题:rvs — 面向目标硬件的软件性能测试工具
文章出处:【微信公众号:经纬恒润】欢迎添加关注!文章转载请注明出处。
除了容量 机械硬盘面对SSD毫无可比性 希捷宣布转型
贾跃亭高位减持140.25亿,挖坑乐视前高管来填
LG U+携手Space X将星链服务引入韩国市场
如何选择液压拉力试验机厂家?
农药残留检测仪的产品特点是怎样的
RVS — 面向目标硬件的软件性能测试工具
基于可编程逻辑器件和VHDL语言实现信号源的方案设计
外媒:特斯拉表现亮眼说明美国要大量投资不怕风险
5G全网通执法记录仪都有哪些技术优势?
中国首条磁浮旅游专线长春下线
以LPC935单片机为主控制器的智能太阳能路灯控制系统设计
Java可编程JoC模块简化硬件设计
输入电容和负载电容引起的放大器振荡问题
中软国际内容协作平台“四大能力”破解非结构化数据难题
如何使用Paramiko库来建立SSH连接远程命令?
魅族Pro7 Plus有望了?三星官宣Exynos9 媲美骁龙835
天玑9200 创造全场景连接新体验
狗狗大逃杀理财平台系统软件制作开发
重磅丨AI领域杀出一匹黑马,蓝宙科技获1亿元Pre-A轮融资
AI医疗是未来大势所趋 能让病症无所遁形