Orbital Critical Systems colabora en el programa Airbus A330/A310 MRTT (Multi-Role Tanker Transport) realizando tareas de Validación y Verificación especificadas por la normativa DO-178B para la unidad de control (BCU) del sistema de Reabastecimiento en vuelo (ARBS). Dicho sistema crítico está certificado con nivel de seguridad DAL-A. Las tareas principales de nuestro equipo son la verificación y análisis del proceso de codificación Software, la trazabilidad entre el código fuente y el modelo Software, el análisis estático del código fuente y estándar de código para Ada 95 y el soporte en la generación del modelo Software de la BCU.
Orbital Critical Systems colabora en el programa Airbus A330/A310 MRTT (Multi-Role Tanker Transport) realizando tareas de Validación y Verificación especificadas por la normativa DO-178B para la unidad de control (BCU) del sistema de Reabastecimiento en vuelo (ARBS). Dicho sistema crítico está certificado con nivel de seguridad DAL-A. Las tareas principales de nuestro equipo son la verificación y análisis del proceso de codificación Software, la trazabilidad entre el código fuente y el modelo Software, el análisis estático del código fuente y estándar de código para Ada 95 y el soporte en la generación del modelo Software de la BCU.