跳过主要内容
免费30天试用 客户门户 职位空缺 DO-178C手册
欧宝体育登录不上

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

Rapita验证套件(RVS)

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

多核验证

CAST-32A合规 ob 官网 拉比守护进程

服务

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

行业

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

其他

RTB十、 Mx套件 软件许可 产品生命周期政策 旅游房车发展路线图

来自Rapita总部的最新消息

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文森蒂Ct。
诺小姐,48375年
美国

英国的办公室

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

在Rapita工作

欧宝娱乐可信吗

欧宝娱乐可信吗职业菜单

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

面包屑

  1. 家
  2. 旅游房车
  3. 快速任务
快速任务

实时操作系统调度可视化

为什么选择加固任务?

  • 通过调度可视化检查艾达、C或C++应用程序
  • 定位需要注意的罕见定时事件
  • 通过分析容量问题确定应用程序中的瓶颈
  • 比较不同RTOSs的调度算法
请求一个演示
  • 概述
  • 特性
  • ob 直播
  • 兼容性
  • 常见问题

通过调度可视化检查艾达、C或C++应用程序

了解应用程序的调度行为可以帮助您解决调度问题。拉比任务在程序执行期间自动收集信息,显示该数据,以便您可以跟踪在测试运行中发生的事件。

提供在系统中运行的任务的时间轴,丰富的图表和统计信息,Rapi任务让您深入分析系统的调度行为。

理解调度行为
定位罕见的计时事件

定位需要注意的罕见定时事件

拉比任务使您很容易在系统中找到罕见的时间事件,如优先级倒置,以便您可以修复它们。通过在执行过程中跟踪系统的任务,可以很容易地定位罕见的定时事件,这些事件可以很容易地可视化,例如根据优先级对任务进行颜色编码。

您还可以通过使用碎片图和统计数据,一眼就能确认您的最高优先级任务没有被抢占。

通过分析容量问题确定应用程序中的瓶颈

关键软件中的瓶颈可能会使系统变慢,甚至导致错过了时间期限而导致系统失败。通过让您查看整个软件执行过程中系统中每个任务的CPU利用率,Rapi任务帮助您识别瓶颈,以便您能够修复它们。

识别瓶颈
比较调度

比较不同RTOSs的调度算法

虽然有许多特定于供应商的调度可视化工具,但这些工具通常仅与单个RTO兼容。拉比任务无论您使用的是哪种RTO,都可以通过通用框架了解系统的调度行为。

这意味着更少的时间学习新工具,更多的时间测试和解决问题。

产品特点

  • 系统事件跟踪
  • 集成测试环境
  • 项目导航
  • 与构建系统的集成
  • 与嵌入式目标的集成
  • 语言支持
  • 许可
  • 支持和培训
  • 系统事件跟踪 在系统运行时自动分析任务的行为。
    发现这个功能
  • 了解调度行为 一目了然地了解系统的调度行为。
    发现这个功能
  • 定位罕见的计时事件 扫描大型跟踪,以确定具体的异常情况。
    发现这个功能
  • 分析系统容量问题 识别和分析系统的容量问题。
    发现这个功能
  • 操作系统仅仪器 收集任务调度数据,而不检测单个任务。
    发现这个功能
  • RTOS-independent调度可视化 通过一个通用的框架来理解程序调度,不管你使用的是哪个RTOS。
    发现这个功能
  • 对主机和目标进行自动化测试 在持续构建环境中的主机和测试平台上运行测试。
    发现这个功能
  • 高效集成工作流 快速、轻松地将RVS集成配置到您的开发环境中。
    发现这个功能
  • 房车服务项目经理 使用直观的用户界面将您的测试项目从创建到完成。
    发现这个功能
  • 与基于仪器的RVS工具共享集成 在集成一个RVS工具以在开发环境中工作之后,再使用其他工具就很简单了。
    发现这个功能
  • 为保密而编辑源代码 在对源代码进行编辑以支持第三方供应商的验证时,可以执行验证。
    发现这个功能
  • 便携式测试环境 多个用户可以共享相同的测试环境。
    发现这个功能
  • 轻松配置分析 使用友好的用户界面轻松应用分析设置。
    发现这个功能
  • 可定制的工作流 定制RVS工作流程,以最佳满足您的需求。
    发现这个功能
  • 模板集成 创建和使用模板集成来减少将RVS与系统集成的工作量。
    发现这个功能
  • 可定制颜色方案 自定义用于显示结果的配色方案。
    发现这个功能
  • 自定义任务颜色 可自定义的任务颜色有助于突出显示您最感兴趣的任务。
    发现这个功能
  • 全面核查toolsuite 一个工具可以满足您所有的软件验证需求。
    发现这个功能
  • 代码查看器 查看带有语法高亮显示和结果颜色编码的代码。
    发现这个功能
  • 很容易过滤结果 轻松过滤结果,集中您的分析。
    发现这个功能
  • 高级搜索功能 使用高级查询搜索特定元素的报告。
    发现这个功能
  • 调用时间线图 调用的时间轴可以帮助您可视化调用的顺序和每次执行所需的时间。
    发现这个功能
  • 与现有的构建系统集成 从几乎所有构建系统收集数据。
    发现这个功能
  • 编译器包装器 推荐的构建集成策略几乎不需要对开发环境进行任何更改。
    发现这个功能
  • 克隆整合 复制构建系统以使用RVS构建和测试代码。
    发现这个功能
  • 灵活的集成策略 使用灵活的收集策略从几乎所有嵌入式目标收集数据。
    发现这个功能
  • 多核支持 验证关键多核系统。
    发现这个功能
  • 低目标管理费用 在目标上安装更多测试,并减少需要运行的生成数量。
    发现这个功能
  • Lauterbach调试器 从Lauterbach调试器中收集验证数据。
    发现这个功能
  • iSYSTEM调试器 从iSYSTEMTM调试器收集验证数据。
    发现这个功能
  • C 支持C, Visual StudioTM, GCCTM, DiabTM和TASKINGTM等编译器。
    发现这个功能
  • C++ 支持c++, Visual StudioTM, GCCTM, DiabTM和TASKINGTM等编译器。
    发现这个功能
  • 艾达 支持Ada 95, 2005和2012,GNAT ProTM和Green HillsTM编译器等。
    发现这个功能
  • 混合语言支持 在相同的代码库中支持混合语言。
    发现这个功能
  • 组装 支持测试汇编代码。
    发现这个功能
  • 编译器扩展编辑器 使用交互式编辑器管理扩展以支持非标准编程语言。
    发现这个功能
  • 灵活的许可选择 选择浮动或节点锁定的许可证,使用年或永久期限。
    发现这个功能
  • 浮动的许可证 浮动许可证支持多用户和共享工作环境。
    发现这个功能
  • 节点锁定的许可证 节点锁定许可证支持在有限的地理区域内使用RVS。
    发现这个功能
  • 永久许可证 许可RVS无限期使用。
    发现这个功能
  • 年度许可证 每年增加RVS许可证。
    发现这个功能
  • 很容易开始 集成和学习资源可以帮助您立即开始验证代码。ob 直播
    发现这个功能
  • 支持 专门的技术支持服务,快速解决技术问题。
    发现这个功能
  • 培训 熟悉由熟练的现场应用工程师提供的定制培训课程。
    发现这个功能
  • 文档 了解如何将RVS功能与印刷版和电子版的综合文档一起使用。
    发现这个功能
  • 轻松迁移到新版本 使用有指导的迁移帮助轻松迁移到新的RVS版本。
    发现这个功能

视频

使用RapiTask缩略图的系统事件跟踪
使用RapiTask进行系统事件跟踪
00:00:39 |概述

下载

宣传册
欧宝体育登录不上Rapita系统手册
产品简介
用RapiTask可视化RTOS调度和事件跟踪
产品简介
CAST-32A法规遵从性解决方案
产品简介
软件支持和维护
产品简介
培训课程
产品简介
RVS概念验证研究

新闻和博客

新闻
Rapita与DDC-I成功举办网络研讨会
博客
什么是“合作”和“先发制人”调度算法?
博客
多核缺陷:非预期的代码同步
博客
使用RapiTask进行轻量级检测
博客
用于DDC-I的Deos RTO的开箱即用RVS集成

操作系统

类型 操作系统
目标部署 RVS工具可以用来分析软件运行任何主机操作系统或嵌入式目标(只要有可用的通讯渠道)。
主机工具 视窗7+
Windows Server 2008 R2+
各种Linux发行版(包括Ubuntu和Red Hat)
对于较老的操作系统,联系我们。
RVS工具可以在所有受支持的平台上使用。

编程语言

语言
艾达
C
C++
混合语言

编译程序

RVS设计为独立于目标编译器。我们已经部署了下面列表中的编译器,可以根据客户的要求快速添加新的编译器。

供应商 编译程序
AdaCore 蚊GPL
小昆虫专业
手臂 DS-5
armcl
宝蓝 Borland c++
宇宙的软件 --
GNU 海湾合作委员会
G + +
greenhill 艾达多
C多
IAR系统 嵌入式工作台
基尔 C51单片机
微软 Visual Studio
NXP CodeWarrior HCS12
任务 CC166
德州仪器公司 CCSv6
CL500
CL2000
C6X
C28X
风河系统公司 迪亚布
CCPPC

cpu

RVS工具可以用来分析软件运行任何主机操作系统或嵌入式目标(只要通信信道可用)。以下是一个例子不完我们使用过的cpu列表。

供应商 平台
手臂 ARM7
ARM9
ARM10
ARM11
Cortex-M
Cortex-R
Cortex-A
模拟设备 黑鳍白鲑
SHARC
SigmaDSP
TigerSHARC
ADSP-21xx
爱特梅尔公司 AT90CAN128
科巴姆·盖斯勒 LEON3
飞思卡尔(NXP) 68000
680年x0
ColdFire
M型芯
电源架构(MPC5xx, MPC55xx, MPC56xx)
ARM Cortex-M微控制器(Kinetis E系列、Kinetis K系列、Kinetis L系列、Kinetis M系列、Kinetis W系列)。
56k DSP系列
QorIQ (P2010, P2020, P4080, P5010, P5020, P5021, P5040, T2080)
IBM PowerPC (PPC)实现:
G1 (601)
G2(602603604620)
G3 (740/750)
7xx/750系列
G5/970系列
401
403
405
440范围
英飞凌科技
XE166家庭
我2000年的家庭
C166家庭
三叉戟
Tricore Aurix
Tricore Aurix代
XMC1000

常见问题

  • 一般
  • 兼容性
  • 许可和支持
全部展开
  • RapiTask是什么?
  • 快速任务是如何工作的?
  • 当我有RTOS供应商提供的工具时,为什么我需要RapiTask?
  • RapiTask如何显示OS事件,如进程间通信(信号量,消息)。定时器,硬件输入输出等等?
  • 我可以使用RapiTask来分析多核架构的行为吗?
  • 我的结果是如何呈现的?
  • 我的项目包括分包组织,我有保密问题。房车能帮到我吗?
  • 我可以只用RapiTask和RapiTime一起使用吗?或者我可以将RapiTask作为一个独立的工具使用吗?
  • 如果我有RapiTime,我还需要RapiTask吗?
  • RapiTask支持哪些语言?
  • RVS工具可以处理多大的代码库?
  • RVS可以在哪些主机操作系统上使用?
  • 我可以在构建系统中使用RapiTask吗?
  • RVS工具支持哪些硬件体系结构?
  • rv产品是如何获得许可的?
  • RVS如何支持企业许可?
  • 如果我在使用RVS工具时遇到问题怎么办?
  • 你们如何支持房车用户?
  • RVS用于软件验证有多久了?
  • 我如何更多地了解RapiTask?
  • RapiTask支持哪些语言?

    拉比任务支持C, c++和Ada项目,包括混合语言项目。

  • 我如何更多地了解RapiTask?

    你可以要求R的试用版VS包括拉皮在内任务。您也可以安排一个演示,我们的团队成员将与您合作,向您展示Rapi的好处任务我可以提供给你。

    如果你对Rapi感兴趣任务在学术界,你可以在学术出版物上搜索它。

  • RapiTask是什么?

    拉比任务是关键软件的任务级调度分析的主要工具。

    在航空航天和汽车行业中广泛使用,它降低了理解软件调度行为和排除调度问题的成本。

    作为R的一部分VStoolsuite,它是软件验证解决方案的一部分,该解决方案还包括用于功能测试、结构覆盖率分析和最坏情况执行时间分析的工具。

  • 快速任务是如何工作的?

    拉比任务提供了一个独立于rtos的工具,用于可视化和探索嵌入式系统的调度行为,并快速诊断和识别潜在的问题。

    它允许您可视化跨线程和处理器核的调度行为,并报告系统的响应时间。

  • RVS可以在哪些主机操作系统上使用?

    RVS工具支持Windows 7或更新版本,Windows Server 2008 R2或更新版本,以及各种Linux发行版,包括Ubuntu和Red Hat。

    RVS通过使用克隆集成拆分流程并将其部分委托给不受支持的计算机,可以在具有不受支持的操作系统的项目上使用工具。

  • RVS工具支持哪些硬件体系结构?

    RVS可以将工具集成到几乎任何嵌入式目标上。我们的工程师可以与您一起确定将工具与您的目标集成的最佳策略,即使是多核架构。有关硬件架构的更多信息,我们集成了RVS工具,请参阅我们的RVS产品页面。

  • 我可以在构建系统中使用RapiTask吗?

    拉比任务可以集成到几乎任何编译器和目标硬件。我们的集成服务承诺提供一个强大的Rapi集成任务进入你的构建系统。

  • 我的结果是如何呈现的?

    拉比任务在两个应用程序中显示结果房车服务项目经理和所有R共享VS工具,以及专门用于显示任务调度信息的应用程序。您可以同步这两个应用程序,以确保您可以轻松地识别系统中的特定定时事件。

  • 我可以使用RapiTask来分析多核架构的行为吗?

    就像所有的RVS工具、加固任务支持多核架构上的数据收集。

    拉比任务是Rapita系统的一个组件欧宝体育登录不上ob 官网 ,分析多核系统的时序行为,适用于DO-178C/CAST-32A兼容。

  • 当我有RTOS供应商提供的工具时,为什么我需要RapiTask?

    拉比任务是与操作系统无关的,所以如果你改变操作系统,你可以保持同样的可视化和参数,你可以使用Rapi任务结果作为比较操作系统的参考点。

    此外,您还可以捕获和显示与操作系统无关的自定义事件(例如ARINC 429消息),并在跟踪中显示它们。

  • 我可以只用RapiTask和RapiTime一起使用吗?或者我可以将RapiTask作为一个独立的工具使用吗?

    你可以用拉皮任务作为一个独立的工具,可以自动或手动检测。

  • 如果我有RapiTime,我还需要RapiTask吗?

    拉比时间从操作系统任务模型中抽象出来,只报告任务的执行时间,就好像它是CPU上唯一运行的东西一样。如果您对代码的响应时间或任务与操作系统之间的交互感兴趣,则需要Rapi任务。

  • RapiTask如何显示OS事件,如进程间通信(信号量,消息)。定时器,硬件输入输出等等?

    拉比任务OS-agnostic;与所有Rapita工具一样,需要定制与操作环境的集成。如果我们能从操作系统中获得感兴趣的项目信息,我们可以在Rapi中添加“用户事件”任务跟踪。

  • RVS工具可以处理多大的代码库?

    RVS工具被设计用来处理非常大的代码库。由于RVS对于代码行数,RVS可以处理,而RVS这些工具已用于具有数百万行代码的项目。

  • rv产品是如何获得许可的?

    我们提供“节点锁定”和“浮动”许可,以及一个许可服务器,以支持在您的特定开发环境中使用我们的工具。

    有关我们的许可模型的更多信息,请参阅我们的RVS许可的常见问题。

  • 如果我在使用RVS工具时遇到问题怎么办?

    所有RVS许可包括访问我们专门的内部支持团队,他们将与您合作,为您的问题提供快速修复。这是我们愿景的关键部分。2016年,我们在一个工作日内回应了97%的新支持请求,在3个工作日内关闭了56%,在20个工作日内关闭了91%。我们也通过我们的网站和电子邮件告知我们的客户已知的问题。

  • 你们如何支持房车用户?

    我们提供了R的一个扩展集合VS文件与我们的每一个产品,并提供培训课程指导你如何最有效地使用RVS工具。我们的所有用户都可以从我们网站的特权访问中获益,包括下载新产品版本。

  • RVS用于软件验证有多久了?

    Rapita验证套件(RVS)已在关键的嵌入式行业应用超过15年,并支持了全球多个航空电子项目。合格RVS产品支持了20多个DO-178B和C认证项目,其中包括DAL A。

  • 我的项目包括分包组织,我有保密问题。房车能帮到我吗?

    为了支持验证,RVS在验证结果中存储源代码的副本。RVS允许您从R中删除源代码的这个副本VS项目,因此与您合作的任何分包组织都无法查看您的专有信息。然后,分包组织可以使用编辑的结果验证软件的各个方面,您可以稍后通过合并结果恢复源代码副本以供内部使用。

  • RVS如何支持企业许可?

    浮动RVS许可证遵循“企业”模型。您可以跨越地理边界*,在不同的项目中,与不同的用户使用它们,并与从事同一项目的供应商共享它们。

    *某些浮动许可证可能仅限于在特定地理区域内使用。在这种情况下,应在颁发许可证之前达成一致。

请求演示

现在是格林尼治时间

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

  • 解决方案
    • Rapita验证套件
    • 拉比测验
    • 拉比掩蔽
    • 拉比时间
    • 拉比任务

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

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

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

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

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

Baidu