什么是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 直播
注意:在此目标中使用最坏情况是隐含的。
我如何遇到Cast-32a目标?
多核系统比单一核心对应物复杂得多。要了解如何根据Cast-32A目标验证其定时行为,我们必须首先了解分析中固有的独特挑战。我们在下面列出了其中一些。
我们需要考虑资源争夺和干预
多重点系统中任务的执行时间受共享资源的争论以及这导致的干扰的影响。ob 直播为了调查多核心系统的时序行为,我们需要考虑这种干扰。
多项计时分析不能完全自动化
多核处理器的复杂性意味着构建完全自动化的时序分析解决方案是不现实的。虽然工具支持可以自动化大多数数据收集和分析过程,但需要工程智慧和专业知识来了解系统和直接的工具用法以产生必要的证据。
我们必须测试真实的硬件
多核CPU很复杂,通常隐藏了内部字体,使得纯粹是在理解其正时行为时使用的有限使用的分析模型。因此,确切确定处理器及其组件的唯一方法是衡量系统本身的正时行为。
需要测试假设
为了分析多核心系统的时序行为,您需要对系统及其效果等事物做出一些假设。根据这些假设进行测试后,您可能需要重新评估这些假设和重新运行测试。
V模型方法
RAPI欧宝体育登录不上TA系统多核算时间分析解决方案遵循V模型过程,以产生清晰结构化的验证伪像的流动。DO-178C可追溯性要求并满足Cast-32A指南,以确保经济高效且有条不紊的验证过程。
