Analysis and design of a Command & Data Handling platform based on the LEON4 multicore processor and PikeOS hypervisor