发布信息当前位置: 首页 » 供应 » 精密/无损检测 » 面向目标硬件的高可靠、高安全软件测试工具

面向目标硬件的高可靠、高安全软件测试工具

点击图片查看原图
公司: 北京经纬恒润科技有限公司 
单 价: 面议 询价 
最小起订量:    
供货总量:
发货期限: 自买家付款之日起 3 天内发货
有效期至: 长期有效
最后更新: 2017-12-07
相关信息
 
产品详细说明

Rapita Verification Suite(简称:RVS),为英国Rapita Systems 公司提供的一套针对嵌入式软件目标平台测试工具。RVS 可以对软件的时间性能(WCET)进行全面的测试分析及验证,广泛应用于具有高可靠性要求的软件中,支持多种目标硬件上的动态测试。其产品符合ISO-26262DO-178B/CIEC-61508 等行业规范要求,兼容VxworksAUTOSAR操作大发国际娱乐,支持CC++Ada 多种语言,全方位支撑PowerPCIntelx86ARMInfineon 等主流处理器。

 

  RVS 提供两个版本:航空领域(Aero)和汽车领域(Auto)。针对航空、汽车领域分别提供DO-178C Qualification Kit ISO-26262 Qualification Kit 来满足高安全、高可靠的嵌入式软件验证需求。在奥迪、大陆大发集团娱乐网站、TRW、空客、柯林斯、霍尼韦尔等全球领先企业得到成功应用。

 

产品介绍

1. 软件运行时间评估工具—RapiTime

  RapiTime 能够进行软件时间性能的测量,通过分析得出最差执行时间数据,并为代码优化提供指导,其主要功能如下:

 

 

显著特点

l    检查不同的函数对于最差、最优以及平均执行时间的影响

l    通过大量调用来查看执行时间的变化

l    对于函数自身的上下文、循环以及数据块进行分析

l    定位产品的性能瓶颈

l    可视化的显示每个函数对最差情况执行时间的影响

l    检查最差情况的出现频率

l    识别代码在最差情况下的执行路径

l    显示由于硬件性能不同对于执行时间的影响

 

2. 软件覆盖率分析工具—RapiCover

RapiCover 是一款基于目标硬件的嵌入式软件的测试覆盖率分析工具, 针对所使用的测试用例给出对应的现场测试覆盖率信息,其插桩点的开销极小,并能针对目标板的实际情况提供灵活的支持方式。其主要功能如下:

 

 

显著特点

l    支持CC++Ada编程语言

l    极小的时间开销

l    语句覆盖,变量定义、条件判断或循环

l    MC/DC覆盖、功能覆盖、调用覆盖

l    MATLAB/Simulink 无缝集成,可便捷集成SIL/PIL/HIL环境中

l    提供DO-178B/C Kit

 

3. 软件多任务调度分析工具—RapiTask

RapiTask 为复杂的嵌入式大发国际娱乐提供了可视化的操作大发国际娱乐的调度和事件跟踪。RapiTask 可以通过RapiTime 的接口,进行对软件时间问题进行详细审查。

 

 

显著特点

l  定位不常见的时间的事件,比如竞态条件

l  定位多任务和多核大发国际娱乐的大发国际娱乐容量和负载问题,消除大发国际娱乐集成风险

l  支持多个目标大发国际娱乐,而不是绑定到一个特定的操作大发国际娱乐

 

应用&案例

巴西航空工业公司使用RVS 工具为飞控大发国际娱乐Level A 级软件进行最差运行时间分析,为DO178B 适航认证提供素材。

 

    Alenia Aermacchi 公司,使用RVS 工具为M-346 飞机软件进行最差运行时间分析,节省了10% 的测量时间,并且检查结果可信度更高。


公司联系方式
  • 北京经纬恒润科技有限公司 [加为商友]
  • [第4年] 指数:6
  • 联系人许女士(女士)    
  • 电话
  • 手机(010)64840808-6104
  • 地区北京
  • 地址北京市海淀区知春路7号致真大厦6层
  •   
同类产品

[ 供应搜索 ]  [ ]  [ 告诉好友 ]  [ 打印本文 ]  [ 关闭窗口 ]  [ 返回顶部 ]

CK365测控网郑重提醒:网上过低的价格有可能是虛假价格信息,请买家谨慎对待,谨防价格欺诈行为。投诉或价格欺诈行为,请发送邮件至 [email protected]
 
博聚网