Las plataformas de hardware multinúcleo se están incorporando en los sistemas a bordo de las naves espaciales para lograr un procesamiento de datos más rápido y eficiente. Sin embargo, dichos sistemas conllevan a una mayor complejidad en el desarrollo de software y representan un desafío considerable, especialmente en lo que respecta a la verificación en tiempo de ejecución de los requisitos de tolerancia a fallos. Para abordar la cada vez más desafiante verificación de este tipo de requisitos, presentamos una plataforma virtual multinúcleo LEON4 llamada LeonViP-MC. LeonViP-MC es una evolución de un desarrollo previo llamado Leon2ViP, llevado a cabo por el Grupo de Investigación Espacial de la Universidad de Alcalá (SRG-UAH), que ha sido utilizado con éxito en el desarrollo y pruebas del software de vuelo de la unidad de control del instrumento (ICU) del detector de partículas energéticas (EPD) a bordo del Solar Orbiter. Este documento describe las decisiones arquitectónicas de diseño de LeonViP-MC orientadas hacia campañas de inyección de fallos para verificar los mecanismos de tolerancia a fallos del software. Para validar el simulador, desarrollamos un canal de comunicaciones ARINC653 que incorpora mecanismos de tolerancia a fallos y que actualmente se está utilizando para desarrollar un nivel de hipervisor para la plataforma GR740.