跳过主要内容
天的免费试用 客户门户网站 职位空缺 - 178 c手册吗
欧宝体育登录不上

行业领先的验证工具和服务

Rapita验证套件(RVS)

加固测试——单元/系统测试 加固封面-结构覆盖分析 加固时间-时序分析(包括WCET) 加固任务——调度可视化 ob 体育在线竞猜 ob.app ob 直播

多核验证

CAST-32A合规 ob 官网 加固守护进程

服务

V & V服务 ob 游戏 培训 工具集成 支持

行业

航空航天(c - 178) 汽车(ISO 26262) 空间

其他

RTBx Mx-Suite 软件许可 产品生命周期政策 旅游房车发展路线图

拉皮塔总部最新消息

ob 体育

航空航天技术周- 2021年11月
NASA选择Rapita验证套件作为月球门户
约克航空航天和火箭学会更新
FACE技术交流会议- 2021年9月
ob 体育

来自Rapita博客的最新消息

介绍RapiTest编辑器
太阳轨道飞行器的软件验证
Metrowerks CodeTest -如何升级以及为什么升级
利用面部一致性工件支持适航性
观点的博客

最新发现的页面

do178c- 178 c吗
matlab_simulinkMATLAB Simulink MCDC覆盖和WCET分析
code_coverage_adaAda, C和c++的代码覆盖
amc - 20 - 193AMC 20 - 193
视图发现页面

即将来临的事件

NXP多核航空电子设备2021
2021-11-16
如何执行具有成本效益的多核验证
2021-11-18
查看事件

行业专业人员的技术资ob 直播源

最新白皮书ob体育盘口线上

DO178C手册
通过DO-178C生命周期进行有效验证
安全临界多核时序分析的商业解决方案
白皮书缩略图
符合未来机载能力环境(FACE)标准
视图白皮书ob体育盘口线上

最新的视频

RVS 3.15视频缩略图
多核时序分析支持与RVS 3.15
如何验证航空电子设备的多核硬件和软件
验证多核硬件和软件
使用RapiTest编辑器进行测试
多核时序分析中的工具自动化
自定义多核导出与RVS
观看视频

最新案例研究

柯林斯白皮书封面
为柯林斯航空航天提供世界级的工具支持
支持柯林斯航空公司获得DO-178C企业工具资质(RVS)
Cobham Aerospace Connectivity: RapiCover继续实现最具挑战性的目标
视图的案例研究

其他下载

在线研讨会

宣传册

产品简介

技术注释

研究项目

发现Rapita

我们是谁

该公司的菜单

  • 关于我们
  • 客户
  • 分销商
  • 位置
  • 合作伙伴
  • 研究项目
  • 联系我们

我们办公室

+ 1 248-957-9801
info@rapitasystems.com
41131 Vincenti Ct。
诺小姐,48375年
美国

英国的办公室

+ 44 (0) 1904 413945
info@rapitasystems.com
阿特拉斯的房子
纽约,YO10 3简森-巴顿
英国

在Rapita工作

欧宝娱乐可信吗

欧宝娱乐可信吗职业生涯的菜单

  • 当前的机会和申请流程
  • 在Rapita工作
回到顶部

C, c++ & Ada测试套件-免费试用- Rapita验证套件(RVS)

欧宝体育登录不上

旅游房车

Rapita验证套件:集成嵌入式软件测试C, c++和Ada。

为什么选择Rapita验证套件?

  • 在代码上运行基于需求的测试
  • 从测试中生成覆盖证据,包括MC/DC
  • 分析执行时间,包括最坏情况下的目标时间
  • 理解程序调度行为
  • 提供DO-178和ISO 26262认证的证据

开始免费试用请求一个演示

设计用于嵌入式软件测试,RVS包括柯林斯航空航天、空中客车和丰田在内的一些世界知名公司都在使用。

我们的免费30天试用期包括所有您需要体验RVS,让你:

  • 使用RVS一套软件测试工具,在几分钟内分析样例应用程序
  • 在主机上构建自己的应用程序(适用于大小限制)
  • 编写和运行系统、集成和单元测试(Rapi测试)
  • 测量到MC/DC (Rapi封面)
  • 计算最坏情况执行时间(WCET)并确定源代码中的优化机会(Rapi)时间)
  • 从应用程序可视化系统调度行为(Rapi任务)
  • 使用我们的零足迹嵌入式测试工具来探索代码覆盖所包含分支跟踪的无工具验证(Rapi封面零)和执行时间(Rapi时间零)分析
  • 了解如何使用符合航空电子设备测试(DO-178)和汽车测试(ISO 26262)资格的工具来验证您的安全关键项目。

完整的详细教程,试用版支持64位Windows 7和Windows 10。

注册30天免费试用

你对哪些工具感兴趣?
当您联系我们时,我们将按照我们的资料保护政策处理您的个人资料,请参阅我们的客户隐私信息为更多的信息。

接下来会发生什么?
我们的目标是在一个工作日内响应试用版的请求。如果你有任何问题,请不要犹豫联系我们。

旅游房车的成功故事

“(使用RVS)的主要优势是有可能识别出需要优化的软件瓶颈。如果没有RVS,强制性的代码优化就会在不知道将精力集中在哪里的情况下完成。”

阿莱尼亚航空母舰M-346 Master是一种军用跨音速教练机,设计用于训练前线战斗机的战斗飞行员,由数字飞行控制系统提供动力。Alenia Aermacchi使用了两个Rapi时间和加固封面为M-346 Master开发飞行控制软件,使他们能够轻松识别最坏情况的执行时间热点,并提供证据,证明他们的测试覆盖了他们的代码库,这是他们获得DO-178B认证所需要的。

通过使用这些RVS在工具的帮助下,Alenia Aermacchi能够快速识别系统中的瓶颈,支持优化系统中最坏情况下的计时行为,并快速、准确和有效地生成他们的a级软件的结构代码覆盖证据(包括MC/DC)。

开始

请求演示

现在是格林尼治时间

接下来会发生什么?
我们的目标是在一个工作天内响应演示请求。

  • 解决方案
    • Rapita验证套件
    • 加固测试
    • 加固封面
    • 加固时间
    • 加固任务

    • CAST-32A合规计划
    • 验证和验证服务
    • ob 游戏
    • 培训
    • 集成
  • 最新的
  • 最新的菜单

    • ob 体育
    • 博客
    • 事件
    • 视频
  • 下载
  • 下载菜单

    • 宣传册
    • 在线研讨会
    • ob体育盘口线上
    • 案例研究
    • 产品简介
    • 技术注释
    • 软件许可
  • 公司
  • 公司的菜单

    • 关于Rapita
    • 欧宝娱乐可信吗
    • 客户
    • 分销商
    • 行业
    • 位置
    • 合作伙伴
    • 研究项目
    • 联系
  • 发现
    • AMC 20 - 193
    • CAST-32A是什么?
    • 多核时间分析
    • MC / DC覆盖
    • Ada的代码覆盖,C & c++
    • 嵌入式软件测试工具
    • 航天软件测试
    • 汽车软件测试
    • 证明eVTOL
    • - 178 c吗
    • WCET工具
    • 最坏情况下执行时间
    • 时序分析(WCET) & Matlab Simulink的代码覆盖

欧宝体育官网入口隐私信息|商标的通知订阅我们的时事通讯

Baidu