학술논문

SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems
Document Type
Conference
Source
2020 23rd Euromicro Conference on Digital System Design (DSD) Digital System Design (DSD), 2020 23rd Euromicro Conference on. :370-377 Aug, 2020
Subject
Computing and Processing
Industries
Virtual machine monitors
Instruction sets
Computer architecture
Aerospace electronics
Hardware
Extensibility
safety
high-performance computing
autonomous systems
Language
Abstract
Existing HW/SW platforms for safety-critical systems suffer from limited performance and/or from lack of flexibility due to building on specific proprietary components. This jeopardizes their wide deployment across domains. While some research has been done to overcome these limitations, they have had limited success owing to missing flexibility and extensibility. Flexibility and extensibility are the cornerstones of industry adoption: industries dealing in capital goods need technologies on which they can rely on during decades (e.g. avionics, space, automotive). SELENE aims at covering this gap by proposing a new family of safety-critical computing platforms, which builds upon open source components such as the RISC-V instruction set architecture, GNU/Linux, and the Jailhouse hypervisor. SELENE will develop an advanced computing platform that is able to: (1) adapt the system to the specific requirements of different application domains, to changing environmental conditions, and to internal conditions of the system itself; (2) allow the integration of applications of different criticalities and performance demands in the same platform, guaranteeing functional and temporal isolation properties; (3) achieve flexible diverse redundancy by exploiting the inherent redundant capabilities of the multicore; and (4) efficiently execute compute-intensive applications by means of specific accelerators.