Ariane 5: The Integer Overflow That Destroyed a Rocket (Ep. 726)
Vídeo del canal DatabaseHistory sobre Ariane 5, enlazado en su ficha de Above Ten Thousand. Duración: 6:08. Idioma: inglés. Tipo de vídeo: Documental.
De qué trata
Episodio divulgativo, con recreaciones y gráficos, sobre el fallo del primer vuelo del Ariane 5, el 4 de junio de 1996. La causa fue un desbordamiento numérico en el software de guiado.
Contexto histórico
El programa del sistema de referencia inercial se trasladó directamente desde el Ariane 4, con la lógica de que un código con historial de vuelo es más fiable que uno nuevo. Pero sus supuestos ya no valían para un lanzador más potente. El Ariane 5 seguía una curva de ascenso más empinada y la velocidad horizontal medida superaba con creces los valores del modelo anterior.
Datos destacados
El fallo se produjo al convertir un número de coma flotante de 64 bits a un entero con signo de 16 bits, que no admite valores por encima de 32.767. La protección frente a ese desbordamiento se había suprimido para esta variable en el Ariane 4 para ahorrar ciclos de proceso. Sin tratamiento del error, la unidad principal se apagó. La de reserva, con el mismo software, falló igual con milisegundos de diferencia. El ordenador de vuelo, sin datos válidos, ordenó deflexiones máximas de las toberas para corregir un giro inexistente, y las cargas aerodinámicas rompieron el vehículo. El episodio concluye que todo cambio de arquitectura en un sistema de tiempo real obliga a revalidar los límites y rangos del software.