航空航天技术周- 2021年11月
美国宇航局为月球通道选择Rapita验证套件
约克航空航天和火箭学会更新
FACE技术交流会议——2021年9月
介绍RapiTest编辑器
太阳轨道器的软件验证
Metrowerks CodeTest-升级方式和原因
利用面部一致性工件支持适航性
DO-178C
MATLAB Simulink MCDC覆盖和WCET分析
Ada, C和c++的代码覆盖
AMC 20-193
NXP多核航空电子设备2021
如何执行经济高效的多核验证
DO-178/C和ISO 26262项目的RVS工具鉴定
关键项目的简单鉴定
我们的工具认证套件和合格的目标集成服务提供您需要认证R的证据VSDO-178C或ISO 26262项目中使用的工具。
我们提供专家指导，指导您如何使用我们提供的材料来鉴定您使用RVS，并清楚地确定在整个资格认证时间表中你需要做什么。
减少认证工作
我们已经鉴定了关键的RVS降低验证关键代码成本的功能。我们的合格仪器、结果数据捕获和导出确保您无需手动验证R生成的任何结果VS.
R的许多其他特性VS，包括合并来自多个报告的覆盖率数据和使用理由来标记您的代码为覆盖，都是合格的。这可以让你简化R的使用VS并在合格的环境中有效地验证代码。
从RVS获得最佳服务，合格
我们提供指导，以确保您从R获得最好的服务VS在一个合格的环境中，包括如何生成证明你的代码满足时间期限的证据，如何最好地使用RVS当代码更改时，以及如何在增量软件构建中可靠地重用覆盖率数据。
通过确保我们推荐的工作流程符合认证指南，我们可以帮助您按时完成项目，避免与您的认证机构进行冗长的讨论。
Rapita验证套件（RVS)已在关键嵌入式行业使用超过15年，并在全球范围内支持多个航空电子项目。合格R的鉴定工具包VS产品支持了20多个DO-178B和C认证项目，其中包括DAL A。
确保您的担保案例仍然有效
我们尽一切努力确保VS即使我们的软件尽可能的健壮，我们的软件仍然可能包含错误。如果我们发现任何可能影响您的担保案例的问题，例如产生假阳性或阴性结果或WCET计算错误，我们会立即通知您。
我们的保证问题通知包括您应该了解的有关问题的所有信息，包括详细说明、修复计划以及我们为某个问题确定的任何解决方法、缓解策略或修复。
产品特点
-
DO-178B/C鉴定套件 用于DO-178B/C项目的RVS资格认证套件。发现此功能 -
ISO 26262鉴定工具包 ISO 26262项目中RVS认证的认证套件。发现此功能 -
合格的目标集成服务 证明在您的开发环境中使用RVS的附加证据。发现此功能 -
精简的鉴定材料 资质材料是根据您特定的开发环境定制的。发现此功能 -
模板工具用户文档 模板DO-330工具用户文档可帮助您编写用户文档。发现此功能 -
合格仪表工 不需要人工检查的合格仪器。发现此功能 -
DO-178和ISO 26262的工具鉴定 DO-178B/C和ISO 26262的工具鉴定支持。发现此功能
-
明确的资格鉴定指南 了解您需要做什么以及何时对您的房车使用进行鉴定。发现此功能 -
合规检查表 符合性检查表帮助您确定您需要做什么，以确定您的使用RVS。发现此功能 -
最佳使用指南 从我们的RVS工具中获得最佳效果的指南。发现此功能
-
保证问题通知 一旦发现可能影响结果有效性的问题，我们将立即通知您。发现此功能 -
工具鉴定许可证 灵活的许可选项，最能满足您的需求。发现此功能
视频
- 178 b / C工具资格吗
如果你使用的是RVS为了满足DO-178B或DO-178C目标，您通常需要证明这些工具在项目开发环境中正确工作。这被称为工具资格. DO-178B和DO-330（“软件工具注意事项”，参考DO-178C）建议提供以下工具鉴定：
- PSAC(软件方面认证计划)。此参考了工具确认计划和工具完成概要文件。按照DO-178的要求，这必须由合格的工具用户生产。
- TOR（工具操作要求）。这描述了该工具的功能、使用方式和执行环境。
- TAS（工具完成总结）。表明符合PSAC。显示TOR中所有要求均已验证的数据汇总。5级工具鉴定的可选工具。
- TVR（工具验证结果）。证明TOR由该工具实现的测试用例、程序和结果。
- TQP（工具鉴定计划）。描述鉴定工具的过程，简化PSAC的生产。5级工具鉴定的可选工具。
Rapita鉴定套件中的其他文件
我们的鉴定套件符合DO-330“软件工具质量注意事项”。为了支持这一点，我们在鉴定工具包中提供了以下附加文件以及工具鉴定所需的核心DO-178鉴定文件（PSAC除外）：
- 工具鉴定概述–根据DO-330表11-2，这提供了如何使用交付数据以符合DO-330工具用户目标的一般概述。
- 工具资格范围–这提供了在整个鉴定过程中已验证的工具特性的摘要。
- 测试用例设计–这为评估RVS集成提供了分析标准。
DO-178C Rapita解决方案解决的目标
Rapita的工具可以解决与软件验证相关的许多DO-178C目标，如表1所示。
| DO-178C表 | 客观的 | 快速溶液 |
|---|---|---|
| 一个4 | 13：确认软件分区完整性。 | 拉比时间* |
| 一个5 | 6：源代码准确一致。 | 拉比时间* |
| a - 6 | 1:可执行对象代码符合高层需求。 | 拉比测验 |
| a - 6 | 2：可执行目标代码具有高层次的需求。 | 拉比测验 |
| a - 6 | 3:可执行对象代码符合高层要求。 | 拉比测验 |
| a - 6 | 4：可执行目标代码具有低级别需求的健壮性。 | 拉比测验 |
| a - 6 | 5：可执行目标代码与目标计算机兼容。 | 拉比时间* |
| a - 7 | 5：实现了软件结构的测试覆盖率（修改的条件/决策）。 | 拉比掩蔽 |
| a - 7 | 6：实现了软件结构的测试覆盖（决策覆盖）。 | 拉比掩蔽 |
| a - 7 | 7：实现了软件结构的测试覆盖率（语句覆盖率）。 | 拉比掩蔽 |
*目标涉及多个方面；拉比时间仅解决时间方面的问题
CAST-32A目标由Rapita解决方案解决
FAA的CAST-32A立场文件定义了帮助航空电子设备开发商认证使用多核处理器的系统的具体目标。这些目标由Rapita的组成部分来实现CAST-32A合规计划，见表2。
| CAST-32A物镜 | 快速溶液 |
|---|---|
| MCP_规划_1 | CAST-32A合规计划 拉比测验 拉比时间 拉比后台程序 咨询服务 |
| MCP_规划_2 | |
| MCP_资源_使用情况_1 | |
| MCP_资源_使用_2 | |
| MCP_资源_使用_3 | |
| MCP_资源_使用_4 | |
| MCP_软件_1 | |
| MCP_软件_2 | |
| MCP_Error_Handling_1 | |
| MCP_成就总结 |
常见问题
- 如果在鉴定后发现工具错误怎么办？
当这些错误影响到工具输出的保证时，我们会定期宣布可能影响现有集成的工具错误。这包括假阳性、错过的代码构造(用于覆盖率分析)和对被测软件不需要的功能更改。我们为我们以这种方式发布的所有保证问题提供建议、变通方案和修复时间表。
- 如果我在鉴定后发现工具错误怎么办？
我们将通过我们通常的问题报告、分类和保证问题分析过程来运行bug。如果您无法使用变通方法，我们可以根据您的需要提供附加修复或新版本的工具来修复您的问题。
- 什么是工具鉴定？我为什么需要这样做？
工具鉴定提供证据，证明您正在使用的软件在项目中使用时没有引入或未能检测到软件中的错误。如果您在安全标准（如DO-178或ISO 26262）的环境下工作，那么如果您使用的工具自动化或替代了手动过程，并且您没有手动检查工具的输出，则需要提供此证据。
- 您为哪些安全标准提供资格认证支持？
我们为DO-178B、DO-178C和ISO 26262安全标准提供工具鉴定支持。
- 我对你们的资格证书很感兴趣。你能描述一下这个过程吗?
我们在工具鉴定产品简介.
- 您使用什么标准进行工具鉴定？
我们生产符合RTCA指南的DO-178C和ISO 26262认证支持的认证材料DO-330：软件工具鉴定注意事项.
- RVS工具的哪些输入语言可以鉴定？
RVS工具鉴定包括R的使用VS在艾达、C和C++中编写的项目，包括混合语言项目。
- 您为哪些RVS工具提供鉴定支持？
- 您不提供使用我在安全上下文中使用的RVS工具的资格支持。我该怎么办?
如果您需要使用R的资格支持VS工具在一个特定的安全背景下，我们还没有提供资格支持这种组合，我们很高兴听到您讨论扩大我们的支持。联系我们了解更多信息。
- 你能帮我提供我需要的所有证据来证明房车在我的项目中的使用资格吗？
我们遵循DO-330/ED-215指南对COTS（商用现货）工具进行鉴定。根据这些标准，工具供应商不能提供工具鉴定所需的所有证据——其中一些必须由工具用户提供。
我们的合格目标集成服务包括所有DO-330工具开发者项目，以及帮助您完成DO-330工具的文档和工作用户项.
- 为什么你们的工具鉴定过程比我其他工具的鉴定过程更复杂?
我们使用灵活的工具组件和自定义集成，以最大限度地提高工具的效率，并使其与各种目标和测试环境兼容。这种灵活性的代价是额外的工具鉴定工作。我们已经将资格认证支持分为两部分——一部分用于灵活的工具组件还有一个是给定制的集成-我们已经尽了一切努力来减少定制部分的工作量。
- 您的资格认证支持范围是什么？
我们的资格认证支持许可证对特定版本的R有效VS您正在使用的工具、将这些工具集成到您的开发环境以及特定的客户项目中。
请联系我们如果您需要在多个项目或具有多个认证的项目中使用我们的认证套件。
- 如果我在资格认证后对我的RVS集成进行更改怎么办？
如果您更改了RVSR的工具版本或集成VS在我们制作鉴定材料后，我们需要复制这些材料，这将产生额外的成本。
有关更多信息，请参阅我们的工具鉴定产品简介.
- 如果我在您的资格鉴定支持中发现错误怎么办？
如果这是一个真正的错误，我们可以发布补遗报告或重新发布任何受影响的文件，视情况而定。如果您需要不同的范围或级别的信息，这是可以接受的，但需要付出更多的努力。欲了解更多信息，联系我们.
- 您是否为生命周期较长的项目提供支持？
我们提供冻结版本支持服务对于合格的RVS集成，因此您可以放心地访问R的版本VS即使您的项目生命周期很长，您也可以通过资格认证。
- 工具鉴定过程需要多长时间？
工具鉴定过程的长度取决于项目和集成的复杂性。
一般来说，我们可以在提交采购订单后约6周内提供合格的target integration服务，前提是任何配置更改和Rapita工程师的可用性。
我们在收到您的订单后确认交货计划。
请注意，在服务交付过程中对集成配置的更改可能会影响工程设计工作、交付日期和成本。
- RVS鉴定套件如何帮助减少审查工作？
我们定制RVS鉴定工具包，以反映开发环境的各个方面，从而减少审查工作。它们包括特定R的文件、要求和测试结果VS您正在使用的工具和项目中使用的编程语言。
鉴定工具包还包括工具用户文档模板和合规性检查表，可帮助您检查是否符合DO-330工具用户目标。
- RVS鉴定套件在整个鉴定过程中如何帮助我？
RVS鉴定工具包旨在使鉴定过程更容易。每个工具包都包括一个资格鉴定时间表，该时间表清楚地确定了流程中的关键阶段，合规性检查表帮助您检查进度。
