Desarrollar, verificar y certificar software embebido para sistemas a bordo safety-critical en el dominio de entrega aérea. Participar en diseño, validación y certificación Do-178B/C, asegurando seguridad, calidad y rendimiento.
- Diseñar y especificar los requisitos de software para los ordenadores a bordo safety-critical.
- Definir la arquitectura de software para los ordenadores a bordo y realizar pruebas de integración con hardware.
- Desarrollar el software Do-178B/C para los ordenadores a bordo y controlar su verificación (pruebas, revisiones y análisis).