Periodic Reporting for period 3 - De-RISC (De-RISC: Dependable Real-time Infrastructure for Safety-critical Computer)

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