La industria del software empotrado tendrá que hacer frente a una transición hacia procesadores a multicore (multinúcleo) y manycore durante la próxima década. Esta revolución de la arquitectura intensifica el reto existente en el  desarrollo de  Sistemas Empotrados de Tiempo Real Duro (CRTES, en sus siglas en inglés) y en particular, en la necesidad de mostrar que el comportamiento temporal del software es siempre correcto durante la operativa del sistema. La investigación desarrollada previamente en el proyecto financiado por la Unión Europea (UE) PROARTIS ha demostrado cómo este reto puede solucionarse mediante la aplicación (inyección) de aleatorización en el comportamiento temporal del sistema. (more details...)