*为必填项注册新会员

  • 登录名: *  
  • 登录密码: *
  • 重复密码: *  
  • 姓名: *  
  • 公司名称: *  
  • 职务:
  • 联系电话: *  
  • 电子邮件: *  
  • 验证码: *  

*为必填项找回密码

  • 注册邮箱:

    验证码会以邮件的方式发送到您的邮箱!

  • 验证码: *
  • 请输入新密码: *

安全关键软件集成研制环境ASIDE

提供软件全生命周期研制、管理和审定的综合支持

RapiTime 嵌入式软件WCET分析工具

您的位置: 首页 > 产品中心 > RapiTime 嵌入式软件WCET分析工具

RapiTime 嵌入式软件WCET分析工具


RapiTime如何帮到您


RapiTime是一个先进的时间分析和WCET分析工具,尤其适用于需要满足适航要求的机载嵌入式软件的时间分析。RapiTime生成的时间测量数据可以用于表明对DO-178B/C相关目标的符合性。


RapiTime使用了一种独特的动态与静态相结合的分析技术,能够为嵌入式系统自动进行时间分析,其分析结果提供了系统的详细时间行为信息,能够帮助用户识别时间问题并辅助用户优化代码。





▌应用RapiTime的收益


面对高度复杂、严苛的实时嵌入式系统,RapiTime能够有效降低用户在时间分析和时间性能优化方面的成本、时间和精力。


您甚至可以在非常庞大的系统上使用RapiTime来自动化时间数据的收集和分析。 在一个案例研究中,RapiTime仅用一天时间即获得了客户原来需要8个月才能获得的时间数据。


RapiTime的最低开销意味着您可以在每一次测试执行中执行时间分析,从而可以在软件研发过程中随时获得及时的时间数据信息。这些信息有助在软件研发的早期发现时间问题并降低代码的WCET。


RapiTime应用场景


★ 证明软件在其时间约束内运行

★ 在升级至新的目标机、甚至多核处理器时,分析软件的时间行为

★ 升级旧系统时优化代码

★ 执行WCET/高水位分析

★ 表明对DO-178B/C的符合性


RapiTime是如何工作的


RapiTime对代码进行静态分析并自动插装。当您在目标机运行代码时,RapiTime会收集包含时间数的程序运行追踪信息。然后RapiTime通过处理这些追踪信息来生成可鉴定的代码时间行为分析报告,并可以通过RapiTime的图形界面查看报告。


基于RapiTime生成的时间分析报告,以及其可“倒带”特性,您可以迅速识别出能够带来最大时间性能改进的待优化代码。


RapiTime插装的灵活性、低开销特性确保了其能够为即使最复杂、严苛的嵌入式软件开展时间行为分析。




RapiTime的关键特性


时间分析


自动收集软件在目标机和宿主机的运行时间数据

强大的WCET分析引擎

高水位分析

基于配置手段,在分析中包括或排除特定的模块、功能、路径

自动配置插装级别

为每一个函数和子函数计算详细的时间数据:

- 最小、最大和平均的运行时间

- 运行时间密度

- WCET路径和高水位路径的贡献值


分析引擎


基于上下文的分析

支持函数指针和递归

强大的注解功能

复杂代码结构


语言支持


Ada 83, 95, 2005 2012,支持GNAT proGreen Hills编译器

CC++,支持Visual StudioGCCDiabTASKING编译器

汇编代码

混合语言源代码


与构建系统集成


支持多种集成策略:

- 编译器封装器(Compiler wrappers

- 克隆集成(Clone integration

- 基于脚本直接集成至构建系统

支持大规模代码

支持老旧编译器

插装可以分布至多个构建周期中

支持与其他RVS工具组件集成


目标机集成


收集目标机时间信息支持CAN总线、串口、以太网、调试器、板载存储、外接数据记录器(如RTBx

8位、16位、32位和64位架构CPU均只有极低的插装开销

没有库和运行时依赖,没有动态内存要求

针对特定目标机支持0插装开销

支持跨上电周期的时间分析(受硬件制约)

数据收集支持暂停和恢复,以消除意外事件影响

极快、免锁定、线程-安全的追踪机制

支持多任务和多核处理器


工具鉴定


针对DO-178B/C提供工具鉴定包和鉴定服务


第三方集成


MATLAB Simulink GNAT-GPS

持续集成服务器,如JenkinsBamboo

调试器,如Lauterbach, i-SYSTEM


GUI


概览和详细视图

调用时间线,聚合概览和树形图可帮助您一目了然地了解时间行为

代码查看器:

- 同步查阅插装前后的代码;

- 通过颜色显著标识WCET路径和高水位路径

显示其他代码测量项,如LOC、循环数

时间追踪“倒带“功能以便于时间行为调试

按路径、文件、和函数粒度汇总时间测量数据

多种报告输出格式:txtXMLCSV,图片等

从不同的测试执行、构建和策略中合并分析结果

报告对比功能

类似数据库的检索功能



苏州天美国际信息技术股份有限公司 版权所有 COPYRIGHT © 2017BAIDUYIBATUI 邮政编码:201203