Exploiting Paravirtualization to Support Time and Space Isolation in Multi-Core Platforms for the Avionic Domain