Jaume Abella Ferrer

Existing HW/SW platforms for safety-critical systems suffer from limited performance and/or from lack flexibility due to building on specific proprietary components, which jeopardize their wide deployment across domains. While some research attempts have been done to overcome some of these limitations, their degree of success has been low due to missing flexibility and...

The De-RISC project addresses computer systems within the space and aviation domains. De-RISC Dependable Real-time Infrastructure for Safety-critical Computer is a proposed project where an international consortium will introduce a hardware and software platform based aroundthe RISC-V ISA. The work proposed in this project is to productize a multi-core RISC-V system-on-chip...

SAFURE targets the design of cyber-physical systems by implementing a methodology that ensures safety and security "by construction". This methodology is enabled by a framework developed to extend system capabilities so as to control the concurrent effects of security threats on the system behaviour. The current approach for security on safety-critical embedded systems is...