多核时序分析中的工具自动化 工具自动化支持CAST-32A遵从性解决方案，减少了运行、从多核计时行为测试中收集结果和分析测试所需的工作。 发现CAST-32A合规解决方案 相关视频 DO-178C项目符合CAST-32A 00:02:15 |概述 对目标软件验证与RVS 00:01:52 |概述 使用RapiTest进行功能测试 00:01:49 |概述 结构覆盖分析与RapiCover 00:01:14 |概述 使用RapiTime进行执行时间分析 00:01:08 |概述 使用RapiTask进行系统事件跟踪 00:00:39 |概述 使用RapiCover Zero进行零足迹覆盖分析 00:00:50 |概述 使用RapiTime Zero进行零足迹时序分析 00:00:51 |概述 使用RapiTask Zero进行零足迹系统事件跟踪 00:00:46 |概述 太阳轨道器EPD的软件验证 00:03:21 |用例 太阳轨道器EPD的软件验证 00:03:21 |用例 多核时序分析中的工具自动化 00:07:08 |讲解员 使用RVS的自定义多核导出 00:00:58 |功能 使用RVS的自定义多核导出 00:00:58 |功能 与RVS和Bamboo进行持续验证 00:02:07 |功能 与RVS和Jenkins进行持续验证 00:02:15 |功能 使用RVS优化代码更改后运行的测试 00:02:25 |功能 使用RVS优化代码更改后运行的测试 00:02:25 |功能 使用RapiTest进行需求跟踪 00:02:11 |功能 使用RapiTest轻松管理测试运行 00:01:03 |功能 用RapiTest生成测试模板 00:01:29 |功能 在RapiTest中使用电子表格进行测试 00:03:12 |功能 使用RapiTest脚本语言进行测试 00:02:16 |功能 用RapiCover证明不稳定代码的合理性 00:05:00 |功能 用RapiCover证明不稳定代码的合理性 00:05:00 |功能 使用RapiCover合并多个测试的覆盖率 00:01:26 |功能 将不同版本的覆盖率与RapiCover合并 00:02:32 |功能 与RapiTime合并计时结果 00:00:24 |功能 与RapiTime合并计时结果 00:00:24 |功能 清晰的认证指南和RVS认证套件 00:00:56 |功能 使用RapiTest编辑器进行测试 00:03:00 |功能开发 多核定时分析演示 00:06:52 |演示 使用FACE实现经济高效的模块化航空电子设备 00:07:11 |讲解员 请教专家:多核安全 00:11:19 |讲解员 MASTECS项目 00:02:18 |研究项目 MASTECS项目 00:02:18 |研究项目 多核时序分析支持与RVS 3.15 00:01:35 |其他 多核时序分析支持与RVS 3.15 00:01:35 |其他 多核时序分析支持与RVS 3.15 00:01:35 |其他 简化软件验证与RVS 3.14 00:01:53 |其他
NASA选择Rapita验证套件作为月球门户
约克航空航天和火箭学会更新
FACE技术交流会议- 2021年9月
贝尔选择Rapita参加Invictus 360 FARA项目
介绍RapiTest编辑器
太阳轨道飞行器的软件验证
Metrowerks CodeTest -如何升级以及为什么升级
利用面部一致性工件支持适航性
- 178 c吗
MATLAB Simulink MCDC覆盖和WCET分析
Ada, C和c++的代码覆盖
AMC 20 - 193
航空航天TechWeek 2021
安全使用多核处理器研讨会
如何执行具有成本效益的多核验证
