Verificación y validación independiente de software (ISVV) para gran parte del software de abordo de esta misión de la ESA. Las pruebas independientes utilizan un simulador software, desarrollado por DEIMOS, que cuenta con un modelo del ordenador central de la plataforma, los periféricos y sus interfaces hacia los equipos del sistema de control del satélite y de la carga útil. Este simulador está basado en TSIM/ERC32.

ISVV para el software empotrado en uno de los subsistemas críticos de los satélites de la constelación Galileo.

Desarrollo de una herramienta para facilitar el mantenimiento del software embarcado de los instrumentos que constituyen la carga útil de los satélites Metop. Esta herramienta está integrado en el núcleo del segmento de tierra del sistema EPS, en EUMETSAT.

DEIMOS da soporte a EADS Astrium GmbH en la realización de las actividades de aseguramiento de la calidad software, además de contribuir a la ingeniería software, en el desarrollo del software básico que va embarcado en el ordenador de abordo del satélite LISA Pathfinder (misión de la ESA).

DEIMOS da soporte a EADS CASA en la actividades de aseguramiento de la calidad software en el contexto del desarrollo del software embarcado de la carga útil del satélite SMOS (misión de la ESA).

DEIMOS ha desarrollado una parte de un banco de pruebas para validar el software embarcado que implementa los algoritmos tiempo-real para el control de una plataforma ágil basado en CMG ("Control Moment Gyros"). El SW embarcado en un ordenador que cuenta con un procesador ERC32. El banco de pruebas está completado por un prototipo del CMG y una simulación del entorno.

DEIMOS ha desarrollado un banco de pruebas completo para la validación, en tiempo real, de los algoritmos del sistema de guiado, navegación y control de un conjunto de satélites destinados a volar en formación. La misión de estos satélites es la interferometría. Los satélites forman, entre sí, en telescopio distribuido en el espacio (cada nave esta en un punto del plano focal del "telescopio"). Las dimensiones y la geometría de la formación se tienen que conseguir y mantener con una precisión extremadamente alta, y por tanto es necesario dotar el sistema GNC con unos algoritmos muy avanzados.

El banco de pruebas desarrollado por DEIMOS se utiliza para validar dichos algoritmos, sobre todo para asegurar que una vez que estén implementados en software tiempo-real para el "target", el resultado real es igual al teórico. El banco de pruebas cuenta con tres procesadores LEON, cada uno en una placa PCI. Cada placa entonces representa a un satélite. También incluye una simulación de entorno que corre en una plataforma dSPACE^TM (que utiliza PowerPC), junto con otra simulación del enlace con tierra (para simular la comunicación a través de telecomandos y telemetría).

En el marco de un proyecto I+D de la ESA, cuyo objetivo es adelantar la tecnología necesaria para misiones interplanetarias (especialmente BepiColombo y Solar Orbiter), DEIMOS has desarrollado una emulación del software de aplicación de un nuevo ordenador que combinará las distintas funciones de control, monitorización, gestión de datos, etcétera en un solo procesador. La arquitectura de este software se basa en el estándar de utilización de paquetes (Packet Utilization Standard - PUS) de la ESA. La aplicación se compone de varios procesos que comunican entre sí mediante otro software que proporciona una capa de servicios comunes.