摘要 - 研究的统计单位(SUS)已被证明是与安全相关MPSOC的一部分的验证,验证和实施安全措施有效的。,例如,基于Noel-V内核的Caes Gaisler的RISC-V MPSOC就是这种情况,到2022年底将在FPGA上进行商业准备。但是,尽管SUS支持SOC的其余部分,但必须建立它们,以安全地成为商业产品的一部分。本文介绍了SAFESU-2,这是SAFESU的安全版本。尤其是,我们对相关故障模型的SAFESU执行了故障模式和效应分析(FMEA),并实现了使其符合一般与安全相关设备的要求所需的故障检测和公差功能,尤其是Space MPSOC。
现代基于片上网络的多处理器片上系统 (NoC-based MPSoCs) 具有更高的性能潜力,但也可能允许在飞机等复杂系统中将相同功能集中在更少的设备上。尽管有这些优势,但航空电子行业仍然不愿采用多核技术,因为必须满足可预测性等软件要求才能保证安全性和可靠性。多核处理器的应用对这些要求的影响尚未完全了解。因此,我们的研究是由航空电子领域中与多核应用相关的软件需求驱动的。我们解决系统行为的动态方面,并研究灵活分区和在线任务迁移作为一种在共享计算平台上提高资源利用率的方法。
现代基于片上网络的多处理器片上系统 (NoC-based MPSoCs) 具有更高的性能潜力,但也可能允许在飞机等复杂系统中将相同功能集中在更少的设备上。尽管有这些优势,但航空电子行业仍然不愿采用多核技术,因为必须满足可预测性等软件要求才能保证安全性和可靠性。多核处理器的应用对这些要求的影响尚未完全了解。因此,我们的研究是由航空电子领域中与多核应用相关的软件需求驱动的。我们解决系统行为的动态方面,并研究灵活分区和在线任务迁移作为一种在共享计算平台上提高资源利用率的方法。
Abstract —The increasing needs for performance in the space domain for highly autonomous systems calls for more powerful space MPSoCs and appropriate hypervisors to master them.这些平台必须遵守严格的可靠性,验证能力和验证要求,因为“深空任务的航天器”暴露在恶劣的环境中。系统必须根据电子组件和软件进行筛选和测试。不幸的是,当前可用的太空级处理器组件不符合与安全性相关的要求,这些要求在太空应用中变得越来越重要。本文介绍了DE-RISC平台,由Cobham Gaisler的基于RISC-V的SOC和Fentiss的Xtratum Next Generation Visisor组成。该平台实现了开放式RISC-V指令集架构,并利用Cobham Gaisler的Space Soc IP,Fentiss撰写的太空管理技术,巴塞罗那超级计算中心的Multicore Interference Management Solutions以及Thales研究和技术的最终用户体验和要求指导。在当前状态下,该平台已经完成和集成,并在2022年初到达商业成熟之前开始其验证阶段。在本文中,我们提供了该平台的详细信息以及其运营的一些初步证据。