北京经纬恒润科技有限公司

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

    参考价格: ¥29999.00
    产品型号:面向目标硬件的高可靠、高安全软件测试工具
    适用范围:高教 职教
    所在地区:北京 海淀区
    上架时间:2018年01月16日
    留言咨询
    4008190228-0145
    与企业取得联系时请告知该信息获取自中国教育装备采购网
    我要分享
    详细说明

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

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

      产品介绍

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

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

      

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

      显著特点

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

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

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

      定位产品的性能瓶颈

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

      检查最差情况的出现频率

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

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

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

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

      

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

      显著特点

      支持C、C++、Ada编程语言

      极小的时间开销

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

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

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

      提供DO-178B/C Kit

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

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

      

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

      显著特点

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

      定位多任务和多核系统的系统容量和负载问题,消除系统集成风险

      支持多个目标系统,而不是绑定到一个特定的操作系统

      应用&案例

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

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