Estándares de seguridad funcional

Con MATLAB y Simulink, los equipos de ingeniería aceleran el desarrollo de productos al tiempo que garantizan la conformidad con los requisitos más rigurosos de estándares de seguridad tales como ISO 26262, IEC 61508, EN 50128, EN 50657, IEC 62304, ISO 25119, DO-178C y DO-254.

DO Qualification Kit y IEC Certification Kit proporcionan orientación y flujos de trabajo de referencia que permiten cumplir con los requisitos de estándares de seguridad a lo largo de sus modelos de procesos.

Estos kits ofrecen orientación sobre métodos, herramientas y casos prácticos para utilizar en los niveles de sistema, hardware y software, y cubren tareas de especificación, diseño, implementación, verificación y validación. La verificación y validación con el diseño basado en modelos comprende la verificación de unidades de software para validar requisitos de sistema. Con las prestaciones de simulación del diseño basado en modelos, puede realizar gran parte de la verificación y validación en etapas tempranas de desarrollo, antes de la implementación final o que el hardware de producción que esté disponible.

Tareas de conceptualización y desarrollo en nivel de sistema

Con el diseño basado en modelos, puede utilizar System Composer, Simulink, Simscape y herramientas de verificación y validación en Simulink para conceptualizar, especificar, diseñar, desarrollar, verificar y validar sistemas eléctricos o electrónicos (E/E), incluyendo:

• Especificación de requisitos de sistema relacionados y no relacionados con seguridad
• Desarrollo y especificación de diseños de arquitectura con trazabilidad a requisitos de sistema y disciplinas individuales (hardware y software)
• Verificación y validación en etapas iniciales de requisitos y diseños de sistemas
• Prototipado rápido de sistemas y pruebas de hardware-in-the-loop en el nivel de sistema

Prototipado rápido de sistemas de control con Simulink Real-Time (4:50)

Tareas de desarrollo en nivel de software

Los equipos de ingeniería desarrollan software integrado con el diseño basado en modelos para cumplir con estándares de certificación (23:33)

• Especificación de requisitos relacionados y no relacionados con seguridad del software
• Desarrollo de diseños de arquitectura de software con trazabilidad a requisitos y elementos de software
• Diseño e implementación de unidades de software, con o sin generación automática de código
• Diseño, implementación e integración de componentes de software, incluyendo generación automática de código a partir de modelos de componentes de software
• Verificación estática y dinámica de unidades de software, componentes de software y software embebido completamente integrado

Soporte de procesos

Además de los procesos de ingeniería, el diseño basado en modelos ofrece prestaciones adicionales para respaldar otros procesos.

• Gestión de configuraciones y cambios
• Integración y despliegue continuos (CI/CD)
• Cualificación de herramientas
• Generación de informes y documentación