亚美注册网站

立即登录

如果您已经拥亚美注册网站本站账号,可以直接登录。

*为必填项注册新会员

  • 登录名: *  
  • 登录密码: *
  • 重复密码: *  
  • 姓名: *  
  • 亚美注册网站亚美注册网站名称: *  
  • 职务:
  • 联亚美注册网站电话: *  
  • 电子邮件: *  
  • 验证码: *  

立即登录

如果您已经拥亚美注册网站本站账号,可以直接登录。

*为必填项找回密码

  • 注册邮箱:

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

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

安全关键软件集亚美注册网站研制环境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,图片等

从不同的测试执行、构建和策略亚美注册网站合并分析结果

报告对比功能

类似数据库的检索功能



上海爱韦讯信息技术股份亚美注册网站 版权所亚美注册网站 沪ICP备13019901号-1 COPYRIGHT © 2017SHAVIATION 邮政编码:201203