Estándares de la industria
Sector aeroespacial y de defensa en Reino Unido - Sistemas de alta integridad
El estándar DO-178B se publicó cuando la mayoría del software se codificaba manualmente, pero se puede adaptar a la generación automática de código y a productos de diseño basado en modelos, incluidos MATLAB, Simulink, Stateflow, Embedded Coder y DO Qualification Kit.
El grupo de trabajo del sector aeroespacial y de defensa de MathWorks para el Reino Unido está formado por Airbus Operations Ltd, BAE Systems plc, MBDA UK Ltd y Selex Galileo Ltd, entre otros. Este grupo elaboró el siguiente documento para ofrecer orientación sobre la aplicación del diseño basado en modelos al desarrollo de sistemas y software de alta integridad.
Directrices para el despliegue de productos de MathWorks en un proceso conforme con DO-178B
El material contenido en estas directrices es coherente con el recientemente publicado suplemento DO-331 de desarrollo y verificación basados en modelos para DO-178C y DO-278A, así como con el estándar DO-178C actualizado.
Detalles sobre DO-178B:
- DO Qualification Kit: cualificación de Simulink y las herramientas de verificación de Polyspace para DO-178
- Diseño basado en modelos para DO-178B: flujo de trabajo de referencia y directrices de modelado
Productos clave para el desarrollo de aplicaciones DO-178:
Más información sobre el soporte de MathWorks para DO-178:
Estándares de la industria
-
Despliegue de procesos DO-178: nuevo servicio de asesoramiento
-
Simulink Coder y aplicaciones certificadas según el estándar DO-178B: (soporte técnico)