Jaume Abella Ferrer

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...