La mayoría de los sistemas del sector de la defensa son parte de lo que se denomina un Sistema de Sistemas (System Of Systems-SoS), que puede definirse como un conjunto de sistemas de gran escala integrados, muy distintos entre sí y operables de manera independiente, pero que trabajan conectados para lograr un objetivo común.
El carácter heterogéneo de este tipo de sistemas, con subsistemas de tipo analógico y digital dentro del SoS global, hace que los denominados proceso de Verificación y Validación formal, tal y como están definidos en normas como la ISO-24765 y la ISO-15288, y que se han utilizado tradicionalmente en la verificación y validación de software/hardware, no sean directamente aplicables ni entendibles sobre los SoS militares.
Ante estas peculiaridades, han sido desarrolladas diferentes aproximaciones teóricas a los procesos de Validación y Verificación formales en el ámbito de la defensa, pero se carece de un estándar práctico para la certificación de productos de este sector.
Entendiendo que estos sistemas tienen un alto grado de criticidad, Evercare, ha desarrollado procedimientos propios para definir y poner en práctica, donde sea posible, las técnicas de Validación y Verificación formal y aseguramiento de safety más adecuadas para cada sistema y para decidir y aplicar la combinación más óptima de técnicas formales y no-formales; en el resto de casos, ofreciendo a sus clientes la posibilidad de asegurar que sus productos se están construyendo adecuadamente y confirmar que cumple con los requerimientos que se le exigen, una vez finalizados. De esta forma ofrece servicios como:
- Evaluaciones de safety y Dependabilidad en las diferentes fases y etapas del desarrollo
- Aseguramiento de seguridad/safety y de robustez del software
- Implantación y demostración de 'safety'
- Recolección de evidencias para la evaluación del sistema