Flujo de trabajo software DO-178C con generación de código cualificado

¿Quién desearía hoy en día generar software de control aeronáutico certificable de manera tradicional para un nuevo proyecto? la respuesta es clara: nadie, o prácticamente nadie.

Si bien, siguen habiendo aún muchos proyectos usando flujos tradicionales, no se concibe empezar un nuevo diseño de un sistema DAL-A o DAL-B sin el uso de modelos o generación automática de código.

La clave está en poder automatizar el mayor número de tareas (ya sea de generación o de verificación), obteniendo así, un mayor crédito de certificación por parte de la autoridad aeronáutica.

Mostramos a continuación un recorrido a través de las distintas actividades, tareas y objetivos a seguir para modelar, generar software aeronáutico y verificarlo; cumpliendo así, con los objetivos marcados en la DO-178C y sus anexos (DO-330, DO-331, DO-332 y DO-333).

Puedes descargar el poster en formato PDF en este enlace.