2019年5月14日 航空航天和国防

更好地 - 一个社区,用于多核处理器的安全认证

蒂姆•Skutt

蒂姆Skutt照片

上周,我参加了由美国陆军主办的Wright-Patterson空军基地的多核处理器(MCP)认证一系列协作研讨会之一。

等等,是打错了吗?

不可以。美国陆军战斗能力发展指挥(CCDC)航空和导弹中心确实是美国空军基地研讨会的主人。这是解决在多核处理器上建立的飞机系统安全认证的增加复杂性的一部分。

在整个行业中,民用和军用适航认证/批准相关方都在努力应对基于mcp的认证系统的挑战。其中一个主要问题是MCP内部的共享资源(内存、总线等),以及通过这些共享资源,一个核心上的功能与另一个核心上的功能可能产生的干扰。

这些挑战影响着一系列不同的利益相关者,包括:

- 军事服务和民用机构等政策制定者

- CPU和SoC设计师和制造商

- 董事会和盒子级OEM和ODMS

-软件操作系统和基础设施供应商

——集成商

——应用程序开发人员

- 工具供应商

作为推动安全多核系统的批准和操作取得成功的催化剂,美国陆军召集了这些利益相关团体的多个代表参加了研讨会。参与者在开放和合作的交流中分享观点、研究、计划和结果,加强了这样的概念,即无论我们是合作伙伴、监管机构、客户、供应商还是竞争对手,我们都需要共同努力建立确保基于mcp的系统安全所需的模式。

在美国空军基础上拥有美国陆军举办活动的讲习班是参与者的多样性和他们高度合作努力的一个例子。美国陆军,美国空军和美国海军以及北卡罗来纳大学和卡内基梅隆大学等研究组织有多种演讲。来自RTCA(民事监管社区的一部分)的代表,并参加了讲习班的FAA代表参加了先前的研讨会活动。

有太多的亮点在一个简短的博客中完全捕捉,但一个击中要害的是由风河的David Reiter关于多核处理器测试和验证的陈述。Reiter先生对多核处理器干扰测试方法和工具提供了深入的见解,有助于我们在FAA项目记录上成功的基于DO-178C的认证工作。他描述了DOT/FAA/TC-16/51《机载系统多核处理器保证》中确定的多核干扰复杂性如何通过这些方法和工具最小化。

当天晚些时候,柯林斯航空公司的Harold Tiedeman, Jr.介绍了柯林斯航空公司从mcp为基础的DO-178C安全认证工作中获得的经验。风河公司与柯林斯航空航天公司联合开发了一种白皮书根据我们对该计划的经验。

在他的演讲中,Tiedeman先生描述了基于MCP的认证工作中使用的技术,工具和过程柯林斯。这包括多核干扰问题如何解决以及FAA CAST-32A MCP目标的满足方式。他的演示突出了解决方案如何体现可重复使用,可重复的MCP系统认证方法。

可重用的、可重复的方法是具有成本效益的、负担得起的系统的关键,这个研讨会是一个交流观点和解决方案的伟大论坛,因此我们可以建立成功的模式,以批准和操作安全的基于多核的系统。能够参与到这样一场来自众多不同参与者的合作交流中,我感到非常振奋,我非常期待能够继续有机会在如何解决基于多核处理器的认证系统的挑战方面进行合作。

有关认证的其他见解,请查看a短片《通往多核认证之路》。它是一个联合柯林斯航空航天和风水河合作,描述了将多核处理带到航空电子系统的旅程。如果您有其他问题,请随时享受联系我们

以前的外布和生长:自治车可以从航空航天和其他人学习
下一个霜,沙利文授予风河航空电子软件平台技术领导奖