MATLAB y Simulink para conformidad con ISO 26262

Califique herramientas de software para ASIL A-D

El desarrollo de sistemas de alta integridad dentro de la industria de automoción se caracteriza por el cumplimiento de ISO^® 26262, un estándar internacional para la seguridad funcional de vehículos de carretera. La norma ISO 26262 clasifica las funciones en niveles de integridad de seguridad de automoción (ASIL) de A a D, esto es, de menor a mayor exigencia. Los fabricantes de equipos originales y los proveedores de primer nivel están adaptando sus procesos de desarrollo de ECU para utilizar el diseño basado en modelos con el estándar ISO 26262.

MATLAB, Simulink, Stateflow, Embedded Coder, las herramientas de verificación de MATLAB y Simulink, y las herramientas de verificación de código de Polyspace están certificadas por TÜV SÜD como herramientas calificadas conforme a ISO 26262 para ASIL A-D. Las calificaciones se basan en un flujo de trabajo de verificación automatizado y específico de la aplicación. Ofrece soporte para pruebas consecutivas de modelo y de código, tal y como recomienda la norma ISO 26262-6 para ASIL C y D, utilizando el modo de simulación de processor-in-the-loop (PIL) en Simulink. Por tanto, profesionales de ingenieros pueden aprovechar las optimizaciones de codificador y compilador, así como código específico del procesador generado por Embedded Coder, para producir el software necesario para las unidades ECU de producción masiva de forma rápida con memoria eficiente. Además de la generación de código C, los casos prácticos de calificación como herramienta ISO 26262 de Embedded Coder incluyen sus prestaciones para generación de código C++ y AUTOSAR.

HDL Coder también tiene certificación de TÜV SÜD que aprueba su uso en el desarrollo de productos relacionados con la seguridad para todos los niveles ASIL. HDL Coder genera código VHDL y Verilog legible y con trazabilidad que se puede emplear en todo dispositivo FPGA, ASIC y SoC. Colabora estrechamente con HDL Verifier para generar bancos de pruebas consecutivas con simuladores de HDL y placas FPGA.

La documentación del flujo de trabajo, certificados e informes de TÜV SÜD, conjuntos de pruebas y otros artefactos de certificación se incluyen en IEC Certification Kit (for ISO 26262 and IEC 61508). Este kit ofrece flujos de trabajo y artefactos que ayudan a obtener y demostrar conformidad con ISO 26262. Además, TÜV SÜD realiza auditorías anuales de los procesos de desarrollo de software e ingeniería de calidad para herramientas admitidas por IEC Certification Kit.

"Sin el diseño basado en modelos, habríamos tardado 30% más en desarrollar y certificar el software de aplicación ESCL. Ahorramos tiempo y esfuerzo generando código eficiente que cumple todos los requisitos de velocidad y memoria."
Cheng Hui, responsable de plataformas y procesos, KOSTAL

Extracto de la norma ISO 26262-6:2018 que muestra las notaciones de diseño de software apropiadas.

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