¿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, sigue 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.
En nuestro vídeo mostramos 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).
Puede también descargar un poster en formato PDF con un ejemplo de flujo de trabajo DO-178C con generación de código.
