跳过主要内容
免费30天试用 客户门户 欧宝娱乐可信吗 Sysgo MCP网络研讨会 DO-178C手册
欧宝体育登录不上

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

Rapita验证套件(RVS)

拉皮测试- 单元/系统测试 拉皮覆盖- 结构覆盖分析 拉皮时间- 定时分析(INC。WCET) 拉皮任务- 调度可视化 ob 体育在线竞猜 ob.app ob 直播

多重点验证

马赫178 ob 官网 拉皮守护程序

服务

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

行业

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

其他

RTBX MX-Suite 软件许可 产品生命周期政策 RVS开发路线图

Rapita总部的最新消息

ob 体育

RVS 3.16推出
航空技术周 - 2021年11月
NASA选择Lunar Gateway的Rapita验证套件
约克航空航天和火箭协会更新
ob 体育

Rapita博客的最新信息

DO -178C-参与阶段4
DO -178C-参与阶段3
AMC 20-193及其对您意味着什么
DO -178C-参与阶段2
查看博客

最新发现页面

do178cDO-178C指南:RTCA DO-178认证简介
matlab_simulinkMatlab®Simulink®MCDC覆盖范围和WCET分析
code_coverage_adaADA,C和C ++的代码覆盖范围
AMC-20-193AMC 20-193
查看发现页面

接下来的活动

Sysgo + Rapita:验证您的多核RTO
2022-05-31
ERTS国会
2022-06-01
DO-178C多人面对面培训
2022-07-26
空军的脸和Sosa Tim和Expo
2022-09-01
查看事件

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

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

DO178C手册
通过DO-178C生命周期有效验证
用于安全至关重要的计时分析的商业解决方案
遵守未来的空降能力环境(面部)标准
查看白皮书ob体育盘口线上

最新视频

A(M)C 20-193 vs. Cast-32a:更改对您的DO-178C多核项目意味着什么
验证支持面部标准的多功能系统 - ATW Global 2021
关键航空航天嵌入式软件的定时分析-ATW Global 2021
资格 - 视频thumbnail
带RVS的工具资格
RVS 3.16进行了革命性的测试
查看视频

最新的案例研究

白皮书柯林斯的前封面
向柯林斯航空提供世界一流的工具支持
使用DO-178C企业工具资格(RVS)支持Collins航空航天
Cobham航空航天连接:Rapicover继续实现最具挑战性的目标
查看案例研究

其他下载

网络研讨会

小册子

产品简介

技术说明

研究项目

发现Rapita

我们是谁

公司菜单

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

美国办公室

+1 248-957-9801
info@rapitasystems.com
欧宝体育登录不上Rapita Systems,Inc。
41131 Vincenti Ct。
诺维
MI 48375
美国

英国办公室

+44(0)1904 413945
info@rapitasystems.com
欧宝体育登录不上Rapita Systems Ltd.
阿特拉斯之家
Osbaldwick Link Road
约克,YO10 3JB
英国

在Rapita工作

欧宝娱乐可信吗

欧宝娱乐可信吗职业菜单

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

面包屑

  1. 家
  2. 什么是cast-32a?

发现Cast-32a

  • 介绍
  • 挑战
  • V模型

什么是cast-32a?

Cast-32a

如果您正在寻找我们的马赫178解决方案,这是我们的Cast-32A合规性产品,您可以找到它这里。

嵌入式计算世界中最新的最新变化之一是多核心处理器的采用率不断增加。这些处理器代表了航空航天开发的未来,其采用对于满足现代航空电子系统的需求并避免潜在的长期单核处理器的可用性问题至关重要。

多核处理器的使用确实以一定的价格出现,但是,与单核对应物不同,它们既没有提供确定性的环境也不提供可预测的软件执行时间。这在关键软件域特别危险。

为了响应增加多功能处理器的使用,认证机构软件团队(CAST)发布了名为“多核处理器”(通常称为“ cast-32a”)的位置cast-32a。本文确定了可能影响多层处理器上执行空中软件系统的安全性,性能和完整性的主题,并提供旨在指导安全多功能航空电子系统的生产的目标。

“这本演员论文的目的是确定可能影响多项处理器上执行软件机载系统安全性,性能和完整性的主题” -美国联邦航空管理局

是否想了解有关多功能航空电子认证的更多信息?

欧宝体育登录不上Rapita Systems将提供有关CAST-32A主题的一系列有限的技术,面对面的培训课程(即将被A(M)C 20-193取代)。
我们已经开发了这项培训课程,以为初学者和专家提供价值。

美国 - 美国阿拉巴马州亨茨维尔:2022年7月26日至27日

欧洲 - 德国慕尼黑:2022年秋

CAST-32A解决了几个多重点处理器主题,包括软件验证,错误检测以及处理和报告合规性。所有主题都有被包括在内的基本原理以及本文想要实现的目标或一组目标。

干扰渠道和资源使用

mcp_resource_usage_3:申请人已经确定了可以允许干扰影响MCP核心托管的软件申请的干扰渠道,并验证了申请人所选择的缓解干扰手段。

多重点干扰的示例
多层干扰路径

错误检测和处理和安全网

mcp_error_handling_1:The applicant has identified the effects of failures that may occur within the MCP and has planned, designed, implemented and verified means (which may include a ‘safety net’ external to the MCP) commensurate with the safety objectives, by which to detect and handle those failures in a fail-safe manner that contains the effects of any failures within the equipment in which the MCP is installed.

软件验证

mcp_software_1:申请人已验证MCP托管的所有软件组件均符合适用的软件指南。特别是,申请人已验证所有托管软件组件的功能正确,并且在所有托管软件都在预期的最终配置中执行时,有足够的时间完成执行。

mcp_software_2:申请人已验证,在基于软件需求的测试期间,已经执行了在同一核心或MCP的不同内核上托管的所有单个软件组件之间的数据和控制耦合,包括通过共享内存和任何任何接口在应用程序之间进行任何接口控制对共享内存的访问的机制,并且数据和控制耦合是正确的。

注意:当在软件验证期间无法完全满足此目标时,申请人可以建议使用系统级测试来行使数据并控制不同内核上托管的组件之间的耦合。

mcp_resource_usage_4:申请人已将MCP的可用资源及其在预期的最终配置中的互连确定,已将MCP的资源分配给MCob 直播P上托管的软件应用程序,并验证了对MCP和MCP资源的需求当所有托管软件在目标处理器上执行时,互连不超过可用资源。ob 直播

注意:在此目标中使用最坏情况是隐含的。

核心资源ob 直播

  • 多核时机白皮书
  • 多项网络研讨会

我如何遇到Cast-32a目标?

多核系统比单一核心对应物复杂得多。要了解如何根据Cast-32A目标验证其定时行为,我们必须首先了解分析中固有的独特挑战。我们在下面列出了其中一些。

我们需要考虑资源争夺和干预
多重点系统中任务的执行时间受共享资源的争论以及这导致的干扰的影响。ob 直播为了调查多核心系统的时序行为,我们需要考虑这种干扰。

多项计时分析不能完全自动化
多核处理器的复杂性意味着构建完全自动化的时序分析解决方案是不现实的。虽然工具支持可以自动化大多数数据收集和分析过程,但需要工程智慧和专业知识来了解系统和直接的工具用法以产生必要的证据。

我们必须测试真实的硬件
多核CPU很复杂,通常隐藏了内部字体,使得纯粹是在理解其正时行为时使用的有限使用的分析模型。因此,确切确定处理器及其组件的唯一方法是衡量系统本身的正时行为。

需要测试假设
为了分析多核心系统的时序行为,您需要对系统及其效果等事物做出一些假设。根据这些假设进行测试后,您可能需要重新评估这些假设和重新运行测试。

V模型方法

V模型

RAPI欧宝体育登录不上TA系统多核算时间分析解决方案遵循V模型过程,以产生清晰结构化的验证伪像的流动。DO-178C可追溯性要求并满足Cast-32A指南,以确保经济高效且有条不紊的验证过程。

多核

高融合DO-178C项目的多功能航空电子认证

选择您的免费资源:
当您与我们联系时,我们将根据我们的数据保护政策处理您的个人数据,请参阅我们的客户隐私信息了解更多信息。
  • 解决方案
    • Rapita验证套件
    • 拉皮测试
    • 拉皮覆盖
    • 拉皮时间
    • 拉皮任务
    • 马赫178

    • 验证和验证服务
    • ob 游戏
    • 训练
    • 一体化
  • 最新的
  • 最新菜单

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

    • 小册子
    • 网络研讨会
    • ob体育盘口线上
    • 实例探究
    • 产品简介
    • 技术说明
    • 软件许可
  • 公司
  • 公司菜单

    • 关于Rapita
    • 欧宝娱乐可信吗
    • 顾客
    • 分销商
    • 行业
    • 位置
    • 伙伴
    • 研究项目
    • 接触
  • 发现
    • AMC 20-193
    • 什么是cast-32a?
    • 多层定时分析
    • MC/DC覆盖范围
    • ADA,C&C ++的代码覆盖范围
    • 嵌入式软件测试工具
    • 航空软件测试
    • 汽车软件测试
    • 认证EVTOL
    • DO-178C
    • WCET工具
    • 最坏的案例执行时间
    • MATLAB®SIMULINK®的定时分析(WCET)和代码覆盖范围

所有材料©Rapita Syst欧宝体育登录不上ems Ltd. 2022-保留所有权利|隐私信息|商标通知订阅我们的新闻

Baidu