Soporte para IEC 61508 en MATLAB y Simulink

El diseño basado en modelos se utiliza para el desarrollo de software embebido en automoción, automatización industrial y maquinaria, y otras industrias y áreas de aplicación. Los ingenieros utilizan el diseño basado en modelos para producir software conforme con el estándar de seguridad funcional IEC 61508. Estas aplicaciones requieren una consideración especial para abordar las limitaciones impuestas por el estándar y presentar las pruebas requeridas para demostrar su cumplimiento.

El estándar IEC 61508 se desarrolló para el sector de la automatización industrial, pero existen derivados para otros sectores como el ferroviario (EN 50128), el médico (IEC 62304) y el de la maquinaria (IEC 62061). En el sector de la automoción, la norma internacional ISO 26262 se usa para el segmento de los turismos. El estándar IEC 61508 se sigue utilizando para vehículos comerciales, especialmente para vehículos no de carretera.

IEC Certification Kit contribuye a la certificación para IEC 61508 y los estándares derivados, incluido ISO 26262. Soporta los productos de verificación de código de Polyspace y Embedded Coder.

Automating Verification and Validation with Simulink