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
Tareas de desarrollo en nivel de hardware
El diseño basado en modelos permite desarrollar aplicaciones de FPGA y ASIC que cumplen con requisitos de estándares relacionados con dispositivos lógicos programables, incluyendo tareas de diseño y verificación.
Uso de HDL Verifier para garantizar que el código RTL generado funciona según lo requerido.
Soporte de procesos
Además de los procesos de ingeniería, el diseño basado en modelos ofrece prestaciones adicionales para respaldar otros procesos.
Estándares
Los siguientes enlaces ofrecen contenido específico sobre diversos estándares. Dado que los diferentes estándares de certificación tienen muchos puntos en común, puede transferir varios métodos y conceptos de un estándar a otro con pocos o ningún cambio.
Productos clave para obtener conformidad con estándares de seguridad funcional:
- IEC Certification Kit (para ISO 26262, IEC 61508 y estándares relacionados)
- DO Qualification Kit (para DO 178C y estándares relacionados)