Las herramientas de verificacion de Simulink, cualificadas para ISO 26262
MathWorks anuncia que TÜV SÜD ha cualificado Simulink Design Verifier y Simulink Verification and Validation para su uso en procesos de desarrollo conformes con ISO 26262. Esta evaluación independiente ayuda a los ingenieros de automoción que desarrollan sistemas embebidos de alta integridad a depositar la confianza precisa en el correcto funcionamiento de estas herramientas de verificación conforme a sus necesidades de uso particulares.
MathWorks clasificó y precualificó, tanto la capacidad de generación automática de casos de pruebas de Simulink Design Verifier como la capacidad de medición de cobertura de modelos de Simulink Verification and Validation, conforme a la versión más reciente de ISO 26262-8. Posteriormente, TÜV SÜD evaluó los resultados de clasificación y precualificación de las herramientas. Con objeto de ayudar aún más a los ingenieros de automoción que utilizan la verificación y validación tempranas para el diseño basado en modelos, MathWorks mejoró su producto IEC Certification Kit con evidencias de certificación, flujos de trabajo de referencia y plantillas de artefactos para cualificación de herramientas ISO 26262 para Simulink Design Verifier y Simulink Verification and Validation. Con estas recientes adiciones, el IEC Certification Kit amplía el soporte de cualificación de herramientas ISO 26262 para el diseño basado en modelos y los productos de verificación, que ya incluye los verificadores de código Embedded Coder y Polyspace.
A fin de ofrecer soporte a las actividades adicionales abarcadas por el estándar de seguridad funcional ISO 26262, MathWorks sigue trabajando codo con codo con socios que ofrecen tecnología complementaria. Por ejemplo, medini analyze, una herramienta de análisis de la seguridad funcional ofrecida por ikv++ technologies AG, puede emplearse para automatizar la determinación y descomposición ASIL (del inglés Automotive Safety Integrity Level, nivel de integridad de la seguridad en automoción), así como actividades de análisis de la seguridad detalladas tal y como exige ISO 26262 cuando se desarrollan sistemas de alta integridad por medio de Simulink.
Articulos Electrónica Relacionados
- Software para la programación ... Un consorcio de entidades europeas ha desarrollado un nuevo software para la programación de autómatas denominado PLC-PROG, capaz de programar todos los sistema...
- Los usuarios de Google Home pu... Z-Wave Europe ha anunciado la oportunidad de controlar sus dispositivos con el firmware para el hogar inteligente a través del control por voz de Google ...
- Software R-Car Virtualization ... Renesas Electronics Corporation presenta el "paquete de soporte de virtualización R-Car" que permite un desarrollo más fácil de los hipervi...
- AADvance Workbench 2.0 de Rock... Rockwell Automation ha lanzado AADvance Workbench 2.0 para ayudar a los fabricantes a optimizar las aplicaciones de seguridad de procesos y a que funcionen más ...
- element14 único distribuidor g... element14 anuncia la disponibilidad de un nuevo conjunto de herramientas de desarrollo TASKING de Altium que permite a los ingenieros diseñar sistemas so...
- Quick-Connect Studio: Herramie... Renesas Electronics Corporation ha presentado una nueva plataforma de diseño de sistemas IoT online basada en la nube que permite a los usuarios construir gráfi...
- Control Techniques lanza el so... Control Techniques lanza al mercado un software gratuito avanzado denominado “ CT Energy Savings Estimator” para aplicaciones de Bombas y Ventiladores &nb...
- SuperGuard C Library Safety Qu... Solid Sands ha anunciado hoy el lanzamiento de SuperGuard C Library Safety Qualification Suite. Dentro de SuperGuard, se documentan los requisitos y las especif...
- La nueva versión del software ... Pickering Interfaces ha lanzado una versión actualizada de su software de enrutamiento de señales, Switch Path Manager versión 6.1 .2, que añade funciones de de...
- App para cálculo de las necesi... Schneider Electric presenta See-kvar, una nueva aplicación para smartphones y tablets que ayuda a reducir la factura eléctrica calculando las necesidades de ene...
- Siemens incorpora la inteligen... Siemens Digital Industries Software ha anunciado hoy que está integrando la plataforma Supplyframe™ Design-to-Source Intelligence con su cartera de software y s...
- QA•Verify adopta la Inspección... PRQA | Programming Research, empresa de herramientas de análisis estático, anuncia una importante actualización de QA•Verify, su avanzada solución para gestión ...