Verificación y Validación de Software de Seguridad Crítica
El software es un elemento clave en los Sistemas de Seguridad Crítica, donde un fallo puede causar daños irreparables a personas, bienes o medio ambiente. Esta dependencia exige un elevado nivel de fiabilidad en este tipo de software.
Conseguir un software de calidad suficiente, se alcanza mediante desarrollos guiados en base a una serie de normas y estándares, que fuercen el uso de prácticas seguras y controles, minimizando las posibilidades de error y permitiendo un seguimiento de la evolución del mismo.
La normativa a aplicar dependerá en cada caso del área de aplicación y afectan tanto al hardware como al software del producto: Aeronáutica (DO-178B), Sistemas Ferroviarios (UNE-EN 50128), Sistemas de Automoción (UNE-EN 26262-6), entre otras.
En los Sistemas de Seguridad Crítica las fases de Verificación y Validación son de especial importancia y se incluyen en todas las fases de desarrollo del producto. Además, estas tareas, para algunos niveles de seguridad, deben ser realizadas por una entidad diferente a la que ejecuta el desarrollo del sistema.
El proceso a seguir debe estar definido desde el principio, en una serie de planes y guías de aplicación, que recojan las tareas a realizar, las técnicas a emplear y las métricas a calcular, según el nivel de criticidad del sistema.
En los Sistemas de Seguridad Crítica las fases de Verificación y Validación son de especial importancia y se incluyen en todas las fases de desarrollo del producto.
Servicios que ofrece ITI
ITI dispone de un equipo de profesionales especializado en Calidad de Software, con una gran experiencia en Software de Sistemas Críticos, fruto de la colaboración en proyectos con empresas. Desde ITI te ofrecemos nuestra experiencia en cada una de las tareas requeridas en los procesos de Verificación y Validación, en cada una de las fases del ciclo de desarrollo del proyecto.
filter_1Asesoría y Seguimiento
Asesoría y Seguimiento en las diferentes etapas del proyecto en función de la norma de aplicación. En 50128, DO-178B, EN 26262-6, IEC 62304, entre otras.
filter_2Planes de Actuación
Preparación de Planes de Actuación en las diferentes fases del proyecto en base a la norma a aplicar. Plan de Verificación de Software, Plan de Validación de Software, Plan de Integración de Software, Plan de Integración Hardware / Software.
filter_3Guías de Aplicación
Preparación de Guías de Aplicación de diversas técnicas de Verificación. Guía de Análisis Estático de Código, Guía de Análisis Dinámico de Código, Guías de Inspección de Documentos.
filter_4Verificación
Verificación de las Especificaciones, Verificación de la Arquitectura, Verificación del Diseño, Verificación del Código.
filter_5Verificación de Código
C, C++ y Ada, Inspecciones formales, Reglas de Codificación: MISRA C y MISRA C++, Análisis Estático de Código, Análisis Dinámico de Código.
filter_6Actividades de Validación
Pruebas de Integración de Software, Pruebas de Integración de Hardware / Software, Validación Funcional basada en requisitos.
filter_7Evaluación y Selección
Evaluación y Selección de Herramientas de análisis de código y gestión de proyecto.
¿Quieres más información sobre software de seguridad crítica?
¿Te interesa conocer mejor el ITI y cómo puede ayudar a la competitividad de tu empresa? Ponte en contacto con nosotros y te informaremos de todo lo que necesites.