IEC Certification Kit for ISO 26262 and IEC 61508

Cualificación de herramientas de generación y verificación de código para la certificación ISO 26262 e IEC 61508

 

IEC Certification Kit proporciona elementos de cualificación de herramientas, certificados y conjuntos de pruebas, además de generar matrices de trazabilidad. Este kit ayuda a cualificar productos de generación y verificación de código, así como a agilizar la certificación de sus sistemas embebidos con respecto a ISO® 26262, IEC 61508, EN 50128 y otros estándares de seguridad funcional relacionados, como IEC 62304. El kit incluye los certificados y los informes de evaluación de la autoridad de certificación TÜV SÜD para los productos y los estándares soportados.

IEC Certification Kit proporciona productos de trabajo de cualificación y clasificación de herramientas, además de conjuntos de pruebas, de acuerdo con ISO 26262. Incluye plantillas que permiten adaptar los productos de trabajo para satisfacer las necesidades específicas del proyecto. Se pueden generar elementos específicos para los proyectos, como matrices de trazabilidad que abarcan requisitos, modelos y código generado. Es posible combinar elementos específicos de proyectos y de productos para crear un paquete de cualificación de herramientas completo para el estándar ISO 26262 ASIL A-D destinado a la certificación de sistemas embebidos.

Nota: ISO26262:2018 establece que Simulink y Stateflow son adecuados para la arquitectura de software y las notaciones de diseño de unidades de software y como base para la generación automática de código, como se indica aquí.

Cómo empezar:

Estándares

¿Qué son IEC 61508, ISO 26262, ISO/PAS 21448, EN 50128, IEC 62304 y los estándares relacionados?

IEC 61508 (Seguridad funcional de sistemas eléctricos/electrónicos/electrónicos programables relacionados con la seguridad) es un estándar internacional de seguridad funcional independiente de la industria. Este estándar, que consta de siete partes, abarca desde IEC 61508-1 hasta IEC 61508-7. El estándar IEC 61508-3 se ocupa del desarrollo, la verificación y la validación de software. El estándar IEC 61508-3 recomienda encarecidamente herramientas y conversores certificados para los niveles de integridad de seguridad (SIL) SIL 2 y superiores; la cláusula 7.4.4 establece requisitos para las herramientas de soporte.

Utilice flujos de trabajo de diseño basado en modelos para garantizar la conformidad con los estándares de seguridad funcional.

ISO 26262 (Vehículos de carretera — Seguridad funcional) es un estándar internacional de seguridad funcional. Se trata de una adaptación del estándar IEC 61508 específica para el sector de aplicación de los sistemas eléctricos y electrónicos en la industria de los vehículos de carretera. Consta de diez partes: desde ISO 26262-1 hasta ISO 26262-10. IEC 26262-6 se ocupa del desarrollo, la verificación y la validación de software. Incluye directrices para proyectos que utilizan el diseño basado en modelos y la generación de código. El estándar ISO 26262-8 aborda diversos asuntos multifuncionales, incluidas la clasificación y la cualificación de las herramientas de software. El grado de rigor requerido para la cualificación de herramientas se basa en el nivel de clasificación de las herramientas (TCL) y en los niveles de integridad de la seguridad del software de automoción (ASIL) del A al D. En 2019, se publicó un estándar complementario para abordar la seguridad de la funcionalidad prevista de un sistema en ausencia de fallos del sistema, ISO/PAS 21448 — Vehículos de carretera — Seguridad de la funcionalidad prevista (SOTIF).

EN 50128 (Aplicaciones ferroviarias — Software para sistemas de control y protección ferroviarios) es un estándar europeo que especifica los procedimientos y los requisitos técnicos para el desarrollo de sistemas electrónicos programables para su uso en aplicaciones de control y protección ferroviarios. EN 50128, desarrollado por el Comité Europeo de Normalización Electrotécnica (CENELEC), forma parte de una serie de estándares que representan una interpretación específica para aplicaciones ferroviarias de la serie de estándares IEC 61508.

IEC 62304 (Software de dispositivos médicos — Procesos del ciclo de vida del software) es un estándar internacional que describe los procesos de desarrollo y mantenimiento de software requeridos para el software de dispositivos médicos. Los procesos, las tareas y las actividades requeridas se ven afectados por el nivel de riesgo (riesgo para el paciente, el cuidador o el entorno) del software del dispositivo. Los niveles de peligro se dividen en tres clases de seguridad: Clase A - No es posible ninguna lesión o daño a la salud, Clase B - Es posible una lesión no grave y Clase C - Es posible la muerte o una lesión grave. IEC 62304 no trata directamente la cualificación de herramientas de software. Sin embargo, establece que IEC 61508 puede considerarse como una fuente de métodos, herramientas y técnicas que se pueden utilizar para implementar los requisitos de IEC 62304. En la página de validación de software de la FDA se pueden encontrar directrices adicionales sobre la validación de herramientas para las autoridades regionales, como la FDA.

IEC Certification Kit incluye los certificados de TÜV SÜD para IEC 61508:2010, ISO 26262:2018, EN 50128:2011, IEC 62304:2006 e IEC 61511:2003. Proporciona flujos de trabajo de referencia para estos y otros estándares, incluido ISO/PAS 21448 (SOTIF). También puede utilizar IEC Certification Kit como base para herramientas de cualificación y para obtener directrices sobre el uso del diseño basado en modelos para desarrollar sistemas que requieran la certificación según otros estándares y adaptaciones relacionados con el estándar IEC 61508.

Herramientas de cualificación

Proporcione un paquete completo de certificación a las autoridades certificadoras

IEC Certification Kit aplica un enfoque en contexto para la certificación o la cualificación de herramientas basado en un flujo de trabajo o en casos de uso típicos cuando el solicitante usa herramientas soportadas para desarrollar o verificar software para aplicaciones que cumplen con los estándares de seguridad funcional o aplicaciones certificadas por los estándares. El flujo de trabajo aborda los niveles de riesgo ASIL A-ASIL D según ISO 26262, SIL 1-SIL 3 según IEC 61508 y SIL 0-SIL 4 según EN 50128. El solicitante debe utilizar las herramientas dentro de los flujos de trabajo de referencia y dentro de las restricciones y los casos de uso especificados en los planes de certificación de los proyectos del solicitante.

IEC Certification Kit está diseñado para ayudarle a proporcionar un paquete de certificación completo a las autoridades de certificación mediante productos de MATLAB®, Simulink y Polyspace. Para utilizar IEC Certification Kit, siga estos pasos:

  1. Documente la conformidad con los requisitos del estándar de seguridad funcional pertinente y los casos de uso previstos.
  2. Proponga un plan de certificación inicial a las autoridades certificadoras.
  3. Recopile los elementos proporcionados por las herramientas, como los certificados de TÜV SÜD, y lleve a cabo actividades de cualificación de herramientas independientes de la aplicación, incluida la ejecución de conjuntos de pruebas de productos.
  4. Realice actividades de cualificación de herramientas específicas de la aplicación, como la generación de trazabilidad del modelo al código utilizando la capacidad de generación de matrices de trazabilidad que proporciona IEC Certification Kit.
  5. Proporcione el paquete de certificación completo a las autoridades certificadoras.

IEC Certification Kit ofrece orientación e información para los pasos anteriores e incluye las plantillas de documentos, los casos de prueba y los procedimientos de prueba necesarios para cualificar los productos y los estándares soportados.

En el caso de los productos soportados, IEC Certification Kit incluye estos elementos:

  • Certificado de TÜV SÜD e informe del certificado
  • Flujo de trabajo de referencia
  • Plan de cualificación de herramientas
  • Plantilla de demostración de conformidad de la herramienta
  • Casos de prueba, procedimientos y resultados

Debe ejecutar los casos de prueba y los procedimientos de IEC Qualification Kit en su entorno de instalación de MATLAB o Polyspace. A continuación, debe comparar los resultados de las pruebas generados con los resultados esperados del kit y trabajar para eliminar cualquier diferencia.

Utilice IEC Certification Kit para cualificar las herramientas de generación y verificación de código de acuerdo con los estándares de seguridad funcional.

Sistemas de certificación

IEC Certification Kit proporciona una guía detallada del flujo de trabajo necesario para desarrollar y verificar los sistemas mediante el diseño basado en modelos. La guía del flujo de trabajo describe los procesos, los métodos y las herramientas utilizados para cada paso de desarrollo y verificación de software, desde la validación de requisitos de alto nivel hasta la verificación de código objeto ejecutable.

Con IEC Certification Kit, puede generar una hoja de cálculo de matriz de trazabilidad que muestre las rutas de trazabilidad bidireccional entre requisitos, modelo y código, así como información sobre los archivos. También puede utilizar IEC Certification Kit para generar una lista de bugs conocidos que puede almacenar y archivar para herramientas clave de Simulink y Polyspace utilizadas en el diseño basado en modelos.

Nota: El uso de herramientas certificadas no garantiza la seguridad del software ni del sistema en cuestión.

Certificación de sistemas.

Funcionalidades más recientes

HDL Coder

cualifique HDL Coder según ISO 26262, IEC 61508, EN 50128, IEC 62304 e ISO 25119

ISO 25119:2018

cualifique herramientas de acuerdo con el estándar de seguridad funcional ISO 25119:2018

ISO 26262:2018

cualifique herramientas de acuerdo con el estándar de seguridad funcional ISO 26262:2018

Flujo de trabajo de referencia para SOTIF

descubra el papel que tiene el diseño basado en modelos para ISO/PAS 21448:2019 (SOTIF)

AUTOSAR Blockset para ISO 26262

cualifique el código C (para AUTOSAR Classic) y el código C++ (para AUTOSAR Adaptive) generados por Embedded Coder desde AUTOSAR Blockset

Consulte las notas de la versión para obtener detalles sobre estas funcionalidades y las funciones correspondientes.

Recursos adicionales para IEC Certification Kit