BSC 专业知识促成了开源模块 SafeSU、SafeDE、SafeDM 和 SafeTI 的开发，这些模块支持验证和验证 (V&V) 流程和安全措施部署。
安全关键实时系统的更高性能要求需要硬件和软件组件，这些组件可以集成所需的复杂性，同时遵守严格的安全验证流程。通过欧盟资助的SELENE项目，BSC研究人员通过开发四个与安全相关的组件来应对这一挑战，这些组件可以提高可观察性和控制通道，从而在工业用例中提供灵活的解决方案。
BSC 专业知识促成了开源模块 SafeSU、SafeDE、SafeDM 和 SafeTI 的开发，这些模块支持验证和验证 (V&V) 流程和安全措施部署。这些模块已经与高级微控制器总线架构 (AMBA) 协议集成，例如 AMBA 高级高性能总线 (AHB) 和 AMBA 高级可扩展接口 4 (AXI4)。
这些新组件已通过该项目的四个用例进行了测试： 来自 Virtual Vehicles 的自主机器人、 来自 CAF Signalling 的自主列车，以及来自空中客车防务与航天公司、法国和德国的两个涵盖卫星和深空站的空间用例——每个其中有自己的软硬件指南和规定。
这些组件也被转移到爱尔兰的 Collins Aerospace 供工业使用，并被用于为欧洲项目创造更多机会，并与 RISC-V 感兴趣的团体分享知识。
BSC 开发的组件及其支持出版物可通过 BSC 托管的Github 存储库公开获取。
“在 SELENE 中开发的 BSC SafeX 技术是实现安全相关 SoC [片上系统] 成为安全岛的基础，为缺乏它们的 HPC SoC 提供可观察性和可控性功能，”BSC SELENE 首席研究员 Jaume Abella 解释道。 CAOS Group 计算机体系结构操作系统接口项目和联合经理。
BSC 研究人员的下一步包括开发这个安全岛概念。目前正在从主要工业合作伙伴那里收集对这一概念的支持。
关于 SELENE
SELENE (Self-monitored Dependable platform for High-Performance Safety-Critical Systems) 是一个欧盟资助的项目，预算为 490 万欧元，从 2019 年 12 月 1 日开始，到 2022 年 11 月 30 日结束。该项目由 Universitat 协调Politècnica de València (UPV) 并汇集了一个由 11 个合作伙伴组成的多学科联盟。该项目已获得欧盟地平线 2020 研究与创新计划的资助，资助协议编号为 1。871467。
声明： 此文观点不代表本站立场；转载须要保留原文链接；版权疑问请联系我们。
