Explore projects

Clone of https://git.openrobots.org/projects/robotpkg-wip with branches prepared for the CI of other projects

Fork from https://git.openrobots.org/robots/robotpkg.git

Clone of https://git.openrobots.org/projects/robotpkg with branches prepared for the CI of other projects

Generate ROM with attacks for Rehad-Orca.

For synthesis, place mem.hex in ip/idram/src/input. [Request GCC cross compiler (RV32IM).] For bitsteam, replace BRAM content of myorca.bit. [Request Xilinx ISE setup and liscence.]

Modification of RISC-V softcore processor Orca.

REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection. Run on ML605 evaluation board with UART 115200.

Customized rddlsim version for my personal use

In the context of space missions, an efficient data transfer strategy is crucial to avoid onboard buffer overflow. In many missions, such as ESA's Rosetta mission, the data produced by each instrument is temporarily stored in a dedicated buffer and then dumped to Earth during downlink windows under a limited bandwidth. Previous work has considered the overlapping memory dumping problem (oMDP), which consists in assigning transfer priorities to the memory buffer to avoid data loss and minimize the peak in memory usage. Here, we consider additional decisions in the memory dumping plans that are implementable in practice: data transfer from each buffer can be interrupted after a given time, once per downlink window, preventing it from dumping data until the next window. The new problem is called oMDPi (oMDP with interruptions). We propose a hybrid heuristic to solve the general oMDPi, embedding a flow relaxation and the single-window heuristic. The results on both real and realistic generated instances show that our heuristic achieves a significant reduction of memory peaks in a reasonable time compared to previous work, making the new policy attractive for future space missions.