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.

Noticias sobre Software de seguridad crítica

Eventos sobre Software de seguridad crítica

Cursos sobre Software de seguridad crítica

Este sitio web utiliza cookies para que tengas una mejor experiencia de usuario. Si continúas navegando estás dando tu consentimiento para la aceptación de cookies y la aceptación de nuestra Política de cookies.

ACEPTAR
Aviso de cookies
Share This