MATLAB y Simulink para conformidad con ISO 26262

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.

Productos clave para desarrollar aplicaciones ISO 26262:

• IEC Certification Kit (for ISO 26262 and IEC 61508)
• MATLAB
• Simulink
• Stateflow
• Embedded Coder
• System Composer
• Simulink Check
• Simulink Coverage
• Requirements Toolbox
• Simulink Report Generator
• Simulink Design Verifier
• MATLAB Test
• Simulink Test
• Polyspace Bug Finder
• Polyspace Code Prover
• Polyspace Test
• AUTOSAR Blockset
• HDL Coder

Más información sobre el soporte de MathWorks para ISO 26262: